I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·2h·
Discuss: Hacker News
🎮Language Ergonomics
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
🎭Program Synthesis
Categorical systems theory
topos.institute·10h
🔗Category Theory
Codeminer42 Dev Weekly #82
blog.codeminer42.com·4h
🌱Forth Kernels
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
The Library Method: Understanding @cache
dev.to·20h·
Discuss: DEV
🎯Symbolic Execution
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·21h·
Discuss: Hacker News
🔬Nanopasses
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
🦉Swift Interpreters
New comment by faxmeyourcode in "Show HN: I built a web framework in C"
news.ycombinator.com·1d·
Discuss: Hacker News
🪄C Metaprogramming
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·4h·
Discuss: r/programming
🎮Language Ergonomics
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
📋Backus-Naur Form
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Does Go have types?
youtube.com·9h·
Discuss: r/golang
🌈Gradual Languages
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
⚡Live Programming
From CAP to GAP?
fsharpforfunandprofit.com·14h·
Discuss: DEV
🧪Testing Compilers
Introducing the SambaNova SDK
sambanova.ai·16h
✨Code Formatters
Company, Product Oct 9, 2025 Simplifying Vector Embeddings with Pinecone Hosted Inference John Ward
pinecone.io·1d
🔄Incremental Parsers
Zen of Python
webaligo.bearblog.dev·1h
🤐Zipper Structures
In-Depth Analysis: "Attention Is All You Need"
dev.to·6h·
Discuss: DEV
🌱Minimal ML