Org Workbench
irreal.org·7h
🧩Theorem Proving
What I learned from four women who reshaped the way we think with machines
xda-developers.com·2d
🏗Computer Architecture
Incredible how many vibe coding tool startups are launching left and right.
bsky.app·7h·
Discuss: Bluesky
👐Open Source Software
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·4h·
Discuss: Substack, r/programming
🧩Theorem Proving
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·5d·
Discuss: r/programming
🔍Static Analysis
Bjarne Stroustrup: “I Did It For You All…”
harmful.cat-v.org·1d
💾Retrocomputing
As you get older your memory gets less reliable. It makes programming more of a challenge because as your software gets more features, there's more to remember ...
scripting.com·9h
🧮Programming Language Theory
DreamFlow's System Prompt (allegedly) [Uses Claude Code]
reddit.com·12h·
Discuss: r/PromptEngineering
🏗️Software Architecture
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·3h
📈Complexity Theory
Check my new Blog Post
dinaroxentool.blog·2h·
Discuss: r/LLM
🧩Theorem Proving
Opinions on this refactor
reddit.com·2h·
Discuss: r/reactjs
🧮Programming Language Theory
[D] reflecting on 8 years of model inference
reddit.com·4h·
Discuss: r/MachineLearning
🎲Probabilistic Programming
'Hello world' in Bismuth
enikofox.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍Static Analysis
Complete DSA Learning Roadmap in C++: From Beginner to Advanced
dev.to·13h·
Discuss: DEV
🧮Programming Language Theory
Making a custom CPU
popovicu.com·1d
🏗Computer Architecture
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·13h·
Discuss: DEV
🦀Rust
High-Performance Code Analysis Engine for Claude Code in C++17
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Symbol-Level Editing
sysprogs.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
General CPU µArch Research Thread
forums.anandtech.com·19h
🏗Computer Architecture
DevLog 2025801: Procedural Context Type
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory