👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Debcraft – Easiest way to modify and build Debian packages
optimizedbyotto.com·21h·
Discuss: Hacker News
📦Package Managers
Hack, Hacky, Hacker
aneeshsathe.com·1d·
Discuss: Hacker News
🔓Hacking
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·2d·
Discuss: Hacker News
🔓Hacking
The New Surprising Number of Steam Games That Use GenAI
totallyhuman.io·1d·
Discuss: Hacker News, r/TwoBestFriendsPlay
📼Retro Games
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·9h·
Discuss: Hacker News
💻Local LLMs
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·4d
📜Proof Carrying Code
How to Perform the Principal Component Analysis in R
dev.to·2h·
Discuss: DEV
📐Vector Dimensionality
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·2d·
Discuss: Hacker News
🔗Constraint Handling
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·4h·
Discuss: Hacker News
📝Text Compression
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·2d
🔌Interface Evolution
Machine Learning Fundamentals: dropout example
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Jules - The AI Agent I'd Happily Delegate My Least Favorite Tasks To
dev.to·4d·
Discuss: DEV
⚡Proof Automation
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·4d·
Discuss: DEV
⚙️Build Archaeology
My favorite use-case for AI is writing logs
vickiboykis.com·3d
🌳Incremental Parsing
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·1d·
Discuss: DEV
⚡SIMD Optimization
Janet Feature Demos
github.com·3d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
How Anyone Can Build AI Agents Without Writing Code
dev.to·1d·
Discuss: DEV
⚡Proof Automation
How Kiro Transformed My Vibe Coding into Structured, Production-Ready Development
dev.to·21h·
Discuss: DEV
🧱Immutable Infrastructure
Congrats to the Runner H "AI Agent Prompting" Challenge Winners!
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.to·4d·
Discuss: DEV
🤖Network Automation