🏛️ Isabelle HOL

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

Wind of change (or maybe not)
crystal-lang.org·1d
⚡Incremental Computation
Why ZK Proving Markets Keep Failing: The Termination Trap
blockrotator.substack.com·2d·
Discuss: Substack
⚙️Proof Engineering
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·23h·
Discuss: Hacker News
📡RSS Automation
I Tried Htmx
bytecron.me·21h·
Discuss: Hacker News
📰RSS Feed Discovery
0x5f3759df
h14s.p5r.org·20h·
Discuss: Hacker News
📐Interval Arithmetic
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·1d·
Discuss: Hacker News
🌳Persistent Data Structures
original ↗
serce.me·18h·
Discuss: Lobsters, Hacker News, r/programming
🔗Topological Sorting
Localizing Task Recognition and Task Learning in In-Context Learning via Attention Head Analysis
arxiv.org·14h
🤖Grammar Induction
AssemblyHands-X: Modeling 3D Hand-Body Coordination for Understanding Bimanual Human Activities
arxiv.org·14h
🏺Computational Archaeology
GHOST: Hallucination-Inducing Image Generation for Multimodal LLMs
arxiv.org·14h
🎙️Whisper
LLMOps Done Right: Designing Traceable, Secure AI Systems for Production
dev.to·2d·
Discuss: DEV
💻Local LLMs
Decoding the Black Box: Visualizing LLM Thought Processes with Vector Spaces by Arvind Sundararajan
dev.to·43m·
Discuss: DEV
🌳Context free grammars
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·2d·
Discuss: DEV
🎯Proof Tactics
I Tried Kombai in My IDE: Here’s Why It Outperforms Cursor, Claude, and Copilot for Frontend
dev.to·1h·
Discuss: DEV
🌊Streaming Systems
Design Patterns Emerging From Multi-Agent AI Systems
dev.to·14h·
Discuss: DEV
🎯Threat Hunting
The Quiet Revolution in Our Code: How AI is Becoming Our Partner, Not Our Replacement
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Towards Minimal Causal Representations for Human Multimodal Language Understanding
arxiv.org·1d
🧠Machine Learning
Beyond Game Theory Optimal: Profit-Maximizing Poker Agents for No-Limit Holdem
arxiv.org·14h
🔲Cellular Automata
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.org·14h
🔗Parser Combinators
Can Large Language Models Express Uncertainty Like Human?
arxiv.org·14h
🧠Intelligence Compression