The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🔬PLT
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
⚙️Language Implementation
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🔬PLT
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔬PLT
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🔬PLT
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·6h·
Discuss: Hacker News
🏗️Compiler Design
Learning the Bitter Lesson
rlancemartin.github.io·8h·
Discuss: Hacker News
🔬PLT
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🔬PLT
Twentyseven 1.0.0
blog.poisson.chat·23h·
Discuss: Hacker News
⚙️Language Implementation
Show HN: List of Clojure-Like projects
github.com·3h·
Discuss: Hacker News
💻Programming
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·40m·
Discuss: Hacker News
⚙️Language Implementation
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
💻Programming
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·4d·
Discuss: Hacker News
🔬PLT
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Language Implementation
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·18h·
Discuss: Hacker News
🏗️Compiler Design
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
⚙️Language Implementation
If Odin Had Macros
gingerbill.org·14h·
Discuss: Lobsters, Hacker News, r/programming
🏗️Compiler Design
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·2d·
Discuss: Lobsters, r/programming
⚙️Language Implementation
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
🔤Text Algorithms
This web framework was built by Claude
rgk.io·4h·
Discuss: Hacker News
🔬PLT