👑 Isabelle/HOL

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

MVI2: done
codecs.multimedia.cx·13h
🎞️MKV Internals
My attempt at replacing cloud services
i.redd.it·9h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
Establishment of chromatin architecture interplays with embryo hypertranscription
nature.com·1d
🧬Copy Number Variants
RTPG Blog
rtpg.co·1d
🔧Binary Parsers
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
osec.io·3d·
Discuss: Hacker News
🔒Type Safety
History of improvements in VACUUM in PostgreSQL (2023)
enterprisedb.com·9h·
Discuss: Lobsters, Hacker News
🗄️PostgreSQL WAL
Database.news – curated list of database news from authoritative sources
database.news·3d·
Discuss: Lobsters, Hacker News
🦴Database Paleontology
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·5h·
Discuss: DEV
⚛️Quantum Archives
Hyperdimensional Molecular Logic for Multi-Disease Biomarker Signature Analysis
dev.to·2d·
Discuss: DEV
🧬Palindrome Codes
ACC Cards Generator with Google AI Studio
dev.to·7h·
Discuss: DEV
📐Proof Assistants
Neural Network-Based Detection and Multi-Class Classification of FDI Attacks in Smart Grid Home Energy Systems
arxiv.org·2h
🔍Vector Forensics
Detecting and explaining postpartum depression in real-time with generative artificial intelligence
arxiv.org·2h
🎙️Whisper
Inline Caching (2021)
bernsteinbear.com·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·2d
🔲Cellular Automata
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·2d·
Discuss: DEV
✅Format Verification
AI Is Different
antirez.com·1d·
Discuss: Hacker News
🤖AI Curation
Opencode Tool Review (is this the Open-Source answer to Claude Code?)
elite-ai-assisted-coding.dev·18h·
Discuss: Hacker News
🔓Open Source Software
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·3d·
Discuss: DEV
🔗Constraint Handling