BasicSync: A simple app for running Syncthing on Android (via tffr) — discussion

#android

Almost consensus: ABD and the edges of quorum replication (via eatonphil) — discussion

#distributed #historical #python

Taste Is All That's Left (via pbsds) — discussion

#vibecoding

Domain-specific hyperspecialization (for SAT) (via nelhage) — discussion

#formalmethods #vibecoding

Concurrency vs. Throughput: why more parallelism can make databases slower (via typesanitizer) — discussion

#databases #performance

Introducing Kitesurf: The agent-first browser that runs in V8 isolates on Cloudflare Workers (via sanxiyn) — discussion

#browsers #rust #vibecoding

jujutsu 0.44.0 (via olex) — discussion

#release #vcs

i wonder if you could make a useful DOS executable with just emoji (via thisalex) — discussion

#retrocomputing

REpsych: Psychological warfare in reverse engineering (via veqq) — discussion

#compilers

AI & The University (via jbauer) — discussion

#education #vibecoding #video

Super Mario Derivations (via npiazza) — discussion

#games #nix #retrocomputing

the web server deployment model breaks at hobby scale (via PuercoPop) — discussion

#web

I got a 1998 CD-ROM world atlas running on Windows 11 (by jumex) — discussion

#historical #retrocomputing

How a device finds encrypted DNS by itself (by amir) — discussion

#networking

Some ways to navigate through 'git blame' over time in GNU Emacs (via mattofr) — discussion

#emacs

social media rabbit holes, clusters, and the relative mixing times of random walks (by bobpoekert) — discussion

#ai

ASK: Software Understanding in the Sciences is Really Uneven (by nrposner)

#practices #python #science

Zig's Io.Threaded is Neat (via nickmonad) — discussion

#zig

From constraint models to playable puzzle games (by mzl) — discussion

#programming

tl;dv (Too Lazy; Didn't Validate): 181,874 Meetings Left Wide Open (via yoelcabo) — discussion

#privacy #security