Arti 1.6.0 released: Circuit padding, side-channel attack mitigations, OpenTelemetry, and more.
blog.torproject.orgยท1d
๐Ÿ”’Linear Types
Nix pills
nixos.orgยท2d
โ„๏ธNixpkgs
The Mondrian introduction to functional optics
marcosh.github.ioยท2hยท
Discuss: Hacker News
โŸทBidirectional Programming
Dark Engagement
zakelfassi.comยท23hยท
Discuss: Hacker News
โš–๏ธFeed Ranking
Sources of Power in Organizations
leadingsapiens.comยท20hยท
Discuss: Hacker News
๐Ÿ”Capability Security
Beyond the Single-Writer Limitation with Turso's Concurrent Writes
turso.techยท1dยท
Discuss: Hacker News
๐Ÿ“SQLite WAL
WireGuard topologies for self-hosting at home
garrido.ioยท3dยท
๐Ÿ“กNetwork Protocol Design
Scaling IP Lookup to Large Databases Using the Cram Lens
usenix.orgยท4dยท
Discuss: Hacker News
๐Ÿ“กBGP Archaeology
DIY infrastructure is what's causing you to fail
tower.devยท24mยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
Real-Time Server Monitoring with Go and WebSockets
dev.toยท19hยท
Discuss: DEV
๐ŸŒWebSocket Framing
Scalable Ground Station Selection for Large LEO Constellations
arxiv.orgยท8h
๐Ÿ•ธ๏ธNetwork Topology
TITLE: The Ultimate Guide to Bluetooth Trackers in 2025: Find Your Perfect Match
dev.toยท12hยท
Discuss: DEV
๐Ÿ“กBluetooth Archaeology
The intro to distributed systems I wish I had
fragmentsofcode.substack.comยท4dยท
Discuss: Substack
๐ŸคDistributed Consensus
A hands-on gRPC and SPIFFE/SPIRE demo
reddit.comยท20hยท
Discuss: r/golang
โšกgRPC
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.orgยท8h
๐ŸŽฏPerformance Proofs
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.orgยท8h
๐Ÿ”ฒCellular Automata
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.comยท11h
๐Ÿง Learned Codecs
OpenSSH 10.1/10.1p1 Released
openssh.comยท1dยท
Discuss: Hacker News
๐Ÿ”HSM Integration
Quantum capacity amplification via privacy
arxiv.orgยท8h
โš›๏ธQuantum Compression