👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Blender at SIGGRAPH 2025
blender.org·2d
🎬WebCodecs
The Protein Boom
nytimes.com·7h
📡RSS Readers
Attention Machines and Future Politics
jacmullen.substack.com·7h·
Discuss: Substack
🧲Magnetic Philosophy
Mammalian Cell Evolution Machine May Bring New Vaccines
spectrum.ieee.org·5h·
Discuss: Hacker News
🧬Copy Number Variants
English Writes Numbers Backwards
turntrout.com·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·1d
🎙️Whisper
Software Sprawl, the Golden Path, and Scaling Teams with Agency
charity.wtf·3d·
Discuss: Hacker News
🦋Format Evolution
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·4d·
Discuss: r/LocalLLaMA
🔒Linear Types
Open-Source AI in New US Policy: What This Means for Linux
linuxblog.io·6h·
Discuss: r/linux
🏠Homelab Federation
Show HN: Brain-rot Factory – Italian meme characters powered by AI (Next.js 15)
brain-rot-factory.vercel.app·5d·
Discuss: Hacker News
🌍Cultural Algorithms
How can I avoid scams when buying a Binance account?
dev.to·1d·
Discuss: DEV
✅Checksum Validation
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·5d·
Discuss: Hacker News
🔍Concolic Testing
Maybe AI Isn't Going to Replace You at Work After All
charleshughsmith.substack.com·3d·
Discuss: Substack
⚡Proof Automation
Editor Code Assistant (ECA)
github.com·2d·
Discuss: Hacker News
📐Proof Assistants
🍕 Is Kimi K2 Actually Better Than Claude Sonnet 4 for Coding? ✨🤔
dev.to·4d·
Discuss: DEV
🎬WebCodecs API
E-Commerce System Powered by Redis: Beyond the Cache
dev.to·1d·
Discuss: DEV
⚡Redis Internals
From Chaos to Control: How We Built Classent to Transform Car Wash Operations with Bolt
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Machine Learning Fundamentals: hyperparameter tuning
dev.to·1d·
Discuss: DEV
📊Feed Optimization
🚀 Just discovered this 30-second productivity hack:
dev.to·11h·
Discuss: DEV
🔍BitFunnel
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·4d
🧠Intelligence Compression