QUIC! Jump to User Space!
hackaday.comยท2d
๐ŸŒNetwork Protocols
Vibing a Non-Trivial Ghostty Feature
simonwillison.netยท23h
๐ŸงชBinary Fuzzing
Toy Binary Decision Diagrams
philipzucker.comยท6d
๐ŸงฎAlgebraic Datatypes
GaloisInc/parameterized-utils
github.comยท4d
๐ŸงฎAlgebraic Datatypes
What's new in the Buildkite MCP server
buildkite.comยท31mยท
Discuss: Hacker News
โ„๏ธNix Flakes
Preference-aware routing for Claude Code 2.0
archgw.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Replacing the Type Checker for the Swift Compiler
forums.swift.orgยท3dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
The Coming Collapse of White-Collar Work
buildingbetter.techยท4hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Control Codegen Spend
oreilly.comยท3d
โš”๏ธLean Tactics
Stop Worrying and Love the Bomb
bitbytebit.substack.comยท1dยท
Discuss: Substack
โš™๏ธBuild Archaeology
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.comยท12hยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
Recurrent Natural Policy Gradient for POMDPs
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Why People Say โ€œF*** LeetCodeโ€: Difficulty, Fairness, Real-World Value โ€” and a Better Way
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Code Metrics
Automated Anomaly Detection in Account Takeover via Multi-Modal Graph Neural Network Fusion
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.orgยท4d
๐ŸŽฏPerformance Proofs
Managing Asynchronous Work with Celery and Redis
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠApache Kafka
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.toยท11hยท
Discuss: DEV
๐Ÿ“„Document Streaming