👑 Isabelle/HOL

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

MVI2: done
codecs.multimedia.cx·15h
🎞️MKV Internals
My attempt at replacing cloud services
i.redd.it·11h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
RTPG Blog
rtpg.co·1d
🔧Binary Parsers
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org·9h·
Discuss: Hacker News
🎛️Cassette DSP
Playwright for Beginners: Quick-Start Automation
qa.tech·1d·
Discuss: Hacker News
⚡Proof Automation
History of improvements in VACUUM in PostgreSQL (2023)
enterprisedb.com·11h·
Discuss: Lobsters, Hacker News
🗄️PostgreSQL WAL
Show HN: Generative Graphics LLM Benchmark
ggbench.com·3d·
Discuss: Hacker News
🖥️Terminal Emulators
The unexpected joy of Claude Code on your iPhone
clay.fyi·2d·
Discuss: Hacker News
🪟Awesome windows command-line
From Days to Hours—Meet HyperQ, the Quantum Virtual Machines That Could Democratize Q-Computing
dev.to·7h·
Discuss: DEV
⚛️Quantum Archives
iota behaviours
reddit.com·1d·
Discuss: r/golang
🔤Type Theory
Sniffing and Injecting on 5G NR
github.com·17h·
Discuss: Hacker News
📼Cassette Hacking
ACC Cards Generator with Google AI Studio
dev.to·9h·
Discuss: DEV
📐Proof Assistants
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·2d·
Discuss: DEV
✅Format Verification
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
AI Is Different
antirez.com·1d·
Discuss: Hacker News
🤖AI Curation
Agentic Coding a FastHTML RAG Eval App
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
⚔️Lean Tactics
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Pruning and Malicious Injection: A Retraining-Free Backdoor Attack on Transformer Models
arxiv.org·4h
🕵️Vector Smuggling
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.to·22h·
Discuss: DEV
📄Document Digitization
Multimodal LLM-based Query Paraphrasing for Video Search
arxiv.org·1d
🔍Semantic Search