Lobste.rs

title stats ⓘ date
Objects Have Not Failed (2002)
 21 / 44 2024-08-29T09:29:32Z
Immutable Systems: NixOS + systemd-repart + systemd-sysupdate
 29 / 10 2024-08-29T08:45:27Z
I just crossed $1 million on GitHub Sponsors
 70 / 18 2024-08-29T08:37:04Z
Introducing Alacrity to Federated Cryptography
 27 / 7 2024-08-29T07:45:03Z
aya-dev: A proof assistant and a dependently-typed language
 11 / 0 2024-08-29T07:23:14Z
Retiring from the Rust for Linux project
 156 / 227 2024-08-29T06:26:11Z
Development of an Experimental Devboard for a Frugal Smartphone at Inria
 20 / 5 2024-08-29T06:12:23Z
Rossfest Symposium and Festschrift in memory of Ross Anderson
 3 / 0 2024-08-29T04:33:06Z
Compilation of JavaScript to Wasm, part 3: Partial evaluation
 10 / 2 2024-08-29T02:24:18Z
Q Numbers Redux
 6 / 2 2024-08-29T01:17:37Z
Computer Scientists Discover Vulnerabilities in RADIUS
 2 / 1 2024-08-29T00:00:51Z
Judge dismisses majority of GitHub Copilot copyright claims
 3 / 3 2024-08-28T23:43:21Z
The Future of TLA+
 18 / 6 2024-08-28T22:09:21Z
PyPy v7.3.17 release
 10 / 3 2024-08-28T18:59:31Z
Cloud Actor-Oriented Database Transactions in Orleans
 2 / 0 2024-08-28T18:26:22Z
Rate Limiting, Cells, and GCRA
 6 / 2 2024-08-28T17:35:36Z
The next International Workshop on Plan 9 will be held in Paris in may 2025
 11 / 2 2024-08-28T16:20:56Z
GameNGen
 8 / 9 2024-08-28T15:57:19Z
"This Key is Useless Now. Discard?"
 43 / 27 2024-08-28T15:34:30Z
The slow evaporation of the free/open source surplus
 37 / 34 2024-08-28T15:13:15Z
Libolm Deprecation
 13 / 1 2024-08-28T14:31:05Z
Data Puppy — Shrinking Data Dog Costs | Part III
 1 / 0 2024-08-28T14:13:30Z
Why structured concurrency?
 10 / 4 2024-08-28T13:57:15Z
Typing lists and tuples in Elixir
 22 / 6 2024-08-28T12:16:49Z
CHERIoT: A Study in CHERI
 3 / 5 2024-08-28T10:40:09Z
Launching flourishcharts, our new interactive data visualization packages for data scientists
 4 / 0 2024-08-28T10:31:51Z
Improving Notion's browser performance with WASM SQLite
 18 / 5 2024-08-28T10:10:57Z
Zotero, redesigned
 43 / 7 2024-08-28T09:15:25Z
wp2hugo: best WordPress to Hugo migrator (written in Go)
 5 / 4 2024-08-28T08:32:51Z
ChunkSync - space-efficient incremental (remote) backups of large files and block devices
 2 / 1 2024-08-28T06:23:43Z
Go 1.23's new unique package
 23 / 4 2024-08-28T04:35:15Z
Rust dylib rabbit holes
 17 / 0 2024-08-28T02:43:47Z
CPython Compiler Hardening
 7 / 0 2024-08-28T02:02:35Z
Integer Generic Parameters
 2 / 0 2024-08-28T00:52:02Z
Compiler front-end infrastructure
 7 / 8 2024-08-28T00:51:46Z
Valhalla - Where Are We? (JVMLS 2024)
 2 / 0 2024-08-28T00:42:48Z
Tesla’s TTPoE at Hot Chips 2024: Replacing TCP for low latency applications
 5 / 2 2024-08-28T00:14:49Z
awesome-numerics: Resources for learning about numerical methods
 5 / 0 2024-08-27T23:36:09Z
Building Communities with Software
 2 / 0 2024-08-27T22:35:15Z
SmartCookie: Blocking large scale SYN floods with a Split-Proxy Defense on Programmable Data Planes
 1 / 1 2024-08-27T22:30:29Z
There can't be only one
 22 / 12 2024-08-27T21:15:13Z
State and time are the same thing
 4 / 5 2024-08-27T20:51:35Z
Folder corruption in Thunderbird 122+
 3 / 0 2024-08-27T20:17:14Z
WineHQ takes over stewardship of Mono
 34 / 37 2024-08-27T19:19:31Z
Compilation of JavaScript to Wasm, Part 2: Ahead-of-Time vs. JIT
 3 / 0 2024-08-27T19:06:33Z
better explanations through coupling
 3 / 0 2024-08-27T19:06:27Z
Meredith Whittaker at Le Bourget
 3 / 10 2024-08-27T18:08:56Z
Function Types in Nix
 19 / 1 2024-08-27T17:49:57Z
What programming language is in this <code> block?
 36 / 15 2024-08-27T17:35:19Z
NSA recovers Admiral Grace Hopper lectures from archive and releases them on youtube
 3 / 2 2024-08-27T17:32:42Z
« < 8 9 10 11 12 13 14 15 16 > »