🏛️ 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·5h
🧲Magnetic Philosophy
Wind of change (or maybe not)
crystal-lang.org·2d
⚡Incremental Computation
Why ZK Proving Markets Keep Failing: The Termination Trap
blockrotator.substack.com·3d·
Discuss: Substack
⚙️Proof Engineering
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
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·1d·
Discuss: Hacker News
🌳Persistent Data Structures
I Tried Htmx
bytecron.me·1d·
Discuss: Hacker News
📰RSS Feed Discovery
Zero-Based Numbering
en.wikipedia.org·15h·
Discuss: Hacker News
🔗Concatenative Programming
original ↗
serce.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Topological Sorting
Module 3 — Derived Digital Identities and Interoperability
dev.to·9h·
Discuss: DEV
🔐PKI Archaeology
Show HN: Cypress Copilot
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
The AI Trustworthiness Pareto: Balancing Compression, Accuracy, and Identifiability by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🧠Intelligence Compression
LifeCLEF Plant Identification Task 2014
arxiv.org·1d
📄OCR
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·3d·
Discuss: DEV
🎯Proof Tactics
What Drives Paper Acceptance? A Process-Centric Analysis of Modern Peer Review
arxiv.org·9h
🎯Recommendation Metrics
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
An Experiment with AI Assisted Web Development
dev.to·1d·
Discuss: DEV
🌐WASI
Beyond Overall Accuracy: A Psychometric Deep Dive into the Topic-Specific Medical Capabilities of 80 Large Language Models
arxiv.org·1d
🔍Information Retrieval
Enhancing PINN Performance Through Lie Symmetry Group
arxiv.org·9h
📐Linear Algebra