🏛️ Isabelle HOL

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

Issue 491
haskellweekly.news·5d
🧬Functional Programming
CodeQL zero to hero part 5: Debugging queries
github.blog·23h
🔓Reverse engineering
The Machine Learning Lessons I’ve Learned This Month
towardsdatascience.com·1h
🌊Streaming Algorithms
Astral's ty: A New Blazing-Fast Type Checker for Python
realpython.com·1d
🎯Gradual Typing
I Tried Htmx
bytecron.me·16h·
Discuss: Hacker News
📰RSS Feed Discovery
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·20h·
Discuss: Hacker News
🌳Persistent Data Structures
On the Self-awareness of Large Reasoning Models' Capability Boundaries
arxiv.org·10h
🧠Computational Logic
LLM DNA: Tracing Model Evolution via Functional Representations
arxiv.org·10h
💻Programming languages
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·2d·
Discuss: DEV
🎯Proof Tactics
Paired by the Teacher: Turning Unpaired Data into High-Fidelity Pairs for Low-Resource Text Generation
arxiv.org·10h
⚙️Parser Generators
MDD-Thinker: Towards Large Reasoning Models for Major Depressive Disorder Diagnosis
arxiv.org·10h
📊HyperLogLog
The Role of Commitment in Optimal Stopping
arxiv.org·10h
🧮Kolmogorov Bounds
Using GraphViz for CLAUDE.md
blog.fsck.com·1d
⚔️Lean Tactics
90%
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Automated Ethical Guideline Assessment for Autonomous Robotics via Multi-Modal Analysis
dev.to·21h·
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
MedMMV: A Controllable Multimodal Multi-Agent Framework for Reliable and Verifiable Clinical Reasoning
arxiv.org·10h
⚡Proof Automation
Understanding the Dilemma of Unlearning for Large Language Models
arxiv.org·10h
🤖Grammar Induction
HiViS: Hiding Visual Tokens from the Drafter for Speculative Decoding in Vision-Language Models
arxiv.org·10h
💻Local LLMs