👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

pygame/pygame
github.com·11h
🎮Game Decompilation
Show HN: Indiehacker Portfolio
adityamallah.com·1d·
Discuss: Hacker News
🌊Stream Processing
All the wrong ways to think about AI customer support
mux.com·1d·
Discuss: Hacker News
🏠Homelab Automation
ChatGPT agent might be a big deal
augmentedswe.com·10h·
Discuss: Hacker News
🖥️Terminal Renaissance
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
A code quality battle between 6 AI agents
sourcery.ai·3d·
Discuss: Hacker News
📏Code Metrics
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Unpacking Claude’s System Prompt
oreilly.com·3d
🎙️Whisper
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·8h
🧠Neural Compression
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·8h
🧠Machine Learning
Machine Learning Fundamentals: dropout
dev.to·19h·
Discuss: DEV
🌊Stream Processing
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.com·2h·
Discuss: Hacker News
🔄Sync Engine
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.com·19h
🌐WASI
Show HN: Fluent-state: a new fresh take on local React state
github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.to·2h·
Discuss: DEV
🔧Hardware Verification
The Power of Building from Scratch
towardsdatascience.com·1d
🌍Cultural Algorithms
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·8h
🌐Computational Topology