👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Reading List 07/26/25
construction-physics.com·1h
🖥️Modern Terminals
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·4d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
I wrote the worlds worst emulator to reverse engineer the c64 Bubble Bobble RNG
geon.github.io·1d·
Discuss: r/programming
🎮Gameboy Emulation
Monads as Graphs (2019)
neilmitchell.blogspot.com·3d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Startup Security Stories: It Was Like Ransomware, but Legal
inocula.novacove.ai·21h·
Discuss: Hacker News
🔓Hacking
I adapted my film into a text-based adventure
kubicki.org·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Using Claude Code as a Personal Tutor
jimmymeetsworld.com·4d·
Discuss: Hacker News
🌳Incremental Parsing
Using Fortune to Reinforce Habits
judy.co.uk·21h·
Discuss: Lobsters, Hacker News
🪟Awesome windows command-line
Scaling Netflix's threat detection pipelines without streaming
blog.dataexpert.io·16h·
Discuss: Hacker News
🌊Streaming Systems
Extreme sports, an FPS from former Blizzard devs and other new indie games worth checking out
engadget.com·2h
📺Retrogaming
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·3d·
Discuss: Hacker News
🔗Hypermedia APIs
Some Thoughts on "Agentic DevOps", AIOps, and Vibe Coding
redmonk.com·47m·
Discuss: Hacker News
💾Persistence Strategies
mchav/dataframe
github.com·5d
🧠Lisp Dialects
Episode 6: How I Discovered LDAP Injection and Why It Matters (Even If You’re Not a Hacker)
infosecwriteups.com·6h
🔓LDAP Injection
Agentic AI framework for End-to-End Medical Data Inference
arxiv.org·1d
🧠Machine Learning
🚀 Building with Bolt: From Idea to Reality in 48 Hours
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Patching your Homebrew's Emacs Plus (macOS)
xenodium.com·3d
🍎XNU Internals
Designing Smart Multi-Agent Workflows with Agno & LangDB
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Why Python is Still the Best Programming Language to Learn in 2025
dev.to·22h·
Discuss: DEV
📝Concrete Syntax
**Production-Ready Python Web Scraping: Advanced Techniques for Dynamic Sites and Data Collection**
dev.to·3d·
Discuss: DEV
🕵️Feed Discovery