73
1
Did an AI Really Hack Hugging Face? [video] (youtube.com)
1
Jack Conte: The future of creativity on the internet in a world with AI [video] (youtube.com)
2
Medieval Football (wikipedia.org)
1
Learning games for the proof assistant Lean (hhu.de)
3
Imaginary Bases (thegraycuber.com)
2
Interaction Nets and Hardware (tendrils.co)
3
Digital Signals Theory Book (brianmcfee.net)
1
Effects as Capabilities (nrinaudo.github.io)
1
Esolang: 2026 Topicality Proposal (esolangs.org)
4
Various projects disappeared from kernel.org hosting overnight (q66.moe)
1
Designing Math Ft. Grant Sanderson (3Blue1Brown) [video] (youtube.com)
3
Four by Three Puzzle (hankgreen.com)
4
Active Group and "Agentic Engineering" (funktionale-programmierung.de)
2
Four Programming Languages You've Probably Never Heard of [video] (youtube.com)
4
Tiny Awards for Small Websites (tinyawards.net)
1
Why Even Signal Calls Apple and Google [video] (youtube.com)
3
JavaScript Crossword (lyra.horse)
1
The fastest way to say each number (thegraycuber.com)
1
AI slop is flooding maths YouTube [video] (youtube.com)
1
Computing Reading List (timrodenbroeker.de)
1
KE:SAI Open Science Autonomy Lab (kesai.eu)
4
Fractals in Pure Lambda Calculus (marvinborner.de)
1
Monoids in Public: Useful monoid structures in programming (veritates.love)
1
Red and Black Knights (extraordinary result) [video] (youtube.com)
1
Deadnet Internet Services (deadnet.se)
7
Extraordinary Ordinals (marvinborner.de)
1
Genesis Mission (US Government) [video] (youtube.com)
3
The Par Programming Language (par.run)
3
Artemis II Photo Timeline (artemistimeline.com)
30
Fuck Off AI Music (fuckoffaimusic.com)
53
Generative AI Vegetarianism (sboots.ca)
281
To my students (hendrix.edu)
48
Lambda Calculus Benchmark for AI (victortaelin.github.io)
4
Effectful Recursion Schemes (effekt-lang.org)
104
US national level OS-level age verification bill (social.coop)
35
Optimal Strategy for Connect 4 (2swap.github.io)
2
Geo-Strategy #8: The Iran Trap [video] (youtube.com)
1
Fibonacci slop is out of control [video] (youtube.com)
2
A Big Pharma Company Stalled a Potentially Lifesaving Vaccine (propublica.org)
3
Squeezing π from 122 Bits of Lambda Calculus (marvinborner.de)
1
Infinitely Recursive Game of Life (oimo.io)
1
In Search of Wikipedia's Shrug Guy (2023) (defector.com)
19
Async Programming Is Just Inject Time (willhbr.net)
188
10% of Firefox crashes are caused by bitflips (mas.to)
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