🏛️ Isabelle HOL

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

Does the Law Speak the Same Language in War as in Peace?
europeanlawblog.eu·2h
🧲Magnetic Philosophy
Wind of change (or maybe not)
crystal-lang.org·2d
⚡Incremental Computation
Rhadamanthys 0.9.x – walk through the updates
research.checkpoint.com·2h
🧬Bitstream Evolution
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·1d·
Discuss: Hacker News
📡RSS Automation
0x5f3759df
h14s.p5r.org·1d·
Discuss: Hacker News
📐Interval Arithmetic
I Tried Htmx
bytecron.me·1d·
Discuss: Hacker News
📰RSS Feed Discovery
original ↗
serce.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Topological Sorting
Zero-Based Numbering
en.wikipedia.org·13h·
Discuss: Hacker News
🔗Concatenative Programming
Dorothy – A dotfile ecosystem: cross-shell, cross-OS, cross-arch
github.com·16h·
Discuss: Hacker News
🔌Operating system internals
Module 3 — Derived Digital Identities and Interoperability
dev.to·7h·
Discuss: DEV
🔐PKI Archaeology
DGM4+: Dataset Extension for Global Scene Inconsistency
arxiv.org·6h
📸TIFF Archaeology
LifeCLEF Plant Identification Task 2014
arxiv.org·1d
📄OCR
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·3d·
Discuss: DEV
🎯Proof Tactics
A Bilevel Approach to Integrated Surgeon Scheduling and Surgery Planning solved via Branch-and-Price
arxiv.org·1d
🎯Performance Proofs
Building a TypeScript Snake.io Game with Vue 3 and Claude Sonnet 4.5
dev.to·19h·
Discuss: DEV
💧Liquid Types
What Drives Paper Acceptance? A Process-Centric Analysis of Modern Peer Review
arxiv.org·6h
🎯Recommendation Metrics
High-level intuitions for the Bulletproofs/IPA protocol
cryptologie.net·4d
🎯Performance Proofs
SBFA: Single Sneaky Bit Flip Attack to Break Large Language Models
arxiv.org·2d
🧪Binary Fuzzing
Fine-Grained Detection of Context-Grounded Hallucinations Using LLMs
arxiv.org·2d
🧮Kolmogorov Complexity
Beyond Overall Accuracy: A Psychometric Deep Dive into the Topic-Specific Medical Capabilities of 80 Large Language Models
arxiv.org·1d
🔍Information Retrieval