🏛️ Agda

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

A Harris Matrix Generator & Natural Language Query Tool
electricarchaeology.ca·8h
🤖Paleographic ML
The Case for Compact AI
cacm.acm.org·1d
🎵Audio ML
From Generative AI to AGI: Are We Teaching Machines to Think?
hackernoon.com·3h
🔲Cellular Automata
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·3d·
Discuss: Lobsters, Hacker News
🦀Embedded Rust
How to scale RL to 10^26 FLOPs
blog.jxmo.io·1d·
Discuss: Hacker News
🔮Proof Search
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
🔤Type Theory
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·4d·
Discuss: r/programming
⚡Dependent Rust
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Ground Truth Ambient Occlusion
github.com·5h·
Discuss: Hacker News
📟Terminal Physics
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·2d
🔢Denotational Semantics
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·20h
📊Multi-vector RAG
Testing Grok-4: Why Even the 'Smartest AI' Needs Real-Time Web Access
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
⚡Proof Automation
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
📼Tape Combinators
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
📏Code Metrics
Evaluation-Driven Development for LLM-Powered Products: Lessons from Building in Healthcare
towardsdatascience.com·1d
🌀Brotli Internals
Hitchhiker’s Guide to RAG: From Tiny Files to Tolstoy with OpenAI’s API and LangChain
towardsdatascience.com·6h
📄Text Chunking
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🔒WASM Capabilities
Machine Learning Fundamentals: cross validation with python
dev.to·1d·
Discuss: DEV
📏Code Metrics
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·20h
🧮Kolmogorov Complexity