👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

One year of zizmor
blog.yossarian.net·14h
🗜️Zstandardized Archives
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·2d·
Discuss: Hacker News, r/webdev
🎵Gameboy Sound
Inboxfuscation: Because Rules Are Meant to Be Broken
permiso.io·16h·
Discuss: Hacker News
💣Compression Security
Game Programming Patterns
gameprogrammingpatterns.com·1d
⚖️Game Preservation Ethics
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·20h·
Discuss: r/archlinux, r/linux
🔌Operating system internals
Design Principles of Software: Building Better Systems
dev.to·10h·
Discuss: DEV
🐚Shell Calculus
I Vibe Coded an R Package
jcarroll.com.au·1d·
Discuss: Lobsters, Hacker News
🇯🇵Japanese Computing
Rock, Paper, Scissors Python Tutorial 2025
dev.to·8h·
Discuss: DEV
🎯Proof Tactics
Link Graveyard: A snapshot of my abandoned browser tabs
timkellogg.me·1d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Unreal Engine Coding with Neovim Plugins: Revolutionize Your UE Development Workflow
dev.to·1d·
Discuss: DEV
🔓Open Source Software
Don't Let Your Mocks Mock You
revontulet.dev·1d·
Discuss: Hacker News
🧪Binary Fuzzing
The Graphing Calculator Story
pacifict.com·16h·
Discuss: Hacker News
🍎Apple Computing
Writing effective tools for LLM agents–using LLM agents
anthropic.com·2d·
Discuss: Hacker News
⚡Proof Automation
Deterministic Chaos: Guiding Robots with Predictable Flow Fields
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Warp Code Gets Closer to an Emacs for the Modern AI Era
thenewstack.io·23h
📟Terminals
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·6h·
Discuss: DEV
🏺Protocol Archaeology
Unlocking Restaurant Efficiency: AI-Powered Spatial Coordination for Optimized Operations
dev.to·6h·
Discuss: DEV
📏Range Queries
Automated Performance Evaluation & Remediation in Adaptive Learning Systems
dev.to·15h·
Discuss: DEV
🗺️Competency Maps