👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Madhouse: Trolls
bluerenga.blog·18h
📼Retro Games
Flag this post
When Reading the Source Code Is the Real Hack: A Web Challenge Story | v1t CTF
infosecwriteups.com·1d
🔓Hacking
Flag this post
Creating & Combobulating
johnjohnston.info·1d
⟷Bidirectional Programming
Flag this post
FPGA Brings Antique Processor to Life
hackaday.com·2d
🔧FPGA Preservation
Flag this post
Weekly Bookmarks
inkdroid.org·8h
💿FLAC Archaeology
Flag this post
Codeminer42 Dev Weekly #87
blog.codeminer42.com·1d
📏Code Metrics
Flag this post
Claude Code hooks are crazy
augmentedswe.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Goodbye *ibe Coding
ikouchiha47.github.io·13h·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Is this a Monad?
reddit.com·2d·
Discuss: r/rust
🧬Functional Programming
Flag this post
Show HN: 1Pwned
github.com·15h·
Discuss: Hacker News
🎯NTLM Attacks
Flag this post
Programming Languages in the Age of "AI" Agents
alexn.org·2h·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
Building a robust permissions system in TypeScript
xetera.dev·14h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Flag this post
Bridging the Abstraction Gap: Formalizing Complex Systems with AI by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Flag this post
original ↗
danq.me·3d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
How to Secure RabbitMQ & Celery with TLS/SSL
dev.to·54m·
Discuss: DEV
🌐NetworkProtocols
Flag this post
Unlock Infinite Game Worlds: The Power of Automata-Driven Game Logic by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: Anytool – Give your LLM infinite tools with one API
anytoolhq.com·2d·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Flag this post
WTF Is – AI-Native SAST?
parsiya.net·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Python For Exploit Development
dev.to·3h·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Argusee: A Multi-Agent Architecture for Automated Vulnerability Discovery
darknavy.org·23h·
Discuss: Hacker News
✅Archive Fixity
Flag this post