Machine learning by satisfiability solving
johndcook.com·1d
📈Complexity Theory
31 Days with Claude Code: What I Learned
hung-truong.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Issue 483
haskellweekly.news·2d
⚙Functional Programming
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
📝Lisp
RELEASING KARL DOCS
karldocs.netlify.app·3h·
Discuss: DEV
🔗Parser Combinators
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
Vibe coding complex changes in Rust
youtube.com·18h
🦀Rust
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·20h·
Discuss: DEV
⚙Functional Programming
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·16h·
Discuss: Hacker News
🎲Probabilistic Programming
The Summer of Codex
paylias.xyz·2h·
Discuss: Hacker News
⚙Functional Programming
Chromahack, a programming language
blog.libove.org·19h
🔧Compiler Design
You're Not Chatting. You're Folding the Universe.
github.com·1d·
Discuss: r/LLM
🧫Cellular Automata
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·3d
🧩Theorem Proving
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·2d·
Discuss: Hacker News
🔗Parser Combinators
Reverse engineering some updates to Claude
simonw.substack.com·16h·
Discuss: Substack
🏗️Software Architecture
Symbol-Level Editing
sysprogs.com·8h·
Discuss: Hacker News
🔧Compiler Design
Onboarding for Coding Agents
fuzzycomputer.com·2h·
Discuss: Hacker News
🧩Theorem Proving
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Engineering With Java: Digest #58
javabulletin.substack.com·17h·
Discuss: r/programming
🏗Computer Architecture
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·2d·
Discuss: Hacker News
⚙Functional Programming