👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

The long, knotty, world-spanning story of string
hakaimagazine.com·5h·
Discuss: Hacker News
📡Network Archaeology
Remembering Descent, the once-popular, fully 3D 6DOF shooter
arstechnica.com·7h·
Discuss: Hacker News
🖥️Terminal Renaissance
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io·10h·
Discuss: Hacker News
🔧Binary Parsers
What Is a Terminal?
wezterm.org·1d·
Discuss: Hacker News
📟Terminals
Never write your own Date Parsing Library
zachleat.com·1d·
Discuss: Hacker News
✅Format Verification
Performance of Threads vs. Processes
medium.com·5h·
Discuss: Hacker News
⚡Performance Tools
Template for evaluating vibe coding in an enterprise
builder.io·8h·
Discuss: Hacker News
📏Code Metrics
Benchmarks for AI in Software Engineering
cacm.acm.org·1d·
Discuss: Hacker News
📏Code Metrics
Designing for humans: Why most enterprise adoptions of AI fail
cio.com·12h·
Discuss: Hacker News
🌍Cultural Algorithms
The magic wand that solves agent memory
news.ycombinator.com·12h·
Discuss: Hacker News
💾Persistence Strategies
DeepMind and OpenAI achieve IMO Gold. What does it all mean?
garymarcus.substack.com·3d·
Discuss: Substack
🧮SMT Solvers
Show HN: Boreal.chat, an open AI chat platform, fast, and reliable
github.com·1d·
Discuss: Hacker News
📰RSS Archaeology
A Simple WordPress Plugin to (Hopefully) Boost AI Search Visibility: Summary with AI Share Buttons
dev.to·7h·
Discuss: DEV
⚖️Feed Ranking
Complete Hummingbot Arbitrage Usage Guide
dev.to·2d·
Discuss: DEV
⚡Hardware Transactional Memory
Creating agentic users, not just agentic AI
github.com·2d·
Discuss: Hacker News
🌍Cultural Algorithms
Self-Contradiction as Self-Improvement: Mitigating the Generation-Understanding Gap in MLLMs
arxiv.org·2d
💻Local LLMs
HypoChainer: A Collaborative System Combining LLMs and Knowledge Graphs for Hypothesis-Driven Scientific Discovery
arxiv.org·1d
🕸️Knowledge Graphs
There is no memory safety without thread safety
ralfj.de·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🔒Type Safety
🚀 The Latest in AI: What's New in 2025?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·22h
🔗Tailscale