👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
One year of zizmor
blog.yossarian.net·17h
🗜️Zstandardized Archives
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·3h
📼Cassette Linguistics
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·2d·
Discuss: Hacker News, r/webdev
🎵Gameboy Sound
Game Programming Patterns
gameprogrammingpatterns.com·1d
⚖️Game Preservation Ethics
Enabling Self-Correcting AI Agents Through Autonomous Integration Testing
metalbear.com·5d·
Discuss: r/devops
🏠Homelab Pentesting
The Graphing Calculator Story
pacifict.com·19h·
Discuss: Hacker News
🍎Apple Computing
I built a fitness app via spec coding with Kiro
devblac.github.io·1h·
Discuss: Hacker News
📏Code Metrics
Unlock General AI: Democratizing Complex Reasoning with Relational Reinforcement Learning by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Introducing llms.txt — AI Transparency for the Iris Web Framework
dev.to·1d·
Discuss: DEV
🔄Language Evolution
I Created a Messenger That Doesn't Send Any Data. Here's How It Works. 💫
dev.to·9h·
Discuss: DEV
🏺Protocol Archaeology
Building a Neural Network RPG with AI: A Solo Developer's Multi-Session Journey
dev.to·22h·
Discuss: DEV
⚡Homebrew CPUs
Unlocking Restaurant Efficiency: AI-Powered Spatial Coordination for Optimized Operations
dev.to·9h·
Discuss: DEV
📏Range Queries
NanoGem Nail Art Studio 💅🏻
dev.to·1h·
Discuss: DEV
⚡Homebrew CPUs
Teaching AI to Blog: My Journey into Agentic AI Development — Part 2
dev.to·3h·
Discuss: DEV
🏛Digital humanities
AI Unleashed: Secure LLM Inference for Everyone
dev.to·1h·
Discuss: DEV
💻Local LLMs
Automated Performance Evaluation & Remediation in Adaptive Learning Systems
dev.to·18h·
Discuss: DEV
🗺️Competency Maps
Show HN: ForkLaunch framework: Upgrading Express with a fully typed DSL
github.com·2h·
Discuss: Hacker News
🔌Interface Evolution
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4d·
Discuss: Hacker News
🐚Shell Automation
I Taught an AI to Use Git So I Wouldn't Have to Fear It Anymore
dev.to·6h·
Discuss: DEV
⚔️Lean Tactics