🏛️ Isabelle HOL

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

Hataraku Chocobo (Wonderswan Color)
lunaticobscurity.blogspot.com·2h·
Discuss: lunaticobscurity.blogspot.com
🔲Cellular Automata
Visualizing TCP
research.swtch.com·29m·
Discuss: Hacker News
📡Network Archaeology
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·3d·
Discuss: r/LocalLLaMA
🔒Linear Types
AI Is Power-Hungry
intelligent-people.org·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Finding the shape of my thoughts
sachachua.com·2d·
Discuss: Hacker News
🌱Personal Wikis
The app I never launched
asad.pw·14h·
Discuss: Hacker News
🚀Indie Hacking
Claude Code Tips and Tricks
vinh.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
Why I Do Programming
esafev.com·16h·
Discuss: Hacker News
🔩Systems Programming
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com·2d·
Discuss: Hacker News
🔌Interface Evolution
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com·2d·
Discuss: Hacker News, Hacker News
⚡Proof Automation
AI setup wizard for installing packages into the codebase
github.com·5h·
Discuss: Hacker News
📦Package Managers
Maybe (personal finance app) v0.6.0, post-mortem
github.com·1d·
Discuss: Hacker News
🔍BitFunnel
Introducing Flask-Nova: Zero-Boilerplate APIs with Docs & Type Safety
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Does Vibe Coding Produce Adequate Documentation and Code Comments?
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Harnessing RLHF for Robust Unanswerability Recognition and Trustworthy Response Generation in LLMs
arxiv.org·2d
💻Local LLMs
Decoding Instructional Dialogue: Human-AI Collaborative Analysis of Teacher Use of AI Tool at Scale
arxiv.org·1d
🗺️Competency Maps
Are We Entering the Era of Agentic AI? Beyond Gen Models
dev.to·10h·
Discuss: DEV
🌊Stream Processing
✨ A Small Update: RAG Pitfalls, Unexpected Endorsement, and That Feeling of Fighting Ghosts with FAISS
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
🍕 Is Kimi K2 Actually Better Than Claude Sonnet 4 for Coding? ✨🤔
dev.to·3d·
Discuss: DEV
🎬WebCodecs API
Machine Learning Fundamentals: gradient descent example
dev.to·2d·
Discuss: DEV
⚡Incremental Computation