👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

GitLab Duo Agent Platform Public Beta: Next-gen AI orchestration and more
about.gitlab.com·1d
🔌Interface Evolution
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
MCP: Bringing mashups back!
blog.pamelafox.org·8h·
Discuss: www.blogger.com, Hacker News
🔌Interface Evolution
Is Generative AI Replacing Junior Developers?
devops.com·7h
💻CS
You Are in a Box
jyn.dev·4d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·1d·
Discuss: Hacker News
📏Code Metrics
A code quality battle between 6 AI agents
sourcery.ai·3d·
Discuss: Hacker News
📏Code Metrics
Idea: "codetochat.com"–An AI tool to help developers understand legacy codebases
news.ycombinator.com·7h·
Discuss: Hacker News
📏Code Metrics
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·1d·
Discuss: DEV
🔄Language Evolution
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.com·2d
🧠Lisp Dialects
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·18h
🧠Neural Compression
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·18h
🧠Machine Learning
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·3d·
Discuss: DEV
🌐NetworkProtocols
Hazel: A live functional programming environment with typed holes
github.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Python Fundamentals: cassandra-driver
dev.to·10h·
Discuss: DEV
🔀CRDT
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·3d·
Discuss: Hacker News
🔐CBOR
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.to·12h·
Discuss: DEV
🔧Hardware Verification