A Sound Change That Never Was.
languagehat.com·1d
🔧Compiler Design
The smallest embeddable scripting language, part 1
log.schemescape.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
Building a Full-Stack Chatbot with Next.js + Supabase
chatbot-01-theta.vercel.app·1h·
Discuss: DEV
🧮Programming Language Theory
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.com·1d·
Discuss: r/LocalLLaMA
🧩Theorem Proving
MLE-STAR: A state-of-the-art machine learning engineering agents
research.google·1d
🎲Probabilistic Programming
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
Python Itertools: Master Complex and Efficient Iterators in 2025
dev.to·2d·
Discuss: DEV
⚙Functional Programming
PesudoCLI - your AI man pages.
dev.to·8h·
Discuss: DEV
🦀Rust
Hask Is Not a Category
math.andrej.com·3d·
Discuss: Hacker News
🔄Category Theory
RELEASING KARL DOCS
karldocs.netlify.app·9h·
Discuss: DEV
🎲Probabilistic Programming
Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·4h·
Discuss: Hacker News
🔧Compiler Design
Show HN: List of Clojure-Like projects
github.com·1d·
Discuss: Hacker News
🔧Compiler Design
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·2d
🎲Probabilistic Programming
Engineering With Java: Digest #58
javabulletin.substack.com·23h·
Discuss: r/programming
🏗Computer Architecture
This web framework was built by Claude
rgk.io·1d·
Discuss: Hacker News
🏗️Software Architecture
Large Language Models
davidtemplin.name·4d·
Discuss: Hacker News
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
You're probably not learning with AI
aryas.dev·13h·
Discuss: Hacker News
🧩Theorem Proving
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
📝Lisp
Tractable Responsibility Measures for Ontology-Mediated Query Answering
arxiv.org·1d
🎯Constraint Programming