👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Show HN: Procrastination disguised as preparation for moment that exists in futr
turquoise-cicily-87.tiiny.site·6h·
Discuss: Hacker News
⬜Minimalism
LLMs as Context Synthesizers: Why Direct Instructions Don't Work
corewood.io·5h·
Discuss: Hacker News
🤖Lisp Machines
cchistory: Tracking Claude Code System Prompt and Tool Changes
mariozechner.at·2d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·10h·
Discuss: DEV
🚚Data Migration
I've spent 4 months and $800/mo AI bill on Cursor, Claude Code. Later is better?
news.ycombinator.com·17h·
Discuss: Hacker News
⚡Proof Automation
lydiahallie/javascript-questions
github.com·1d
🔗Concatenative Programming
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·1d·
Discuss: Substack
🔲Proof Irrelevance
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·17h·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Red-teaming a RAG app: What happens?
blog.pamelafox.org·7h·
Discuss: www.blogger.com, Hacker News
⚡Proof Automation
Does the Code Work or Not?
towardsdatascience.com·8h
📏Code Metrics
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·1d·
Discuss: Hacker News
⚡gRPC
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·2d·
Discuss: Hacker News
🤝Paxos Consensus
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Onboarding for Coding Agents
fuzzycomputer.com·2d·
Discuss: Hacker News
✨Effect Handlers
How I Use LLMs for Data Harmonization: A Strategic, Limited Approach
rxdatalab.com·5h·
Discuss: Hacker News
🔄Archival Workflows
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Build Your Own AI Agent with MCP: A Developer's Guide to Model Context Protocol
dev.to·7h·
Discuss: DEV
🔌Interface Evolution
MetaExplainer: A Framework to Generate Multi-Type User-Centered Explanations for AI Systems
arxiv.org·20h
✓Automated Theorem Proving
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·5d·
Discuss: Hacker News
🧮Constraint SMT
My Interview with Claude Code
mattlangston.com·1d·
Discuss: Hacker News
🧮Z3 Solver