🏛️ Agda

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

“Science Comics Computers: How Digital Hardware Works”
doctorow.medium.com·10h
⚡Homebrew CPUs
Flag this post
What Artifacts Teach Us
systemsapproach.org·2d
📡Network Archaeology
Flag this post
Notes on Google's Space Data Centers
angadh.com·10h·
Discuss: Hacker News
🖥️Modern Terminals
Flag this post
A journey of 4+ years to reach the 100th GitHub release of our open-source observability platform
signoz.io·18h·
Discuss: Hacker News, r/opensource
🌊Streaming Systems
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·2d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Demo Day (feat. Murphy’s Law)
reddit.com·8h·
Discuss: r/kubernetes
👁️Observatory Systems
Flag this post
📢 New Series: Neuro-Symbolic Wednesday
dev.to·18h·
Discuss: DEV
💾Binary Linguistics
Flag this post
High-Throughput HPLC Method Optimization via Bayesian Neural Network & Predictive Maintenance
dev.to·22h·
Discuss: DEV
📊Quantization
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
🎯Performance Proofs
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
The older I get, the better my code becomes
dev.to·1d·
Discuss: DEV
⚙️Build Archaeology
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·21h
📋Document Grammar
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·19h·
Discuss: DEV
🎧Learned Audio
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
🧠Learned Indexing
Flag this post
Generative Universal Verifier as Multimodal Meta-Reasoner
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·1d·
Discuss: r/MachineLearning
⚡Homebrew CPUs
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·6d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
AI Wrapper Companies: Is This Real or Just API Theater?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
dev.to·2d·
Discuss: DEV
🤖AI Curation
Flag this post