🏛️ Isabelle HOL

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

Claude can now reference past chats, if you want it to
engadget.com·2h
🌳Incremental Parsing
Fix your port numbers for dev servers
rollc.at·11h·
Discuss: Hacker News
🔀CRDT
Wikimedia Foundation Challenges UK Online Safety Act Regulations
wikimediafoundation.org·10h·
Discuss: Hacker News
🏛Wikidata
How to Use Antlr Pattern Matching
tomassetti.me·3d·
Discuss: Hacker News
🔍Z3 Parsing
Nonlinear response of gyroid infills for prediction of effective yield strength
link.springer.com·1d·
Discuss: Hacker News
🌐Computational Topology
Running a Reliable Service on LLMs
fin.ai·2d·
Discuss: Hacker News
🌊Streaming Systems
On the Value of Abstractions
cekrem.github.io·4d·
Discuss: Hacker News, r/programming, r/webdev
🐚Shell Monads
Exploring AI Memory Architectures (Part 3): From Prototype to Blueprint
blog.lqhl.me·1d·
Discuss: Hacker News
📼Tape Combinators
AI Art Resources
jonathandinu.com·3d·
Discuss: Hacker News
🎧Learned Audio
Even online, body language in court still matters
phys.org·3h
🏛Digital humanities
Show HN: I built an open-source workout tracker app in 4 days with Claude Code
github.com·3h·
Discuss: Hacker News
🍎Apple Archive
Automated Multi-Metric Scoring System for Serum Amyloid A (SAA) Isoform Profiling in Acute Inflammation
dev.to·1d·
Discuss: DEV
🤖Archive Automation
BetterReviews : Discover smarter product insights through combined AI and human reviews
dev.to·1d·
Discuss: DEV
🤖AI Curation
🚀 MentorMatch AI – Real-Time Mentor–Mentee Matching with Redis 8
dev.to·1d·
Discuss: DEV
⚖️Feed Ranking
GPT-5: The Next Chapter in Generative AI
dev.to·3d·
Discuss: DEV
⚡Proof Automation
GPT-5 vs GPT-4: A very detailed coding comparison 🤖
dev.to·1d·
Discuss: DEV
📏Code Metrics
Vertalk — Real-Time AI Call Agent Powered by Redis 8
dev.to·18h·
Discuss: DEV
🌊Streaming Systems
Where MCP falls short: data integration in the AI world
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Complexity
Ask r/kubernetes: What are you working on this week?
reddit.com·13h·
Discuss: r/kubernetes
🔩Systems Programming
The Cost of AI’s Speed Addiction: Why Generative AI Risks Collapsing Software Engineering
dev.to·3h·
Discuss: DEV
⚙️Proof Engineering