🏛️ Agda

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

Claude Can (Sometimes) Prove It
galois.com·53m·
Discuss: Hacker News
⚔️Lean Tactics
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d
🔗Concatenative Programming
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·20h
🧮Algebraic Datatypes
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·1d
📜Proof Carrying Code
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
⚡Proof Automation
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
λLambda Encodings
System Instruction Fixed Point
funcall.blogspot.com·5h·
Discuss: www.blogger.com
⚡Proof Automation
How to implement the Outbox pattern in Go and Postgres
medium.com·9h·
Discuss: Lobsters
🔐CBOR
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Property-Based Testing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🧮Algebraic Datatypes
Developing trustworthy AI: 9 key threat categories
reversinglabs.com·9h
🎯Threat Hunting
Status Week 37
blogs.gnome.org·1d
📺VT100
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🔤Type Theory
Diving into Spec-Driven Development with GitHub Spec Kit
developer.microsoft.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·7h
🔀Category Theory
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
Your Unit Tests Suck
medium.com·7h·
Discuss: Hacker News
🧪Property-Based Testing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·15h
💻Local LLMs