Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
👑Coq Tactics
Flag this post
Lessons from the Vibe Coding Trenches
👑Isabelle
Flag this post
Codeminer42 Dev Weekly #86
blog.codeminer42.com·9h
🎯Gradual Typing
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
⚡Proof Automation
Flag this post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·22h
🌐NetworkProtocols
Flag this post
Exceptions in Cranelift and Wasmtime
🔒Linear Types
Flag this post
How to turn Defender & Sentinel alerts into actionable threat intelligence
vmray.com·6h
🎯Threat Hunting
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
✅Formal Methods
Flag this post
APPLE-SA-11-03-2025-9 Xcode 26.1
seclists.org·8h
✅Format Verification
Flag this post
Code research projects with async coding agents like Claude Code and Codex
🦀Rust Macros
Flag this post
Creating Lisp Systems
🔗Lisp
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🔐Homomorphic Encryption
Flag this post
Announcing User Simulation in ADK Evaluation
developers.googleblog.com·5h
🐛Fuzzing
Flag this post
Announcing Magika 1.0: now faster, smarter, and rebuilt in Rust
blogger.com·1d
🦀Rust Macros
Flag this post
Spinning Plates
🔩Systems Programming
Flag this post
How to Choose a Dependency: Build vs Buy, Risk Management, and More
hackernoon.com·7h
🔗Topological Sorting
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·3d
📝Concrete Syntax
Flag this post
Loading...Loading more...