🏛️ Agda

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

From Theory to Practice: Introducing Architectural Prisms, an Experiment in AI-First Academic Dialogue
sigarch.org·3d
🤖AI Curation
Flag this post
Jimmy Angelakos: pg_statviz 0.8 released with PostgreSQL 18 support
vyruss.org·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Flag this post
Building our geospatial database in production
radar.com·3d·
Discuss: Hacker News
📏Range Queries
Flag this post
Cursor 2.0 proves agents are here to stay
augmentedswe.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
Google's Gemini API now supports file search with custom data
the-decoder.com·1d
🔍BitFunnel
Flag this post
AI Tools that I've Seen in the Wild
aplaceofmind.notion.site·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·3d·
Discuss: Hacker News
🗄️Database Internals
Flag this post
OpenAI faces questions over calls for government support
the-decoder.com·15h
🚀Indie Hacking
Flag this post
Mechanism Design Theory
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel
Flag this post
Researchers want to kill the vibe, propose better model for AI coding
theregister.com·1d·
Discuss: Hacker News
🎙️Whisper
Flag this post
AI 2027: Imagining Our Superhuman Future
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.to·3d·
Discuss: DEV
🤖AI Curation
Flag this post
CEF.AI is hiring for AI Innovator position in SF
join.com·3d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
The rise of ‘Slow AI’: Why devs should stop speedrunning stupid
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Using AI in Playwright Tests
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Flag this post
Enhanced Risk Mitigation via Predictive Sensor Fusion in Subsea Pipeline Integrity Management
dev.to·1d·
Discuss: DEV
📄Document Digitization
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·4d
✨Effect Handlers
Flag this post