👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com·3d·
Discuss: Hacker News
🔄Language Evolution
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·1d
🎙️Whisper
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
🔒Type Safety
As AI Gets Smarter, It Acts More Evil
honest-broker.com·25m·
Discuss: Hacker News
🔲Cellular Automata
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·4d·
Discuss: r/LocalLLaMA
🔒Linear Types
Agentic AI Threat Modeling Framework: Maestro
cloudsecurityalliance.org·3d·
Discuss: Hacker News
🎯Threat Hunting
A Phenomenological Approach to the Philosophy of Meaning in Life
link.springer.com·6h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Open-Source AI in New US Policy: What This Means for Linux
linuxblog.io·9h·
Discuss: r/linux
🏠Homelab Federation
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·5d·
Discuss: Hacker News
🔍Concolic Testing
Thinking Machines and the Second Wave: Why $2B Says Everything About AI's Future
decodingdiscontinuity.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Best queue choice for low latency systems
reddit.com·10h·
Discuss: r/golang
🌊Streaming Systems
Google AI Agent Bake-Off: Episode 1
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
SnippetSearch: Code Snippets Discovery Engine for Developers
dev.to·2d·
Discuss: DEV
🔍BitFunnel
I created a solution for AWS called Anomaly Guardian
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
I built a Supercharged PDFs-ChatBot with LangChain and Streamlit, and you can too!
dev.to·3d·
Discuss: DEV
🎙️Whisper
Show HN: Zbench, RAG evals using chess Elo ratings
github.com·3d·
Discuss: Hacker News
🔍Information Retrieval
Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems
arxiv.org·2d
✨Algebraic Effects
Python 3.14.0rc1
python.org·4d·
Discuss: Hacker News
📚Lempel-Ziv
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