Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·23h·
Discuss: Lobsters
🦀Rust programming language
Hask Is Not a Category
math.andrej.com·22h·
Discuss: Hacker News
🦀Rust programming language
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·3h·
Discuss: Hacker News
🛠️Creative Coding Frameworks
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·7h·
Discuss: Hacker News
🧮Computer science
🔗 Upside-Down Development
jardo.dev·1d
🛠️Creative Coding Frameworks
2000 words about arrays and tables
buttondown.com·1d·
Discuss: Lobsters, Hacker News
🧮Computer science
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·15h·
Discuss: Hacker News
🦀Rust programming language
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·2d·
Discuss: Hacker News
🧮Computer science
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·3d·
Discuss: Hacker News
🛠️Creative Coding Frameworks
Lawvere’s Work on Arms Control
johncarlosbaez.wordpress.com·23h
⚙️systems theory
Hanoi Turned Upside Down
oreilly.com·1d
🧠Meta-creativity
The Dartboard Sequence
mathpages.com·14h·
Discuss: Hacker News
🧮Computer science
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
🧮Computer science
The Math Is Haunted
overreacted.io·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧮Computer science
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·5h·
Discuss: Hacker News
🧮Computer science
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·1d·
Discuss: Hacker News
🌐Distributed systems
Formal Inertia
daedeluskite.com·8h·
Discuss: Hacker News
🧠Meta-creativity
Identity and behaviour
ismaelcelis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩Cellular Automata
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·7h·
Discuss: Hacker News
🧠Meta-creativity
Large Language Models
davidtemplin.name·1d·
Discuss: Hacker News
🧮Computer science