🏛️ Isabelle HOL

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

Wind of change (or maybe not)
crystal-lang.org·1d
⚡Incremental Computation
Why ZK Proving Markets Keep Failing: The Termination Trap
blockrotator.substack.com·2d·
Discuss: Substack
⚙️Proof Engineering
My (concurrency) Wishlist for Xcode 27
iamkonstantin.eu·1d·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·1d·
Discuss: Hacker News
📡RSS Automation
Announcing our $87M Series B
modal.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
I Tried Htmx
bytecron.me·23h·
Discuss: Hacker News
📰RSS Feed Discovery
0x5f3759df
h14s.p5r.org·22h·
Discuss: Hacker News
📐Interval Arithmetic
original ↗
serce.me·21h·
Discuss: Lobsters, Hacker News, r/programming
🔗Topological Sorting
I Tried Kombai in My IDE: Here’s Why It Outperforms Cursor, Claude, and Copilot for Frontend
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Design Patterns Emerging From Multi-Agent AI Systems
dev.to·16h·
Discuss: DEV
🎯Threat Hunting
The Quiet Revolution in Our Code: How AI is Becoming Our Partner, Not Our Replacement
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Towards Minimal Causal Representations for Human Multimodal Language Understanding
arxiv.org·1d
🧠Machine Learning
Dual Mechanisms of Value Expression: Intrinsic vs. Prompted Values in LLMs
arxiv.org·17h
💻Programming languages
Can Large Language Models Express Uncertainty Like Human?
arxiv.org·17h
🧠Intelligence Compression
Beyond Game Theory Optimal: Profit-Maximizing Poker Agents for No-Limit Holdem
arxiv.org·17h
🔲Cellular Automata
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.org·17h
🔗Parser Combinators
Show HN: Cypress Copilot
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
SBFA: Single Sneaky Bit Flip Attack to Break Large Language Models
arxiv.org·1d
🧪Binary Fuzzing
Self-Speculative Biased Decoding for Faster Live Translation
arxiv.org·1d
🧮Kolmogorov Complexity
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
arxiv.org·17h
✓Automated Theorem Proving