👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Russian Teacher Tricks American Students
mindyourdecisions.com·2h
🌀Differential Geometry
Carnival of Maths #241
aperiodical.com·11h
📐Mathematical Art
Come Try Out Piglet
arnebrasseur.net·8h·
Discuss: Hacker News
🐚Bash Monads
LLMs won't save you from bad software engineering culture
atelfo.github.io·20h·
Discuss: Hacker News
🔄Language Evolution
How we made JSON.stringify more than twice as fast
v8.dev·22h·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·6h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·4d·
Discuss: Hacker News
🏛️Isabelle HOL
Human-on-the-Loop: The New AI Control Model That Actually Works
thenewstack.io·7h
🔐Capability Systems
A Library Approach to Constant Template Parameters
brevzin.github.io·2d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
Tools for AI assisted Software development
thoughtbot.com·22h
🔄Language Evolution
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·6h·
Discuss: Hacker News
🦀Rust Borrowing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·14h·
Discuss: Hacker News
🔒Linear Types
Graph Lineages and Skeletal Graph Products
arxiv.org·18h
🔗Graph Isomorphism
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·4d·
Discuss: Hacker News
💧Liquid Types
J4CC, A Frame for Communication Control
arxiv.org·18h
✨Algebraic Effects
Prompt Engineering for AI-Driven Web Apps: A Spring Boot + React Storefront Example
dev.to·8h·
Discuss: DEV
🗣️Domain-Specific Languages
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·6h
⏰Time Crystals
Show HN: Procrastination disguised as preparation for moment that exists in futr
turquoise-cicily-87.tiiny.site·4h·
Discuss: Hacker News
⬜Minimalism
LLMs as Context Synthesizers: Why Direct Instructions Don't Work
corewood.io·3h·
Discuss: Hacker News
🤖Lisp Machines
cchistory: Tracking Claude Code System Prompt and Tool Changes
mariozechner.at·1d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing