Algebraic Effects: Another mistake carried through to perfection? (via veqq) — discussion

#plt

Spatial Data-Management (1979) (via calvin) — discussion

#cogsci #design #pdf

A Formal Analysis of Apple’s iMessage PQ3 Protocol (via brokebit) — discussion

#ios #pdf #security

16-bit Intel 8088 Chip by Charles Bukowski (via mattrose) — discussion

#culture

Joys and sorrows of designing a language (via tuhaj) — discussion

#distributed #javascript #security #video

branchless development (via quobit) — discussion

#openbsd #practices

Ada in China (1994) (via veqq) — discussion

#historical #pdf #plt

Composition: the feature I've wanted in Flox since I joined the company (by zmitchell) — discussion

#programming

Can It Run Doom? An Archive of All Known Ports (via jaredkrinke) — discussion

#games #hardware

Write the most clever code you possibly can (by hwayne) — discussion

#practices #rant

Microservices Are a Tax Your Startup Probably Can’t Afford (via rmoff) — discussion

#distributed #scaling

Static as a Server (via zaphodias) — discussion

#javascript #web

ASK: What are you doing this weekend? (by caius)

#ask #programming

Wasm 2.0 Completed (via aiono) — discussion

#wasm

Rusty Nu POSIX (via edwintorok) — discussion

#nix #practices #rust

eBPF mystery: When is IPv4 not IPv4? When it's pretending to be IPv6 (via jmillikin) — discussion

#dotnet #linux #networking

Constexpr optional and trivial relocation (via raymii) — discussion

#c++

200 and change (via tekknolagi) — discussion

#compilers #databases

Building your own Atomic (bootc) Desktop (via soni) — discussion

#linux

New Edition of FreePascal From Square One (via andrewchou) — discussion

#plt