29
3
GPT in 200 lines of dependency-free Python (gist.github.com)
2
List of predictions for autonomous Tesla vehicles by Elon Musk (wikipedia.org)
2
Stb programming stream #0 [video] (youtube.com)
1
The 15-Game [video] (youtube.com)
1
2026 MIT Integration Bee – Finals [video] (youtube.com)
1
Self-Reproducing Programs [video] (youtube.com)
2
Bluetooth Headphone Jacking: Full Disclosure of Airoha Race Vulnerabilities (insinuator.net)
1
Unix V4 tape archived successfully (archive.org)
2
Programming Party Tricks [video] (youtube.com)
3
Case Study: Compiler Frontend via Effect Handlers (effekt-lang.org)
69
WhatsApp will become interoperable with other messaging apps in Europe (tuta.com)
1
Mystery of the Quintic [video] (youtube.com)
25
De Bruijn Numerals (marvinborner.de)
2
The Pinouts Book (pinouts.org)
2
De Bruijn Numerals (marvinborner.de)
1
Every goto in the Linux kernel [video] (youtube.com)
3
Many Factorials in Lambda Calculus (marvinborner.de)
19
Programming language inventor or serial killer? (2003) (vole.wtf)
105
Determination of the fifth Busy Beaver value (arxiv.org)
2
Git Cheat Sheet (git-scm.com)
16
The Ruliology of Lambdas (stephenwolfram.com)
164
Microsoft BASIC for 6502 Microprocessor – Version 1.1 (github.com/microsoft)
6
Stop Using Brave Browser (spacebar.news)
2
Closures and Objects Are Equivalent (c2.com)
1
ActivityPub Rocks (activitypub.rocks)
1
Typeclassopedia (haskell.org)
3
Adventures in State Space [video] (youtube.com)
1
Geoffrey Hinton, Nobel Prize in Physics 2024: Banquet Speech [video] (youtube.com)
1
Resist AI – a handbook for concerned citizens (resist-ai.sh)
2
Permacomputing 101 [video] (youtube.com)
1
Barack Obama – Computer Science Question (2008) [video] (youtube.com)
2
The concept of mass (2023) [video] (youtube.com)
3
Replace your boss before they replace you (replaceyourboss.ai)
1
Consent for Hackers, Negotiating consent based on the HTTP protocol [video] (ccc.de)
1
Is Information a Fundamental Force of the Universe? [video] (youtube.com)
17
Linear Types for Programmers (2023) (twey.io)
3
Elements of Euclid in LaTeX (github.com/jemmybutton)
2
Round a random fraction. You get an even number how often? [video] (youtube.com)
1
The Secret Rules of the Terminal (wizardzines.com)
2
Nonverbal Algorithm Assembly Instructions (idea-instructions.com)
1
De-Google-Ify Internet (degooglisons-internet.org)
3
Computer Noises [video] (youtube.com)
2
Expanding Racks [video] (youtube.com)
2
A Russian Hacker Walked into a Cafeteria [video] (youtube.com)
1
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths (arxiv.org)
10
GrapheneOS: Where Licenses Matter More Than People (mataroa.blog)
3
Linus Tech Tips Calculates Pi to 300T Digits [video] (youtube.com)
2
But what is Quantum Computing? (Grover's Algorithm) [video] (youtube.com)
4
How well-intentioned white male physicists maintain ignorance of inequity (arxiv.org)
2
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad (arxiv.org)
1
Tips on Writing a Thesis in LaTeX (khirevich.com)
1
Hoogle Translate (hoogletranslate.com)
1
My Dream Productivity Device Just Got Better [video] (youtube.com)
1
The MNT Difference (mntre.com)
1
Why functioning governments fund scientific research [video] (youtube.com)
6
Steal My Tesla (stealmytesla.com)
4
Where do the clothes go after we put them in a recycling bin? (elpais.com)
2
There is nothing new here [video] (youtube.com)
2
No Feigning Surprise (wizardzines.com)
2
Cleo from Math StackExchange's Identity has been Revealed [video] (youtube.com)
4
Gnome Website Redesign (gnome.org)
1
What the Skibidi (melody.codes)
2
Squeezing Pi from 122 Bits of Lambda Calculus (marvinborner.de)
19
Surely You're a Creep, Mr. Feynman (2019) (thebaffler.com)
1
Caveman Explains Monads (specialblend.dev)
2
Declarative programming language with neural nets runtime (xxiivv.com)
20
DIY Web Archiving Zine (zinebakery.com)
22
[flagged] Yes, Climate Change Is Probably Going to Kill You (predicament.substack.com)
5
A Database Disaster (lichess.org)
2
Fluid Simulation Pendant [video] (youtube.com)
1
A puzzle game inspired by functional programming (david-peter.de)
1
MNT Reform Next (crowdsupply.com)
3
The Glitch Gallery (glitchgallery.org)
3
Never have outdated footer years again (getfullyear.com)
6
Freya Holmér: Generative AI is a Parasitic Cancer [video] (youtube.com)
1
Lemniscate Constant (wikipedia.org)
3
Show HN: Drawing with Lambda Calculus (marvinborner.de)
3
Universal Construction – Category Theory and Why We Care [video] (youtube.com)
3
Tiny, Untyped Monads (marvinborner.de)
8
Bluesky and Enshittification (pluralistic.net)
1
Feeling Is Reality (feelingisreality.com)
18
I Hacked My Friend's Phone to Show How Easy It Is [video] (youtube.com)
4
The way math should be taught [video] (youtube.com)
1
The e-graph data structure (cole-k.com)
3
Fifth Transcendental Ruby Imbroglio Contest (github.com/tric)
55
Experience the Apollo 11 Lunar Landing (firstmenonthemoon.com)
2
We end malaria–everywhere [video] (youtube.com)
2
MNT Pocket Reform (mntre.com)
1
Counterexamples in Type Systems (counterexamples.org)
35
Crafting formulas: Lambdas all the way down (marvinborner.de)
84
Göttingen was one of the most productive centers of mathematics (2019) (theconversation.com)
2
One second to compute the largest Fibonacci number I can [video] (youtube.com)
1
SQLite Code of Ethics (sqlite.org)
2
Small World (blinry.org)
2
Show HN: Programming with Bird Emojis (github.com/marvinborner)
2
2222, a Programming Game (github.com/ivanreese)
5
Grokking the Sequent Calculus (Functional Pearl) (arxiv.org)
2
Marie Curie died 90 years ago (wikipedia.org)
4