👑 Isabelle/HOL

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

Turing is king
blogger.com·22h
🎞️Tape Combinatorics
Immediate-Mode-UI/Nuklear
github.com·19h
📺Terminal UI
Using Socratic Dialog with AI for Better Technical Decisions
matthewsinclair.com·1d·
Discuss: Hacker News
🔍Concolic Testing
Adventures with mtree (2022)
jashankj.space·2d·
Discuss: Hacker News
🧬Bitstream Evolution
Lessons learned from implementing SIMD-accelerated crypto algorithms (ChaCha20 / ChaCha12) in pure Rust
kerkour.com·14h·
Discuss: Hacker News
🦀Rust Macros
From DeepSeek-MoE to R1: how expert routing and RL made the leap
chrishayduk.com·3h·
Discuss: Hacker News
🔍Vector Forensics
Can modern LLMs actually count the number of b's in "blueberry"?
minimaxir.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
It's Not 10x. It's 36x – This Is What It Looks Like to Kill a $30k Meeting
cameronwestland.com·1d·
Discuss: Hacker News
⚡Proof Automation
I created SerdeCraft - Serialize Rust data structures into Minecraft blocks using Serde
github.com·2d
🔒Linear Types
Automated Multi-Variant ELISA Optimization via Hyperdimensional Vector Analysis
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Automated Real-Time Inventory Optimization via Dynamic Bayesian Network Calibration in Control Towers
dev.to·1d·
Discuss: DEV
🔗Supply Chain
Obfuscated Quantum and Post-Quantum Cryptography
arxiv.org·1d
🔐Quantum Security
The Crossroads of AI: Unpacking the Divergent Futures Envisioned by Zuckerberg and LeCun
hackernoon.com·5h
🌍Cultural Algorithms
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org·1d
🏗️Compiler Archaeology
ContextGuard-LVLM: Enhancing News Veracity through Fine-grained Cross-modal Contextual Consistency Verification
arxiv.org·1d
📰Content Curation
Exploring Safety Alignment Evaluation of LLMs in Chinese Mental Health Dialogues via LLM-as-Judge
arxiv.org·1d
✨Effect Handlers
Multimodal AI Systems for Enhanced Laying Hen Welfare Assessment and Productivity Optimization
arxiv.org·1d
🤖Advanced OCR
Dead Zone of Accountability: Why Social Claims in Machine Learning Research Should Be Articulated and Defended
arxiv.org·16h
🎯Performance Proofs
'Inference whales' are breaching AI coding startup business models
businessinsider.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
TensorFlow Graph Optimization With Grappler
hackernoon.com·1d
✨Effect Handlers