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·19h·
Discuss: Lobsters
⚙️Language Implementation
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·1h·
Discuss: Hacker News
🔤Text Algorithms
How to Write Inductive Invariants
quint-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
🔬PLT
Parallel Programming Models
ayushgundawar.me·5h·
Discuss: Hacker News
🖥️Computer Architecture
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·2d·
Discuss: Hacker News
🔬PLT
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
🔬PLT
You're probably not learning with AI
aryas.dev·5h·
Discuss: Hacker News
⚙️Language Implementation
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·19h·
Discuss: Hacker News
🏗️Compiler Design
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙️Language Implementation
Show HN: List of Clojure-Like projects
github.com·16h·
Discuss: Hacker News
💻Programming
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·13h·
Discuss: Hacker News
⚙️Language Implementation
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
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
Learning the Bitter Lesson
rlancemartin.github.io·21h·
Discuss: Hacker News
🔬PLT
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·1d·
Discuss: Hacker News
🏗️Compiler Design
Lobsters Interview with Icefox
lobste.rs·19h·
Discuss: Lobsters
⚙️Language Implementation
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗️Compiler Design