🏛️ Agda

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

The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
AI assistance in Development
dev.to·15h·
Discuss: DEV
🔌Interface Evolution
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
YASA (Yet Another Static Analyzer)
github.com·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.to·2d·
Discuss: DEV
🔤Type Theory
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Is Spec-Driven Development Key for Infrastructure Automation?
thenewstack.io·1d
⚙️TLA+
Flag this post
When AI Goes Wrong
whenaifail.com·21h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·9h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·16h·
Discuss: Hacker News
💧Liquid Types
Flag this post