🏛️ Isabelle HOL

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

How is the strength of an earthquake measured?
lemonde.fr·2d
🛡Cybersecurity
The Planet Is Warming, But Our Speech Has Chilled
battellemedia.com·17h
🌡️Preservation Physics
Bringing Together Clazy and Clang-Tidy
alex1701c.github.io·5d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Macros
Claude Code, but for SQL, Beekeeper Studio 5.3
beekeeperstudio.io·3d·
Discuss: Hacker News
🌀Brotli Internals
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·1d·
Discuss: Hacker News
🔐Quantum Security
The two people shaping the future of OpenAI’s research
technologyreview.com·2d·
Discuss: Hacker News, r/technews
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com
raq.com·3d·
Discuss: Hacker News
⚡Proof Automation
WinUI OSS Update: Phased Rollout Toward Open Collaboration
github.com·1h·
Discuss: Hacker News
🔓Open Source Software
What ChatGPT Study Mode gets right and wrong
moderndescartes.com·3d·
Discuss: Hacker News
📚Proof Pedagogy
Towards Locally Deployable Fine-Tuned Causal Large Language Models for Mode Choice Behaviour
arxiv.org·3d
💻Local LLMs
The role of LLMs in academic reviewing
sigarch.org·2d·
Discuss: Hacker News
💻Local LLMs
Streamline GitHub workflows with generative AI using Amazon Bedrock and MCP
aws.amazon.com·2d
🌊Streaming Systems
When no one shows up (at first): Navigating the uncertainties of participatory workshops in interdisciplinary research
arxiv.org·1d
🏛Digital humanities
ASI-Arch – AlphaGo Moment for Model Architecture Discovery
github.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·2d
💻Local LLMs
The Agentic Web Needs a Protocol
dev.to·23h·
Discuss: DEV
🌐Web Standards
The White Shirt Theory: Why I Bet on AI Without a Backup Plan
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
AI Tools I'm using to 10x my productivity
dev.to·3d·
Discuss: DEV
⚡Proof Automation
GenAI vs. Agentic AI: What Developers Need to Know
docker.com·1d
🎙️Whisper
Latest Python Certifications: From Fresher to Data Analyst in 2025
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering