👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·3d
🔤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·13h·
Discuss: Hacker News
💣Compression Security
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·18h·
Discuss: r/archlinux, r/linux
🔌Operating system internals
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
The future of microoptimization
goldenstack.net·1d·
Discuss: Hacker News
🧮Compute Optimization
Many hard LeetCode problems are easy constraint problems
dev.to·23h·
Discuss: DEV
🎯Performance Proofs
Lobsters Interview with Susam
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Programming
Game Programming Patterns
gameprogrammingpatterns.com·1d
⚖️Game Preservation Ethics
Crystal Vision AI
dev.to·2h·
Discuss: DEV
🌈Color Archaeology
I Vibe Coded an R Package
jcarroll.com.au·1d·
Discuss: Lobsters, Hacker News
🇯🇵Japanese Computing
Design Principles of Software: Building Better Systems
dev.to·8h·
Discuss: DEV
🐚Shell Calculus
Rating 26 years of Java changes
neilmadden.blog·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
original ↗
raymondcamden.com·2d·
Discuss: Hacker News
📄PostScript
Don't vibe code (any of) your config
augmentedswe.com·22h·
Discuss: Hacker News
🔓Hacking
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·2d·
Discuss: Hacker News
🔄Language Evolution
Enabling Self-Correcting AI Agents Through Autonomous Integration Testing
metalbear.com·5d·
Discuss: r/devops
🏠Homelab Pentesting
Rock, Paper, Scissors Python Tutorial 2025
dev.to·5h·
Discuss: DEV
🎯Proof Tactics
Automated Performance Evaluation & Remediation in Adaptive Learning Systems
dev.to·12h·
Discuss: DEV
🗺️Competency Maps
Unreal Engine Coding with Neovim Plugins: Revolutionize Your UE Development Workflow
dev.to·23h·
Discuss: DEV
🔓Open Source Software