👑 Isabelle/HOL

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

Turing is king
blogger.com·20h
🎞️Tape Combinatorics
Immediate-Mode-UI/Nuklear
github.com·17h
📺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
How Did I Possibly Break This?
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🎯Gradual Typing
From DeepSeek-MoE to R1: how expert routing and RL made the leap
chrishayduk.com·2h·
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·1d·
Discuss: DEV
🤖Archive Automation
Automated Real-Time Inventory Optimization via Dynamic Bayesian Network Calibration in Control Towers
dev.to·1d·
Discuss: DEV
🔗Supply Chain
How Does a Virtual Agent Decide Where to Look? - Symbolic Cognitive Reasoning for Embodied Head Rotation
arxiv.org·15h
🔲Cellular Automata
Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.org·15h
📋Document Grammar
Dynamic Uncertainty-aware Multimodal Fusion for Outdoor Health Monitoring
arxiv.org·15h
📈Mutual Information
Real-Time Ray Tracing Optimization via Adaptive Kernel Fusion & Dynamic LOD Selection
dev.to·8h·
Discuss: DEV
🖥️Game Emulation
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·4h
🌍Cultural Algorithms
Exploring Safety Alignment Evaluation of LLMs in Chinese Mental Health Dialogues via LLM-as-Judge
arxiv.org·1d
✨Effect Handlers
ContextGuard-LVLM: Enhancing News Veracity through Fine-grained Cross-modal Contextual Consistency Verification
arxiv.org·1d
📰Content Curation
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org·1d
🏗️Compiler Archaeology