🏛️ Isabelle HOL

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

When Stars and Strips Align: Fixing the StripOffsets TIFF tag
openpreservation.org·1d
📸TIFF Evolution
The Agency Gap
benjamincongdon.me·1d
🎯Threat Hunting
Behind the Scenes: My "How Computers Really Work" Series on Computerphile
xania.org·1d
🧲RISC-V Archaeology
I Watched AI Agents Try to Hack My Vibe-Coded Websit
wired.com·1d
🚀Indie Hacking
Show HN: Learn Complete French Grammar for Free
learncompletefrench.netlify.app·1d·
Discuss: Hacker News
🤖Grammar Induction
Introduction to Computer Music an Electronic Textbook
cmtext.com·19h·
Discuss: Hacker News
🎼Computational Musicology
Launching Peedief – Structured Document Generation for AI Agents
peedief.com·1d·
Discuss: Hacker News
📄Document Streaming
From Local Hack to Production: How We Solved the MCP Multi-Tenant Auth Problem
braingrid.ai·1d·
Discuss: Hacker News
🏠Homelab Federation
Understanding why deterministic output from LLMs is nearly impossible
unstract.com·3d·
Discuss: Hacker News
🎯Performance Proofs
Show HN: A High-Altitude Low-Power Flight Computer for High-Altitude Balloons
github.com·1d·
Discuss: Hacker News
🔌Single Board PC
Interview with Microsoft: Copilot, AI skills, and building a learning organization
the-decoder.com·18h
🗺️Competency Maps
I Know When You're Vibe Coding
alexkondov.com·2d·
Discuss: Hacker News, Hacker News, r/programming
📜Proof Carrying Code
VRISE: A Virtual Reality Platfrom for Immersive and Interactive Surveying Education
arxiv.org·1d
🏺Computational Archaeology
Informing AI Risk Assessment with News Media: Analyzing National and Political Variation in the Coverage of AI Risks
arxiv.org·3h
🤖AI Curation
New Programming Language
news.ycombinator.com·3d·
Discuss: Hacker News
💻Programming languages
TraceRoot: Find the Root Cause in Your Code's Trace
github.com·5h·
Discuss: Hacker News
👁️System Observability
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·3h
🧠Machine Learning
How to Build an AI-Based Quiz Maker App with Flask – EdTech Project for Beginners
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Let the AI Run Code: Inside the REPL Loop
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
MRGSEM-Sum: An Unsupervised Multi-document Summarization Framework based on Multi-Relational Graphs and Structural Entropy Minimization
arxiv.org·3h
📊Multi-vector RAG