Container Networking With Netkit: The BPF Programmable Network Device (asg2025)
cdn.media.ccc.deยท4h
๐Ÿ“กNetwork Serialization
New setup sanity check
i.redd.itยท21hยท
Discuss: r/selfhosted
๐Ÿ›ก๏ธCapability VMs
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.aiยท1dยท
Discuss: Hacker News
๐ŸงฉPersistent Vectors
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.coยท1dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
The AI data paradox: Maximising reward while mitigating risk in high-value data services
zawya.comยท1d
๐ŸŽญProgram Synthesis
The Porcelain to Come
stackdiver.comยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Vibing a Non-Trivial Ghostty Feature
mitchellh.comยท1dยท
๐Ÿ’ปTerminal UIs
Practical Guide to Production-Grade Observability in the JS ecosystem
reddit.comยท16hยท
Discuss: r/programming
๐Ÿ›ก๏ธError Ergonomics
Scaling Time-Series Data for AI Models
singlestore.comยท1d
๐Ÿ“ˆQuery Optimization
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.orgยท5d
๐ŸงฉConstraint Solvers
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.comยท21hยท
Discuss: r/neovim
๐Ÿ“Rope Editors
Agentic AI Demands Stronger Digital Trust Systems
blogger.comยท1d
๐ŸฐCapability Machines
Realistic Reward Hacking Induces Different and Deeper Misalignment
lesswrong.comยท2d
โœจEffect Inference
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.toยท12hยท
Discuss: DEV
โœจEffect Inference
Need your opinion! How are you using AI to code C++ now?
reddit.comยท2dยท
Discuss: r/cpp
๐ŸŽญProgram Synthesis
Working on Hard Problems
danvk.orgยท2d
๐ŸคZipper Structures
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.orgยท2d
๐Ÿ—บ๏ธRegion Inference
Evolving Our UI Library: From Custom Components to a Hybrid Radix Approach
dev.toยท4dยท
๐ŸŽฎLanguage Ergonomics