👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·8h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·5h
⚡Proof Automation
how to build a youtube clone with python
dev.to·5h·
Discuss: DEV
🌀Brotli Dictionary
busy beaver function
ncatlab.org·1d
⚔️Lean Theorem
No title
markjgsmith.com·7h
🌐IPFS
Joy & Curiosity #51
registerspill.thorstenball.com·13h
🔗Topological Sorting
Making Games in Go: 3 Months Without LLMs vs. 3 Days with LLMs
marianogappa.github.io·5h·
Discuss: Hacker News, r/programming
🧩WASM Components
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·7h·
Discuss: Hacker News
⚙️Proof Engineering
How Many Paths of Length K Are There Between a and B?
horace.io·50m·
Discuss: Hacker News
🕸️Graph Algorithms
JavaScript lib for exchanging selective disclosure proofs
github.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·15h·
Discuss: www.blogger.com
📐Interval Arithmetic
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·14h
🗄️Database Internals
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Weeknotes: 2025-W34
thomasrigby.com·3h
🧬PostgreSQL Forensics
A Program That Molds To Your Needs II
irreal.org·4h
🔗Concatenative Languages
Fun OCaml 2025
fun-ocaml.com·1d·
Discuss: Hacker News
🧬Functional Programming
Rust for JavaScript Engineers – Intro
afloat.boats·15h·
Discuss: Hacker News
🦀Rust Macros
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·19h·
Discuss: Hacker News
⚙️Compression Benchmarking
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·6d
🔮Proof Search
The Baby Paradox in Haskell
blog.jle.im·3d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance