👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.com·1d
🕵️Vector Smuggling
Flag this post
Composer Patches 2.0.0
cweagans.net·23h·
Discuss: Hacker News
📦Package Managers
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·19h·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
Magisterium
isaacbowen.com·21h·
Discuss: Hacker News
✨Algebraic Effects
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·3h·
Discuss: DEV
🗄️Database Internals
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·13h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
AI AGENT INTEGRATION WITH MASTRA AND TELEX.IM
dev.to·8h·
Discuss: DEV
⚙️TLA+
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
AI Prompts That Create Human Connection
lightcapai.medium.com·1d·
Discuss: Hacker News
🎙️Whisper
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·4d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🌐WASI
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·8h·
Discuss: DEV
📜Digital Philology
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·12h·
Discuss: DEV
🤖Archive Automation
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1h·
Discuss: Substack
🌊Stream Processing
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·19h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·21h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·21h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·2d
💻Programming languages
Flag this post