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

Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·3d
🐚Nordic Shell
Flag this post
ZFS Enabled Disaster Recovery for Virtualization
klarasystems.com·18h
💿Backup Strategies
Flag this post
Exploring a space-based, scalable AI infrastructure system design
research.google·1d·
Discuss: Hacker News
🏠Homelab Federation
Flag this post
The Development of Pie
terathon.com·4d·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, r/LLM
🎧Learned Audio
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·2d·
Discuss: Hacker News
🌊Streaming Databases
Flag this post
Minimal Viable Kubernetes: Finally, a Self-Hosted Cluster You Can Actually Run
hackernoon.com·6h
📦Container Security
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·1d·
🗄️PostgreSQL WAL
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
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·2d
🔨Compilers
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
👤Search Personalization
Flag this post
Collaborative Attention and Consistent-Guided Fusion of MRI and PET for Alzheimer's Disease Diagnosis
arxiv.org·1d
Information Bottleneck
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·1d
📊Learned Metrics
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·19h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·3d
🤝Consensus Algorithms
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·2d
📐Error Bounds
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.to·1d·
Discuss: DEV
🎧Learned Audio
Flag this post