🏛️ Isabelle HOL

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

Latest WhatsApp Beta for iPhone Includes AI Writing Help Feature
macrumors.com·51m
🎙️Whisper
Getting ready for Akademy 2025
volkerkrause.eu·3d
🔩Systems Programming
Children of the TI: Write Once, Run Anywhere
bumbershootsoft.wordpress.com·2d
🎮Gameboy Emulation
Swift for the Web
nicksloan.com·6d·
Discuss: Hacker News
🔬Refinement Types
Taming the Beast: Comparing Jsonnet, Dhall, Cue
pv.wtf·5d·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities
This Week in Security: The AI Hacker, FortMajeure, and Project Zero
hackaday.com·3d
🔓Hacking
Stacks in Python — A Practical Guide to LIFO Data Structures
thenewstack.io·3d
🔗Concatenative Programming
Documenting Code is boring ….but it doesn’t have to be
medium.com·1d·
Discuss: r/programming
⏱️Interval Archives
Summer 2025 Guest Post Series Recap
dailynous.com·2h
📰RSS Archaeology
Scene Graph-Guided Proactive Replanning for Failure-Resilient Embodied Agent
arxiv.org·1d
🔲Cellular Automata
Enhanced Regenerative Braking System via Adaptive Distributed Parameter Control Optimization
dev.to·12h·
Discuss: DEV
💾Persistent Memory
How to Outsmart AI Cheating Without Killing Creativity
hackernoon.com·4d
📚Proof Pedagogy
How do you come across your "niche"?
news.ycombinator.com·18h·
Discuss: Hacker News
🎯Content Recommendation
Zelensky and Trump express hope for talks with Putin on ending Russia-Ukraine war
lemonde.fr·18h
📝ABNF Parsing
Why do people keep writing about the imaginary compound Cr2Gr2Te6?
righto.com·18h·
Discuss: www.blogger.com
🔐Soviet Cryptography
Causality Matters: How Temporal Information Emerges in Video Language Models
arxiv.org·1d
📼Tape Linguistics
Building Production RAG in 2024: Lessons from 50+ Deployments
dev.to·2d·
Discuss: DEV
✅Archive Validation
CarAT: Carbon Atom Tracing across Industrial Chemical Value Chains via Chemistry Language Models
arxiv.org·4d
🕸️Algebraic Topology
Vibe Coding: Building the Brooke & Maisy E-Commerce Store with Rails and Kilo Code
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Hey Recruiters 👋, I Broke the Resume. Then I Rebuilt It with AI.
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming