🏛️ Agda

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

Five Years After
isonomiaquarterly.com·2h·
Discuss: Hacker News
📡Information theory
Coded my homelab from scratch using Ansible
i.redd.it·17h·
Discuss: r/homelab
🏠Homelab Archaeology
Orca Build System
orca-app.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄Language Evolution
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·3d·
Discuss: Hacker News
🔬Binary Analysis
Switching to Claude Code and VSCode Inside Docker
timsh.org·1d·
Discuss: Hacker News
🔄Sync Engine
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left
medium.com·5d·
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
spdk/spdk
github.com·10h
🔩Systems Programming
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
🧮Kolmogorov Complexity
Can adversarial attacks by large language models be attributed?
arxiv.org·3d
🔗Parser Combinators
Show HN: Juncture – Simplify building Jira integrations
github.com·18h·
Discuss: Hacker News
🔌Archive APIs
Agentic AI Is Quietly Replacing Developers
thenewstack.io·20h
🔄Language Evolution
Riding the AI Coding Wave Without Drowning Your Skills
dev.to·12h·
Discuss: DEV
⚡Proof Automation
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·2d·
Discuss: DEV
🌊Stream Processing
# 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
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·2d
🔲Cellular Automata
Api Requests and Validators in Go
dev.to·18h·
Discuss: DEV
⚡gRPC
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·2d
🔍Information Retrieval
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·4d
🗣️Domain-Specific Languages