🏛️ Agda

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

Automated Assessment of Data Integrity via Multi-Modal Semantic Graph Analysis
dev.to·6h·
Discuss: DEV
🛡️Archive Verification
Dependent types I › Universes, or types of types
jonmsterling.com·23h·
Discuss: Hacker News
🔤Type Theory
Guessing Game: Haskell Style
entropicthoughts.com·2d
👑Dependent Haskell
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2d·
Discuss: Hacker News
✅Format Verification
Introducing TypeKro
yehudacohen.substack.com·6h·
Discuss: Substack
🏠Homelab Orchestration
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·13h·
Discuss: Hacker News
📏Code Metrics
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·2h
💻Local LLMs
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·18h
🌳Archive Merkle Trees
Learning PostgreSQL Internals
blog.cleverelephant.ca·6h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Python 3.14 Preview: Lazy Annotations
realpython.com·16h
λLambda Formalization
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·10h
🔍Concolic Testing
Capture Checking in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
strongly typed?
dotat.at·4h·
Discuss: Hacker News
🔗Dependently Typed
The Grammar According to West
dwest.web.illinois.edu·16h·
Discuss: Hacker News
🔬Lean
AI Agents Can Talk, But Can We Trust Them?
thenewstack.io·9h
🌳Archive Merkle Trees
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Deep dive into Mojo object initialization
connorgray.com·13h·
Discuss: Hacker News
🦀Rust Borrowing
Structural vs. Mathematical “Under” (2023)
dyalog.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus