🏛️ Agda

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

A Standard for Human-Centered Investigation Playbooks
chrissanders.org·6h
🎯Threat Hunting
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Threaded Code
muforth.dev·14h·
Discuss: Hacker News
🦀Rust Macros
My AI Workflow for Understanding Any Codebase
steipete.me·14h
⚡Proof Automation
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·16h·
Discuss: Hacker News
🧩WASM Modules
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·16h·
Discuss: Hacker News
🌀Brotli Internals
BNFGen: A random text generator based on context-free grammars
baturin.org·7h·
Discuss: Hacker News
🌳Context free grammars
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·1d
🎯Performance Proofs
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·7h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
daily quizzz
dev.to·11h·
Discuss: DEV
λLambda Encodings
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·21h
🔗Topological Sorting
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
⚙️TLA+