/r/compsci - top ten submissions for each month of 2026
sfw subreddits
| <<
compsci 2025
2026, July
306 A concrete, runnable demonstration that iterate...
174 AI Coding will Prevent Expertise | The need for...
52 Richard Feynman and the Connection Machine (1989)
33 How to implement heap types for a custom JVM im...
27 I open-sourced the reproducibility core from my...
26 How often do you engage with theory?
12 Is there a “complexity theory” for language mod...
9 What are the basic assumptions of type theory-b...
10 Exploring microcode as a programming interface:...
7 Andy Pimentel on why designing the computer ins...
2026, June
303 Agentic Coding is a Trap | Remaining vigilant a...
68 What books to send an inmate for compsci?
60 How do I actually start doing CS research from ...
27 Every year, we lay flowers at Alan Turing's sta...
25 Markov Algorithms, Mazes, Desert with Sand and ...
20 micrograd4j: I ported Karpathy's micrograd to p...
19 Is Pattern Recognition and Machine Learning sti...
19 When The C/C++ Users Journal Disappeared
13 Inquiries into some computer networks research
8 In search of community for system programming
2026, May
253 I built a SQL-like relational database engine i...
143 When does writing a number in words become more...
139 I built a world record exact solver for the min...
36 The Dynamo paper's hinted handoff is still one ...
17 Built a DBMS from scratch in C to study buffer ...
10 Why Is Chess Harder Than Othello? Mapping Game ...
11 Building a Voyager inspired OS less emulator fo...
9 ETH Zurich built an ultra-stable quantum gate a...
10 Introduction to Secret Sharing from First Princ...
8 Synthesizing turtle programs to redraw images w...
2026, April
171 If e^i?=-1 would be the most beautiful equation...
100 Float accuracy visualization
104 Demonstrating Turing-completeness of TrueType h...
30 Trouble understanding P VS NP
18 A Fast Quicksort for Modern CPUs with Threads a...
18 A behavioural specification found a previously ...
18 Musings on Self-Studying Computer Science
15 [Research] Empirical Validation of the stabilit...
9 People had ideas for useful algorithms before c...
10 Introduction to type safety in a quantum program
2026, March
2109 RIP Tony Hoare 1934 - 2026
734 How is Apple able to create ARM based chips in ...
102 Claude’s Cycles - Don Knuth
91 LLMs are dead for formal verification. But is t...
80 Utterly useless yet fun sorting algorithms
27 People that paid for membership in IEEE what do...
26 [Dataset] A living artist just open-sourced his...
26 What are the best magazines or sources for keep...
22 Knuth's 2025 Christmas Lecture: Turning Knight'...
22 Operating System simulator for learning schedul...
2026, February
910 What’s a concept in computer science that compl...
455 What is so special about rust??
208 Anthropic CEO Dario Amodei suggests OpenAI does...
129 When did race conditions become real to you?
109 Is this kind of CPU possible to create for gaming?
71 How Computers Work: Explained from First Princi...
43 Computational Complexity of Air Travel Planning...
41 Cosmologically Unique IDs
30 There are so many 'good' playlists on Theory of...
30 Petri Nets as a Universal Abstraction
2026, January
2154 I got paid minimum wage to solve an impossible ...
365 TIL about "human computers", people who did ma...
156 ACM is Now Fully Open Access
73 I built an interactive graph algorithm visualizer
66 Does a Chinese programming language exist?
34 Simulation of "The Ladybird Clock Puzzle"
34 Tect - Minimal, type-safe language for designin...
24 How do I dive into systems programming?
22 Sorting with Fibonacci Numbers and a Knuth Rewa...
17 "Constrained" variables--why are they not a thi...
