🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

How the Lean language brings math to coding and coding to math
amazon.science·23h·
Discuss: Hacker News
🔬Lean
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
AI can write code, but should you trust it blindly?
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·10h
📜Proof Carrying Code
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·1h·
Discuss: Hacker News
⚡Proof Automation
The Amaranth hardware description language
amaranth-lang.org·13h·
Discuss: Hacker News
🔍FPGA Verification
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·17h
🔗Functional Compilers
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·13h
📊Static Analysis
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·20h
✨Algebraic Effects
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·1h
🧪Property-Based Testing
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Portkey Fortifies Its AI Gateway with the Prisma AIRS Platform
paloaltonetworks.com·4h
📦Container Security
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·17h
🔗Functional Compilers
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·3h·
Discuss: Hacker News
🌐Protocol Synthesis
AI and the 10x Engineer Myth
taoofmac.com·9h
⚡Proof Automation