👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Undefined Tasks
thedailywtf.com·9h
💾Persistence Strategies
Flag this post
Using VS Code, GitHub, and AMP Code for Technical Writing on macOS
simpletechguides.com·1h·
Discuss: Hacker News
🌳Git Internals
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·23h·
Discuss: Hacker News, r/node
🌊Stream Processing
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·2d·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
From Evidence to Verdict: An Agent-Based Forensic Framework for AI-Generated Image Detection
arxiv.org·11h
🔍Vector Forensics
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·11h
✨Effect Handlers
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·21h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Daily Artificial Intelligence Digest - Nov 04, 2025
dev.to·14h·
Discuss: DEV
🤖AI Curation
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·1d
🔲Cellular Automata
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·2d·
Discuss: DEV
✨Algebraic Effects
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
AI won’t replace you, but bad AI habits will
dev.to·44m·
Discuss: DEV
⚡Proof Automation
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·11h
🤖Advanced OCR
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·2d·
Discuss: DEV
💾SQLite
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·10h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·11h
🎙️Whisper
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·11h
📊Learned Metrics
Flag this post