📊 Algorithms - nmarshall

⚙️LLVM Blog

maskray.me··Hacker News, r/cpp

2026 FIFA World Cup: Predicting the winner using graph theory

🧠AI Blog

cambridge-intelligence.com··Hacker News

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

∀Lean4 Code

github.com··Hacker News

Physical vs. eBooks

📔Commonplace Books Blog

untangled.bearblog.dev·

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

λFunctional Programming Academic

arxiv.org··Lobsters

How Young Engineers Can Turn AI Into Career Leverage

✏️Design

spectrum.ieee.org

··Hacker News

Show HN: A terminal writing environment with Git, E2EE sync and temporal search

🌟cool github projects Discussion

news.ycombinator.com··Hacker News

A Double Victory for Web Speed: Chrome Breaks Records Again on Speedometer 3.1 and Jetstream 3

💬NATS News Blog

blog.google··Hacker News

what 262,715 regex questions on stack overflow haven't answered (part 2)

🔌API Design Blog

iev.ee··Lobsters

Off By !: Exploiting a Use-after-Free in the Linux Kernel

🐧Linux Blog

blog.exodusintel.com··Lobsters, Hacker News

PivCo-Huffman

🗜️Compression Algorithms

marcinzukowski.github.io··Lobsters

A Botched Master Thesis Proposal and My Idea for a Decentralized VPN

🔗Peer-to-peer Blog

blog.t1m.me··Hacker News

Vector, the Journal of the British APL Association

🔨Compilers

web.archive.org··Hacker News

Turing universal neural networks do not require global clocks

🤖AI agents Academic

nature.com··Hacker News

The Loop That Improves Almost Anything

🤖AI agents Blog

mentalfaculty.com··Hacker News

Morphsec88/conscious-data: A method where each file includes a tiny piece of metadata that tells the system where it is, making it accessible almost without searching.

🗄️Database Internals Code

github.com··Hacker News

Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications

Reinforcement Learning and Optimal Control Book (RIP Dimitri Bertsekas)

Create Your Own Programming Language with Rust

Learning Regular Languages with the TTT Algorithm

Recent LLVM hash table improvements

2026 FIFA World Cup: Predicting the winner using graph theory

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

Physical vs. eBooks

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

How Young Engineers Can Turn AI Into Career Leverage

Show HN: A terminal writing environment with Git, E2EE sync and temporal search

A Double Victory for Web Speed: Chrome Breaks Records Again on Speedometer 3.1 and Jetstream 3

what 262,715 regex questions on stack overflow haven't answered (part 2)

Off By !: Exploiting a Use-after-Free in the Linux Kernel

PivCo-Huffman

A Botched Master Thesis Proposal and My Idea for a Decentralized VPN

Vector, the Journal of the British APL Association

Turing universal neural networks do not require global clocks

The Loop That Improves Almost Anything

Morphsec88/conscious-data: A method where each file includes a tiny piece of metadata that tells the system where it is, making it accessible almost without searching.