🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

The Easiest Way to Build a Type Checker
jimmyhmiller.com·15h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·14h
λLambda Encodings
Flag this post
The Machine Learning Roadmap
github.com·11h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Build your own cursor
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·13h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Three hundred fifteen students and teachers kidnapped in Nigeria in second school abduction this week
lemonde.fr·22h
🛡Cybersecurity
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·1d·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·10h
🌀Brotli Internals
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·14h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
Notes for November 17-22
taoofmac.com·12h
🌀Brotli Internals
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Structural Inducements for Hallucination in LLMs
researchgate.net·1d·
Discuss: Hacker News
🏛Digital humanities
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·1d·
Discuss: Substack
💻Programming languages
Flag this post