👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

GitLab Duo Agent Platform Public Beta: Next-gen AI orchestration and more
about.gitlab.com·2d
🔌Interface Evolution
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
A Software for One
jasonthorsness.com·9h·
Discuss: Hacker News
🚀Indie Hacking
Super Performance
cpj.fyi·3h·
Discuss: Hacker News
🔗Data Provenance
Is Generative AI Replacing Junior Developers?
devops.com·17h
💻CS
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·3d·
Discuss: Hacker News, r/programming
🧠Lisp Dialects
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·1d·
Discuss: Hacker News
📏Code Metrics
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.com·3d
🧠Lisp Dialects
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·1d
🧠Machine Learning
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·2d·
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
How to write Rust in the Linux kernel: part 3
lwn.net·10h·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Python Fundamentals: cassandra-driver
dev.to·20h·
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·22h·
Discuss: DEV
🔧Hardware Verification
The Power of Building from Scratch
towardsdatascience.com·2d
🌍Cultural Algorithms
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·1d
🌐Computational Topology