👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Unsure About the Future of Windsurf? Try These Alternative Vibe Coding Editors on Linux
itsfoss.com·1d
🔓Open Source Software
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·3h·
Discuss: Substack
⬜Minimalism
pygame/pygame
github.com·3h
🎮Game Decompilation
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·20h·
Discuss: Hacker News
🏛Digital humanities
Perennial Task Just Got More Flexible
arthurdick.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
All the wrong ways to think about AI customer support
mux.com·1d·
Discuss: Hacker News
🏠Homelab Automation
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
💻Programming languages
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Claude Code Replaced My Need for Copilot and Now Writes 95% of My Code
dev.to·6h·
Discuss: DEV
🔩Systems Programming
A code quality battle between 6 AI agents
sourcery.ai·2d·
Discuss: Hacker News
📏Code Metrics
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·22h·
Discuss: Hacker News
🎙️Whisper
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·23h·
Discuss: DEV
🔄Language Evolution
Unpacking Claude’s System Prompt
oreilly.com·2d
🎙️Whisper
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·55m
🧠Neural Compression
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·55m
🧠Machine Learning
Machine Learning Fundamentals: dropout
dev.to·11h·
Discuss: DEV
🌊Stream Processing
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·18h·
Discuss: DEV
🔍Concolic Testing
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.com·11h
🌐WASI