🏛️ Agda

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

A Standard for Human-Centered Investigation Playbooks
chrissanders.org·15h
🎯Threat Hunting
GenAI paradox: exploring AI use cases | McKinsey
mckinsey.com·4h
🔲Cellular Automata
abhisheksr01/spring-boot-microservice-best-practices
github.com·8h
🌊Streaming Systems
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·1d·
Discuss: Hacker News
🧩WASM Modules
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
⚙️TLA+
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·2h·
Discuss: DEV
🔢Bitwise Algorithms
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·1d
🔗Hash Chains
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·2h
💧Liquid Types
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·6h
🔍BitFunnel
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·6h
⚙️Compression Benchmarking
daily quizzz
dev.to·21h·
Discuss: DEV
λLambda Encodings
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·6h
📐Error Bounds
The TDD + AI Revolution: How Systematic Refactoring Beats the "Move Fast and Break Things" Mentality
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·6h
🧠Machine Learning