👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

If You Want Your Students Completing Their Coursework Without Help from AI…
dailynous.com·1d
✓Automated Theorem Proving
Children of the TI
bumbershootsoft.wordpress.com·12h
🎮Vintage Gaming
Best infosec-related long reads for the week of 7/19/25
metacurity.com·18h
🔓Hacking
Post to HN
blog.cloudflare.com·4h·
Discuss: Hacker News
🌐DNS over QUIC
Metasurfaces could be the next quantum information processors
phys.org·10h·
Discuss: Hacker News
⚛️Quantum Tape
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·5d·
Discuss: Substack
🎯Performance Proofs
When AI agents can become a marketing analyst?
coupler.io·2d·
Discuss: Hacker News
🔌Interface Evolution
I Made Doom Run Inside a QR Code and Wrote a Custom Compression Algorithm for It
old.reddit.com·16h·
Discuss: r/computerscience
🎮Game Decompilation
Tackling the AI-Fueled API Explosion With Visibility
devops.com·1d
🔌Interface Evolution
For a human, AI is just a part of being. For a model, a human is all of being
habr.com·18h·
Discuss: Hacker News
🔲Cellular Automata
What blogs/articles would you guys recommend to a backend noob ?
reddit.com·3d·
Discuss: r/golang
🌀Brotli Internals
The new UX for AI is not what you think
frontierai.substack.com·2d·
Discuss: Substack
📟CLI Design
The great AI delusion is falling apart
mikemcbrideonline.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Show HN: Go-respec – Generate OpenAPI specs from Go code, no annotations needed
github.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Optimization of Grocery Shop Pricing
github.com·8h·
Discuss: DEV, Hacker News
🔌Operating system internals
Python Observability Guide: 8 Production Logging and Monitoring Strategies That Work
dev.to·3d·
Discuss: DEV
👁️System Observability
Show HN: An AI tool that filters high-quality info from the noise
github.com·2d·
Discuss: Hacker News
🌊Apache Kafka
Hierarchical Dimensionless Learning (Hi-{\pi}): A physics-data hybrid-driven approach for discovering dimensionless parameter combinations
arxiv.org·2d
🧠Machine Learning
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.org·2d
🌀Differential Geometry
Top AI Agent Protocols for Developers in 2025
dev.to·4d·
Discuss: DEV
🔌Interface Evolution