🏛️ Isabelle HOL

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

P Verified
b-hilprecht.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🤝Distributed Consensus
Show HN: Generate mind maps from anything with AI
instantmind.ai·9h·
Discuss: Hacker News
🌱Personal Wikis
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·19m·
Discuss: Hacker News
🔌Interface Evolution
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.de·5d·
Discuss: Hacker News
👑Isabelle
You can now train a 70B language model at home
answer.ai·1d·
Discuss: Hacker News
🎧Learned Audio
Technical approach for classifying human-AI interactions at scale
microsoft.com·2d·
Discuss: Hacker News
🌀Brotli Internals
How to build secure and scalable remote MCP servers
github.blog·19h
🌐NetworkProtocols
Stop retyping. Turn your repeat text into smart templates.
dev.to·3h·
Discuss: DEV
📝Concrete Syntax
Graduating This Year? Export and Archive Your Entire Academic Portfolio
dev.to·4h·
Discuss: DEV
🔄Archive Workflows
Creating a Creative Logo Generator Using Google AI Studio & Gemini
dev.to·1d·
Discuss: DEV
📟Terminal Typography
ToFe: Lagged Token Freezing and Reusing for Efficient Vision Transformer Inference
arxiv.org·3d
🤖Advanced OCR
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.org·3d
🧠Intelligence Compression
SIFOTL: A Principled, Statistically-Informed Fidelity-Optimization Method for Tabular Learning
arxiv.org·1d
💻Local LLMs
HypoChainer: A Collaborative System Combining LLMs and Knowledge Graphs for Hypothesis-Driven Scientific Discovery
arxiv.org·2d
🕸️Knowledge Graphs
Vibecoding: The Antipattern We Didn't See Coming (and How to Dodge It) 🤦‍♀️
dev.to·2d·
Discuss: DEV
✨Effect Handlers
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·1d
🔗Tailscale
Beyond Integrations: How to Build the Future of AI with Context Engineering
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Hierarchical Dimensionless Learning (Hi-{\pi}): A physics-data hybrid-driven approach for discovering dimensionless parameter combinations
arxiv.org·1d
🧠Machine Learning
Learn Data Science with Gen Learn Data Science with Gen AI and Agentic AI Online Training
dev.to·2h·
Discuss: DEV
🧪Data science
Why AI Hallucinations Cost Businesses Millions and How BAML Prevents Them
dev.to·18h·
Discuss: DEV
✨Effect Handlers