🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Can We Terraform Our Way Out of Earth?
hackernoon.com·35m
🚀Indie Hacking
Issue 491
haskellweekly.news·5d
🧬Functional Programming
CodeQL zero to hero part 5: Debugging queries
github.blog·1d
🔓Reverse engineering
Astral's ty: A New Blazing-Fast Type Checker for Python
realpython.com·1d
🎯Gradual Typing
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·21h·
Discuss: Hacker News
📡RSS Automation
I Tried Htmx
bytecron.me·18h·
Discuss: Hacker News
📰RSS Feed Discovery
0x5f3759df
h14s.p5r.org·17h·
Discuss: Hacker News
📐Interval Arithmetic
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·22h·
Discuss: Hacker News
🌳Persistent Data Structures
Actual Intelligence in the Age of AI
towardsdatascience.com·1h
🧠Intelligence Compression
Automated Ethical Guideline Assessment for Autonomous Robotics via Multi-Modal Analysis
dev.to·23h·
Discuss: DEV
🎯Threat Hunting
REMA: A Unified Reasoning Manifold Framework for Interpreting Large Language Model
arxiv.org·1d
📋Document Grammar
Why Chain of Thought Fails in Clinical Text Understanding
arxiv.org·1d
🧮Kolmogorov Complexity
HiViS: Hiding Visual Tokens from the Drafter for Speculative Decoding in Vision-Language Models
arxiv.org·12h
💻Local LLMs
MedMMV: A Controllable Multimodal Multi-Agent Framework for Reliable and Verifiable Clinical Reasoning
arxiv.org·12h
⚡Proof Automation
CMT: Mid-Training for Efficient Learning of Consistency, Mean Flow, and Flow Map Models
arxiv.org·12h
🧠Machine Learning
Understanding the Dilemma of Unlearning for Large Language Models
arxiv.org·12h
🤖Grammar Induction
Successful Misunderstandings: Learning to Coordinate Without Being Understood
arxiv.org·12h
🔲Cellular Automata
Localizing Task Recognition and Task Learning in In-Context Learning via Attention Head Analysis
arxiv.org·12h
🤖Grammar Induction
LLMOps Done Right: Designing Traceable, Secure AI Systems for Production
dev.to·1d·
Discuss: DEV
💻Local LLMs
AssemblyHands-X: Modeling 3D Hand-Body Coordination for Understanding Bimanual Human Activities
arxiv.org·12h
🏺Computational Archaeology