The Hallelujah Algorithm
dev.to·22h·
Discuss: DEV
🎨Graph Coloring
Flag this post
Simons Fall 2026 Program on Pseudorandomness & High-Dimensional Expansion
cstheory-events.org·9h
🧮Kolmogorov Bounds
Flag this post
AI and Intro Theory
blog.computationalcomplexity.org·1d·
🎯Performance Proofs
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.com·1d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
STOC 2026 Experimental Program Announcement
thmatters.wordpress.com·7h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·1d
🔗Parser Combinators
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·1d
🎯Performance Proofs
Flag this post
A major week
blog.mitrichev.ch·11h·
🔢Bitwise Algorithms
Flag this post
A Vision for Future Low-Level Languages
antelang.org·14h·
🦀Rust Borrowing
Flag this post
Google claims its latest quantum algorithm can outperform supercomputers on a real-world task
phys.org·12h
⚛️Quantum Tape
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·15h·
💻Programming languages
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyz·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
My journey to Go
dev.to·7h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
How AI Just Leveled Up Fashion in Games
youtube.com·16h
🔲Cellular Automata
Flag this post
Agentic AI from First Principles: Reflection
towardsdatascience.com·14h
Effect Handlers
Flag this post
The World Is a Cloud: A Reader's Guide to David Chapman
maxlangenkamp.substack.com·1d·
Discuss: Substack
🧲Magnetic Philosophy
Flag this post
Wolfram Rule 30 Prizes
rule30prize.org·18h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Think Straight, Stop Smart: Structured Reasoning for Efficient Multi-Hop RAG
arxiv.org·2d
🌳Trie Structures
Flag this post
KCL part 0
ncameron.org·3d
🔩Systems Programming
Flag this post
Flat Combining: A Simple Rust Experiment
khayyamguliyev.substack.com·9h·
Discuss: Substack
Hardware Transactional Memory
Flag this post