A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3h·
Discuss: Lobsters, Hacker News
📝Lisp
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🔢Mathematical Logic
A Library Approach to Constant Template Parameters
brevzin.github.io·1h·
Discuss: Hacker News
📐Type Theory
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Lobsters Interview with Icefox
lobste.rs·23h·
Discuss: Lobsters
🔧Compiler Design
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
⚙Functional Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔢Mathematical Logic
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·2h·
Discuss: Hacker News
⚡Concurrency
Show HN: List of Clojure-Like projects
github.com·19h·
Discuss: Hacker News
🔧Compiler Design
Issue 483
haskellweekly.news·2d
⚙Functional Programming
undefined in Optional Types: The Gotcha No One Warned Me About
dev.to·1h·
Discuss: DEV
📐Type Theory
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
⚙Functional Programming
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·1d·
Discuss: r/LocalLLaMA
🔧Compiler Design
Chromahack, a programming language
blog.libove.org·19h
🔧Compiler Design
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·2d
🔢Mathematical Logic
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·1d
⚖Algorithmic Game Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·5h·
Discuss: Hacker News
🔗Parser Combinators
Parallel Programming Models
ayushgundawar.me·9h·
Discuss: Hacker News
🏗Computer Architecture