🏛️ Isabelle HOL

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

SABER: Switchable and Balanced Training for Efficient LLM Reasoning
arxiv.org·9h
💻Local LLMs
Anaphoric Macros
letoverlambda.com·5h·
Discuss: Lobsters
🧠Lisp Dialects
What are the real numbers, really? (2024)
infinitelymore.xyz·19h·
Discuss: Hacker News
🏗️Constructive Mathematics
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·2d
🔲Cellular Automata
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·21h·
Discuss: Hacker News
⚡Proof Automation
Haskell Crash Course
yager.io·2d
🔗Lisp
Son’s math test sparks internet outrage
mindyourdecisions.com·19h
🔬Lean
Multiple Reachability in Linear Dynamical Systems
arxiv.org·9h
🔄Finite State Machines
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·16h·
Discuss: DEV
⚙️Proof Engineering
Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.com·13h·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
Mellea is a library for writing generative programs
mellea.ai·20h·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
A beginner-friendly guide to learning Jax with practical examples
github.com·20h·
Discuss: Hacker News, r/LocalLLaMA
⚔️Lean Tactics
Writing an LLM from scratch - Tutorial series
gilesthomas.com·21h
💻Local LLMs
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·16h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·14h
🕸️Neo4j
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·1d·
Discuss: Hacker News
👑Isabelle
[Tech Pills] Frontend concurrency control (with S3 file upload) A practical guide to implementing sequential, batched, and streamed uploads with concurrency pri...
blog.codeminer42.com·1d
🌊Streaming Systems
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·1d
🔗Combinatory Logic