Design tokens (via kaycebasques) — discussion

#android #design #programming #web

tlsd: Generate (message) sequence diagrams from TLA+ state traces (via hwayne) — discussion

#formalmethods #visualization

System Design Sketches (by trekhleb) — discussion

#programming

Toolbox languages (by hwayne) — discussion

#programming

Cooperative Interruption of a Thread in C++20: Callbacks (via raymii) — discussion

#c++

How insecure is Avast Secure Browser? (via raymii) — discussion

#security

Building and scaling Notion’s data lake (via elliot) — discussion

#distributed #scaling

Why Cloud-Native Buildpacks Should Excite Companies (by yonkeltron) — discussion

#devops #practices #security

Interop 2024 Dashboard (via pushcx) — discussion

#browsers

Kubernetes instance calculator (by danielepolencic) — discussion

#devops

Resource management and generators in Python (via pushcx) — discussion

#python

Calculating Position from Raw GPS Data (via fanf) — discussion

#math

Beyond bufferbloat: End-to-end congestion control cannot avoid latency spikes (via fanf) — discussion

#networking

Bridging Networks Across VPS with Wireguard and VXLAN on FreeBSD (via ggpsv) — discussion

#freebsd #networking

mazeppa: A modern supercompiler for call-by-value functional languages (via amirouche) — discussion

#compilers

Game of Trees Hub - Collectively funded Git repository hosting service (via matthias) — discussion

#openbsd #practices #vcs

Clojure macros continue to surprise me (via op) — discussion

#clojure

We need visual programming. No, not like that (via raymii) — discussion

#programming #visualization

22 Common Filesystem Tasks in C++20 (via raymii) — discussion

#c++

IceDB v3 - Third Time’s the Charm (via ocramz) — discussion

#databases #distributed