Hybrid delivery system using EVs and robots cuts parcel delivery costs by half
interestingengineering.comĀ·1d
šŸ¤–Sci-Fi
FFmpeg 8.0 Released
ffmpeg.orgĀ·1dĀ·
Discuss: Hacker News
šŸ‘Open Source Software
Linux desktop on Apple Silicon M1 in practice
gist.github.comĀ·6hĀ·
Discuss: Hacker News
šŸ§Linux
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.comĀ·2dĀ·
Discuss: r/rust
šŸ§ Memory Management
mklink nesting?
reddit.comĀ·18hĀ·
Discuss: r/commandline
šŸ“¦WebAssembly
Editorial Board
sciencedirect.comĀ·1d
šŸ•øļøGraph Theory
AeroDuo: Aerial Duo for UAV-based Vision and Language Navigation
arxiv.orgĀ·1d
šŸŽ²Probabilistic Programming
CEO of Microsoft AI's "Seemingly Conscious AI" Post
lesswrong.comĀ·1d
šŸ¤–Sci-Fi
Show HN: Docura ā€“ A Lightweight API Documentation Platform
github.comĀ·8hĀ·
Discuss: Hacker News
šŸ¦€Rust
Documentation That Scales: Building Knowledge Systems for Growing Dev Agencies
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”§Compiler Design
Claude Code built my Android app and got it on Play Store in 5 days
reddit.comĀ·1dĀ·
Discuss: r/programming
šŸ”§Compiler Design
The Debugging Trick That Saves Me Every Sprint
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”Static Analysis
backgif: Display animations in backtraces
github.comĀ·8hĀ·
Discuss: r/rust
šŸ’¾Retrocomputing
AI-Driven Development at Instacart: Scaling Impact and Increasing Velocity
tech.instacart.comĀ·2d
šŸ§©Theorem Proving
When Is Monitoring Enough? A Practical Guide to Database Observability
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”Static Analysis
Why Enterprise Vibe Coding Could Replace SaaS
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”ŒNetwork Programming
I built an open-source browser extension with Vue 3 + TypeScript - looking for feedback
reddit.comĀ·3hĀ·
Discuss: r/webdev
šŸ“Type Theory
Futility Illusions
lesswrong.comĀ·16h
šŸ”¢Mathematical Logic
A Case Against Abstraction
dev.toĀ·4dĀ·
Discuss: DEV
šŸ”Static Analysis
Why Iā€™d Never Let AI Rewrite It
dev.toĀ·3dĀ·
Discuss: DEV
šŸ§©Theorem Proving