🏛️ 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·9h
🧲Magnetic Philosophy
Wind of change (or maybe not)
crystal-lang.org·2d
⚡Incremental Computation
DuckDuckGo Donates $25,000 to The Perl and Raku Foundation v2025
perl.com·5h·
Discuss: Hacker News
🔍BitFunnel
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
Qwen Code Leverages Qwen3 as a CLI Agentic Programming Tool
kdnuggets.com·3h
🔓Open Source Software
Zero-Based Numbering
en.wikipedia.org·19h·
Discuss: Hacker News
🔗Concatenative Programming
original ↗
serce.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Topological Sorting
3D nesting / 3D Packing
github.com·7h·
Discuss: Hacker News, r/programming
🧮Z3 Applications
Module 3 — Derived Digital Identities and Interoperability
dev.to·14h·
Discuss: DEV
🔐PKI Archaeology
LifeCLEF Plant Identification Task 2014
arxiv.org·1d
📄OCR
AI-Driven Spectral Deconvolution for Enhanced Protein Quantification in High-Throughput Screening
dev.to·3h·
Discuss: DEV
🌈Spectroscopy
AI CEOs: Can Language Models Lead the Boardroom?
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
An Experiment with AI Assisted Web Development
dev.to·1d·
Discuss: DEV
🌐WASI
How I Built a Private, Multi-User “Chat with Your Documents” App That Runs 100% Offline
dev.to·22h·
Discuss: DEV
🤖Archive Automation
Dynamic Experts Search: Enhancing Reasoning in Mixture-of-Experts LLMs at Test Time
arxiv.org·2d
✓Automated Theorem Proving
GeoSketch: A Neural-Symbolic Approach to Geometric Multimodal Reasoning with Auxiliary Line Construction and Affine Transformation
arxiv.org·2d
🌀Differential Geometry
AdaThink-Med: Medical Adaptive Thinking with Uncertainty-Guided Length Calibration
arxiv.org·1d
⚡Incremental Computation
FS-KAN: Permutation Equivariant Kolmogorov-Arnold Networks via Function Sharing
arxiv.org·1d
🧬Functional Programming
Beyond Isolated Facts: Synthesizing Narrative and Grounded Supervision for VideoQA
arxiv.org·1d
📊Learned Metrics