🏛️ Agda

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

Structural vs. Mathematical “Under” (2023)
dyalog.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Spectrum – catching clojure.spec conform errors at compile time
github.com·10h·
Discuss: Hacker News
🔗Functional Compilers
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·11h
⚙️Operating System Design
Noom's Tech Evaluation: Top AI Mobile Test Automation Tools (August 2025)
mobileboost.io·12h·
Discuss: Hacker News
🔍Concolic Testing
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔗Functional Compilers
Understanding Tool-Integrated Reasoning
arxiv.org·23h
🔗Constraint Handling
What the interns have wrought, 2025 edition
blog.janestreet.com·1d
🦀Rusty Databases
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
The Lobster Programming Language
strlen.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·14h·
Discuss: Hacker News
🔗Concatenative Programming
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·8h·
Discuss: Hacker News
🔍Information Retrieval
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·9h·
Discuss: Substack
🏗️Compiler Archaeology
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Model Merging – A Biased Overview
crisostomi.github.io·10h·
Discuss: Hacker News
🔲Cellular Automata
Implementing Forth in Go and C
eli.thegreenplace.net·23h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Inside Zig's New Writer
joegm.github.io·12h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Trying to get error backtraces in rust libraries right
iroh.computer·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·15h
⚡Proof Automation