👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Double Maths First Thing: Issue 2D
aperiodical.com·1d
📐Mathematical Art
API Auth Is Deeper Than It Looks
nango.dev·16h·
Discuss: Hacker News
🔌Interface Evolution
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·3d
🌐DNS Security
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Why Hoon?
docs.urbit.org·3d·
Discuss: Hacker News
🐚Bash Monads
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·13h
⚔️Lean Tactics
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·17h·
Discuss: DEV
🧭Content Discovery
How and where will agents ship software?
instantdb.com·14h·
Discuss: Hacker News
🌊Streaming Systems
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·2d
📝ABNF Parsing
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
What is the Best Coding Agent?
dolthub.com·2d·
Discuss: Hacker News
⚡Proof Automation
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.com·13h
🔄Archival Workflows
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·4h
🤐Secure Multiparty
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·4h
🕸️Algebraic Topology
Outlearn, Outwrite, Outwork: The AI Advantage You’re Missing
dev.to·20h·
Discuss: DEV
🧠Intelligence Compression
VoTranhAbyssCore: An AI Oracle Mapping the Entropic Pathway to Systemic Collapse
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·18h·
Discuss: Hacker News
🦀Rust Borrowing
Agent Memory with Spring AI & Redis
dev.to·12h·
Discuss: DEV
⚡Redis Internals
Is AI the end of coding as we know it, or just another tool?
aha.io·1d·
Discuss: Hacker News
🔄Language Evolution