🏛️ Isabelle HOL

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

Invincible Island: The Bones of Our Ancestors
bluerenga.blog·1d
⚡Proof Automation
Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·4d
🔍FPGA Verification
A Question of Purpose: On Translating Russian Literature
hedgehogreview.com·15h·
Discuss: Hacker News
💻Programming languages
Lichess Accuracy Metric
lichess.org·1d·
Discuss: Hacker News
📐Arithmetic Precision
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr·1d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
The Case for Being Lazy
osada.blog·1d·
Discuss: r/programming
🔩Systems Programming
Hybrid AI-human approach is necessary to uphold research integrity
thehindu.com·23h·
Discuss: Hacker News
🔄Archival Workflows
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·2d·
Discuss: Hacker News
🌀Brotli Internals
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·4d·
Discuss: Hacker News
⚡Proof Automation
An Engineer's Guide to AI Code Model Evals
addyosmani.com·2d·
Discuss: r/programming, r/webdev
📏Code Metrics
How I Built a Talking, Knowledgeable AI Sidekick (and How You Can too build a Voice AI RAG agent )
dev.to·2d·
Discuss: DEV
🎙️Whisper
Towards Robust Foundation Models for Digital Pathology
arxiv.org·2d
🧠Machine Learning
Tabular Diffusion based Actionable Counterfactual Explanations for Network Intrusion Detection
arxiv.org·3d
🧠Machine Learning
Writing experience: My decade with Org
xenodium.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Rust Embedded Drivers (RED) - Open Source Book
reddit.com·1d·
Discuss: r/rust
🦀Embedded Rust
Constructing Ophthalmic MLLM for Positioning-diagnosis Collaboration Through Clinical Cognitive Chain Reasoning
arxiv.org·3d
🧠Machine Learning
Automated Brake Onset Detection in Naturalistic Driving Data
arxiv.org·2d
🔄Finite State Machines
AI Can Verify Your ID in Seconds — Here’s How It Works
hackernoon.com·2d
🤖Archive Automation
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·4d
💻Programming languages
How I Accidentally Built a Full-Stack Portfolio While Completing a Google IT Certification Project
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis