🏛️ Agda

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

Coded my homelab from scratch using Ansible
i.redd.it·9h·
Discuss: r/homelab
🏠Homelab Archaeology
Orca Build System
orca-app.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄Language Evolution
Switching to Claude Code and VSCode Inside Docker
timsh.org·1d·
Discuss: Hacker News
🔄Sync Engine
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·3d·
Discuss: Hacker News
🔬Binary Analysis
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left
medium.com·4d·
Discuss: Hacker News
💻Programming languages
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·5d·
Discuss: r/programming
⚡Dependent Rust
spdk/spdk
github.com·2h
🔩Systems Programming
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🔗Parser Combinators
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Agentic AI Is Quietly Replacing Developers
thenewstack.io·12h
🔄Language Evolution
Riding the AI Coding Wave Without Drowning Your Skills
dev.to·4h·
Discuss: DEV
⚡Proof Automation
# Build an AI Viral Prediction Tool with Real-Time Streaming and MCP Integration in 20 Minutes
dev.to·2d·
Discuss: DEV
📡RSS Automation
Build a conversational data assistant, Part 1: Text-to-SQL with Amazon Bedrock Agents
aws.amazon.com·1d
🌊Streaming Systems
Api Requests and Validators in Go
dev.to·9h·
Discuss: DEV
⚡gRPC
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·1d
🔲Cellular Automata
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🔍Information Retrieval
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·5d·
Discuss: Hacker News
λLambda Formalization
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·3d
🗣️Domain-Specific Languages
We solved AI API interoperability
supermemory.ai·4d·
Discuss: Hacker News
🔌Interface Evolution