mup: A micro web file uploader to easily share files over LAN (by aziis98) — discussion

#go #show #web

Chat Control: The EU's CSEM scanner proposal (via Kchousos) — discussion

#law #privacy

Objects Have Not Failed (2002) (via ohrv) — discussion

#compsci #design

Immutable Systems: NixOS + systemd-repart + systemd-sysupdate (via msanft) — discussion

#linux #nix #systemd

I just crossed $1 million on GitHub Sponsors (via manuel) — discussion

#practices

Introducing Alacrity to Federated Cryptography (via PicNoir) — discussion

#cryptography

aya-dev: A proof assistant and a dependently-typed language (via 5d22b) — discussion

#formalmethods #plt

Retiring from the Rust for Linux project - Wedson Almeida Filho (via WeetHet) — discussion

#linux #rust

Development of an Experimental Devboard for a Frugal Smartphone at Inria (via sjamaan) — discussion

#hardware #job #mobile

Rossfest Symposium and Festschrift in memory of Ross Anderson (via bomp) — discussion

#security

Compilation of JavaScript to Wasm, part 3: Partial evaluation (via jmillikin) — discussion

#javascript #wasm

Q Numbers Redux (via ahobson) — discussion

#go

Computer Scientists Discover Vulnerabilities in RADIUS (via adamcstephens) — discussion

#networking #security

Judge dismisses majority of GitHub Copilot copyright claims (via edwardloveall) — discussion

#ai #law

The Future of TLA+ (via hwayne) — discussion

#formalmethods #pdf

PyPy v7.3.17 release (via pauloxnet) — discussion

#python #release

Cloud Actor-Oriented Database Transactions in Orleans (via eatonphil) — discussion

#databases #distributed #pdf

Rate Limiting, Cells, and GCRA (via joshleeb) — discussion

#programming

The next International Workshop on Plan 9 will be held in Paris in may 2025 (via linschn) — discussion

#culture #historical #osdev #unix

GameNGen (via df) — discussion

#ai