👑 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·1d
🗜️Zstandardized Archives
Truth, Humility and Human & AI Incentives
zappable.com·3h
🔲Proof Irrelevance
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·16h
📼Cassette Linguistics
Game Programming Patterns
gameprogrammingpatterns.com·2d
⚖️Game Preservation Ethics
Show HN: I made an app that turns scripts to videos in minutes
kliptory.com·42m·
Discuss: Hacker News
🗜️LZW Variants
Enabling Self-Correcting AI Agents Through Autonomous Integration Testing
metalbear.com·5d·
Discuss: r/devops
🏠Homelab Pentesting
The Graphing Calculator Story
pacifict.com·1d·
Discuss: Hacker News
🍎Apple Computing
Resources for Go Compiler
reddit.com·3d·
Discuss: r/golang
📜Proof Carrying Code
How Kiro Changed the Way I Approach Development
dev.to·5h·
Discuss: DEV
🦋Format Metamorphosis
Building High-Performance Caching in Go: A Practical Guide
dev.to·5h·
Discuss: DEV
💨Cache Optimization
Agile Documentation
medium.com·1d·
Discuss: Hacker News
🔄Language Evolution
AI-Tutor-AI-Learning-Companion with kiro
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Generating Individual Travel Diaries Using Large Language Models Informed by Census and Land-Use Data
arxiv.org·2h
🎙️Whisper
PyMax: Unleash the Power of Max Messenger with This Async Python Wrapper!
dev.to·16h·
Discuss: DEV
🔌Interface Evolution
Level Up Your Sprints: How I'm Using AI to Plan Like a Boss
dev.to·21h·
Discuss: DEV
📊Feed Optimization
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·4d
📝ABNF Parsing
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·22h·
Discuss: DEV
🌐WASI
Hidden Realms: AI-Powered Find the Hidden Objects Game
dev.to·2h·
Discuss: DEV
🎯Emulator Accuracy
This AI Is a Better Geography Teacher Than Most Humans.
dev.to·1d·
Discuss: DEV
🎙️Whisper