Constraint Catalog
sofdem.github.io·2d
🎯Constraint Programming
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·1d
🔐Cryptography
On This Day in Math - August 1
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🧩Theorem Proving
A Sea of Nodes IR Tutorial
github.com·7h·
Discuss: Hacker News
🦀Rust
Macros, Matter, & Malleability
clojurecivitas.github.io·2d
📝Lisp
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
A one-week deep dive into building a dual-mode template engine (Runtime Parser vs. Build-time AST Compiler)
reddit.com·10h·
Discuss: r/programming
🔧Compiler Design
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·2d·
Discuss: Hacker News
⚙Functional Programming
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
🧩Theorem Proving
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·3d·
Discuss: Hacker News
📐Type Theory
OSE: The End of Programming Language Silos?
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Notes and Takes from Computer Systems, A Programmer's Perspective - Chapter 1, from a Non-CS Grad
youtube.com·2d·
Discuss: DEV
🏗Computer Architecture
TypeScript 5.9 Adds Expandable Hovers
i-programmer.info·2d
📐Type Theory
This web framework was built by Claude
rgk.io·1d·
Discuss: Hacker News
🏗️Software Architecture
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
You're Not Chatting. You're Folding the Universe.
github.com·1d·
Discuss: r/LLM
🧫Cellular Automata
Looking to deepen my knowledge as a cs student
reddit.com·3d·
Discuss: r/compsci
📐Type Theory
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·2d
🔧Compiler Design
The next book we're reading in the Software Internals Email Book Club is the 2nd edition of The Art of Multiprocessor Programming.
bsky.app·12h·
Discuss: Bluesky
🤝Protocol Design