🏛️ Isabelle HOL

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

Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·4d
🔍FPGA Verification
The Java Programming Language: A Silent Powerhouse
discoverbsd.com·1d
🔌Operating system internals
Lichess Accuracy Metric
lichess.org·20h·
Discuss: Hacker News
📐Arithmetic Precision
Keep Pydantic out of your Domain Layer
coderik.nl·3d·
Discuss: Hacker News
🔬Refinement Types
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io·1d·
Discuss: Hacker News
🔧Binary Parsers
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·2d·
Discuss: Hacker News
🌀Brotli Internals
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·4d·
Discuss: Hacker News
⚡Incremental Computation
Battles of the mind: drawing Ukraine in this endless war | Ella Baron
theguardian.com·1d
⭐Awesome lists
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
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·4d
💻Programming languages
The Complete DevOps Roadmap for 2025 🚀
dev.to·17h·
Discuss: DEV
❄️Nix Adoption
🚀 Just discovered this evening productivity hack:
dev.to·7h·
Discuss: DEV
⛏️File Carving
AI's Bold Future in Cybersecurity Threats
dev.to·6h·
Discuss: DEV
🎯Threat Hunting
Exploiting the Overlooked: From Regex Bypasses to Full Source Code Leaks
infosecwriteups.com·2d
💣ZIP Vulnerabilities
How I Accidentally Built a Full-Stack Portfolio While Completing a Google IT Certification Project
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·2d
🧮Vector Embeddings
🚀 Just discovered this morning productivity hack:
dev.to·4h·
Discuss: DEV
⛏️File Carving
Vocalize HR Screen: AI-Powered Voice Screening Agent for Professional Interviews
dev.to·2h·
Discuss: DEV
🎙️Whisper
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·6d
✓Automated Theorem Proving