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
The Privacy Manifesto
zac1258019.substack.com·1d·
Discuss: Substack
🧲Magnetic Philosophy
Flag this post
Cursor 2.0 proves agents are here to stay
augmentedswe.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
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·12h
🚀Indie Hacking
Flag this post
Mechanism Design Theory
news.ycombinator.com·22h·
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
VDI, SaaS, and DaaS uncovered: what businesses need to know
techradar.com·13h
❄️Nix Adoption
Flag this post
How Reddit Shaped v1.1 of My Open-Source Secrets Scanner
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
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
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·4d
Format Verification
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·2d
💻Local LLMs
Flag this post