Quickstart to coding in Warp
warp.dev·2d
🦀Rust Macros
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·1d
⚔️Lean Theorem
Running River as a systemd service
devork.be·2d
⚙️WASM Runtime
Security Update for Amazon Q Developer Extension for Visual Studio Code
aws.amazon.com·2d·
Discuss: Hacker News
🔓Open Source Software
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·2d
🧮Z3 Solver
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·4d·
Discuss: Hacker News
📦Container Security
Inside Open Sauce, a science festival for makers, with over 500 projects on display
tomshardware.com·8h
📼Tape Simulation
GTA 2 re-implementation project by CriminalRETeam
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Advanced PDF Optimization Techniques - 1753260
dev.to·4d·
Discuss: DEV
📝Text Compression
A lightweight TCP in UDP tunnel using eBPF for MPTCP
github.com·4d·
Discuss: Hacker News
📡Network Protocol Design
We maintain HarfBuzz, the text shaping engine used in Linux desktop and more — Ask us anything (or tell us what confused you)
github.com·5d·
Discuss: Hacker News, r/linux
🔠Terminal Fonts
MedExpert AI - Specialized Medical Voice Assistant with RAG Integration
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Stop retyping. Turn your repeat text into smart templates.
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Linux 6.17 Introducing Support For The NVIDIA Tegra T264/Thor, New RISC-V SoCs
phoronix.com·5h
⚡Compression Hardware
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Your Money, Their Syntax: How LLMs Write Trust into Empty Crypto Promises
dev.to·2d·
Discuss: DEV
📋Document Grammar
Ask HN: DHH on Lex, a multi-hour ode to Ruby on Rails, but is it any good?
news.ycombinator.com·4d·
Discuss: Hacker News
🧠Lisp Dialects
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·2d
🎯Performance Proofs
VoiceFlow Pro - AI-Powered Business Process Discovery & Automation Voice Agent
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Complete Hummingbot Arbitrage Usage Guide
dev.to·3d·
Discuss: DEV
⚡Hardware Transactional Memory