🏛️ Agda

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

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
OpenAI faces questions over calls for government support
the-decoder.com·17h
🚀Indie Hacking
Flag this post
Mechanism Design Theory
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.com·2d·
Discuss: Hacker News
🔗Constraint Handling
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·4d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Analytical modelling of a stop-less modular bus service with an application to charging strategies comparison
arxiv.org·1d
🧩RISC-V
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
VDI, SaaS, and DaaS uncovered: what businesses need to know
techradar.com·18h
❄️Nix Adoption
Flag this post
Way too complex: why modern tech stacks need observability
techradar.com·19h
👁️System Observability
Flag this post
Periodic Skill Discovery
arxiv.org·2d
🗺️Competency Maps
Flag this post
Academics and Generative AI: Empirical and Epistemic Indicators of Policy-Practice Voids
arxiv.org·2d
🌍Cultural Algorithms
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
Vision Language Models: The AI Eyes That Understand the World
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
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