👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

SmallBu reclaims rights to Baman Piderman, planning new episodes
cartoonbrew.com·18h
🚀Indie Hacking
Writing HTML, Writing the Web, Righting the Web
cogdogblog.com·3d
🚀Indie Hacking
Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·5d
📚Proof Pedagogy
Good Docs Describe, Bad Docs Prescribe
rethinkingsoftware.substack.com·2d·
Discuss: Substack
🔄Language Evolution
Analogs of binomial coefficients
johndcook.com·2d
λLambda Encodings
Reacting to Andrej Karpathy's Talk, "Software Is Changing (Again)"
erdiizgi.com·3d·
Discuss: Hacker News
🔄Language Evolution
Raiders of the Lost Altair Basic Source Code
theregister.com·3d·
Discuss: Hacker News
🎮Game Decompilation
Show HN: UniversalBit – A new binary protocol to connect voice, video and DNA
github.com·2d·
Discuss: Hacker News
👂Audio Evidence
Understanding Naïve Bayes Classifier Using R
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Bounds
Israel intercepts Gaza-bound ship carrying activists and humanitarian aid
lemonde.fr·2h
🏴‍☠️Piracy
Create AWS Diagrams with Python and Q in the CLI
dev.to·2d·
Discuss: DEV
🦋Format Metamorphosis
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·4d
🧠Intelligence Compression
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·3d
⚔️Lean Tactics
How I Got My First Developer Job — And the One Tiny Habit That Helped Big Time
dev.to·8h·
Discuss: DEV
🔩Systems Programming
Invincible Island: 七星聚会
bluerenga.blog·2d
🔲Cellular Automata
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·2d
⚡Proof Automation
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·5d·
Discuss: Hacker News
🔗Concatenative Programming
Vibe Coding: Why You Shouldn't Trust AI-Generated Code in Production
dev.to·2d·
Discuss: DEV
📏Code Metrics
I-CEE: Tailoring Explanations of Image Classification Models to User Expertise
arxiv.org·2d
📊Learned Metrics
DevStash: AI-Powered Developer Knowledge Management with Algolia MCP
dev.to·5h·
Discuss: DEV
🌀Brotli Internals