🏛️ Isabelle HOL

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

Sophos AI at Black Hat USA ’25: Anomaly detection betrayed us, so we gave it a new job
news.sophos.com·3d
🎯Threat Hunting
The Kafka Challenge – Translating the Inimitable
hedgehogreview.com·2d·
Discuss: Hacker News
🏛Digital humanities
Omakase Computing
manuals.omamix.org·1d·
Discuss: Hacker News
🔌Operating system internals
AI Thing: A tool for everyone to perform complex tasks in parallel using AI
aithing.dev·21h·
Discuss: Hacker News
📲syncthing
Show HN: VectorOps Know
vectorops.dev·4d·
Discuss: Hacker News
🌳Incremental Parsing
Oops Safari, I Think You Spilled Something
blog.exodusintel.com·3d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Writing surtoget.no with gleam
lindbakk.com·3d·
Discuss: Lobsters, Hacker News
📡Feed Archaeology
Translation problem: Mass of intercepted material overwhelms the BND
heise.de·5h
🤖AI Translation
The 5 stages of SaaS Death
arnon.dk·1d·
Discuss: Hacker News
🔌Interface Evolution
Latency Slayer: a Redis 8 semantic cache gateway that makes LLMs feel instant
dev.to·1d·
Discuss: DEV
🏎️Varnish Cache
Building a Tech Zeitgeist Machine: News Harvesting, Dirty Data, and the Audacity of Mr. Spruce
dev.to·1d·
Discuss: DEV
📰RSS Archaeology
StanceStream – Real-Time Multi-Agent AI Debates Powered by Redis
dev.to·23h·
Discuss: DEV
🌊Streaming Systems
How to Install & Run GPT-OSS 20b and 120b GGUF Locally?
dev.to·9h·
Discuss: DEV
🏠HomeLab
Cursor’s New Pricing Blew My Budget, So I Built a Usage Tracker
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
MeanAudio: Fast and Faithful Text-to-Audio Generation with Mean Flows
arxiv.org·15h
🎙️Whisper
Mastering Prompting for AI Agents: Insights and Best Practices
dev.to·2d·
Discuss: DEV
🤖AI Curation
Automated Adaptive Skill Transfer in Personalized Robotic Assistants via Multi-Fidelity Reinforcement Learning
dev.to·1d·
Discuss: DEV
🤖Tape Automation
From "Aha Moments" to Controllable Thinking: Toward Meta-Cognitive Reasoning in Large Reasoning Models via Decoupled Reasoning and Control
arxiv.org·4d
✨Effect Handlers
Hacking Hallucinations of MLLMs with Causal Sufficiency and Necessity
arxiv.org·4d
💻Programming languages
Quantifying & Propagating Predictive Uncertainty via Bayesian Gaussian Process Recurrent Neural Networks
dev.to·10h·
Discuss: DEV
🌊Stream Processing