🏛️ 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·11h
🧲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·11h
🧬Bitstream Evolution
DuckDuckGo Donates $25,000 to The Perl and Raku Foundation v2025
perl.com·7h·
Discuss: Hacker News
🔍BitFunnel
Wildfire RFM: Using foundation models to predict wildfires
kumo.ai·46m·
Discuss: Hacker News
💻Local LLMs
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·2d·
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
Qwen Code Leverages Qwen3 as a CLI Agentic Programming Tool
kdnuggets.com·5h
🔓Open Source Software
Zero-Based Numbering
en.wikipedia.org·22h·
Discuss: Hacker News
🔗Concatenative Programming
Dorothy – A dotfile ecosystem: cross-shell, cross-OS, cross-arch
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
3D nesting / 3D Packing
github.com·9h·
Discuss: Hacker News, r/programming
🧮Z3 Applications
Module 3 — Derived Digital Identities and Interoperability
dev.to·16h·
Discuss: DEV
🔐PKI Archaeology
AI-Driven Spectral Deconvolution for Enhanced Protein Quantification in High-Throughput Screening
dev.to·5h·
Discuss: DEV
🌈Spectroscopy
AI CEOs: Can Language Models Lead the Boardroom?
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
An Experiment with AI Assisted Web Development
dev.to·1d·
Discuss: DEV
🌐WASI
Vibe Coding Is Easy? How AI Lets Anyone Code Without the Headaches
dev.to·30m·
Discuss: DEV
⚡Effectful Programming
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