Lobste.rs

title stats ⓘ date
Open letter to the NixOS foundation
 67 / 138 2024-04-21T18:18:07Z
Why you shouldn't run a BSD on a PC
 24 / 20 2024-04-21T16:25:48Z
Forge: A Tool to Teach Formal Methods
 17 / 1 2024-04-21T15:13:16Z
Dataflow Analyses and Compiler Optimizations that Use Them, for Free
 16 / 1 2024-04-21T12:48:03Z
lunatik: Lunatik is a framework for scripting the Linux kernel with Lua
 36 / 3 2024-04-21T10:12:55Z
glibc CVE-2024-2961: Buffer overflow in iconv
 13 / 2 2024-04-21T06:26:56Z
Stanford AI Syllabus (1980)
 2 / 4 2024-04-21T05:32:56Z
Tips on Adding JSON Output to Your CLI App
 20 / 18 2024-04-21T03:18:36Z
The Design of Everyday APIs
 11 / 2 2024-04-20T23:59:31Z
thetawave: A physics based, space shooter game made with Rust and the Bevy engine
 13 / 0 2024-04-20T21:05:00Z
Rust Stream API visualized and exposed
 22 / 1 2024-04-20T18:34:08Z
An entire Social Network in 1.6GB (GraphD Part 2)
 18 / 5 2024-04-20T16:36:42Z
Coroutines and effects
 46 / 6 2024-04-20T14:38:42Z
Programming vs mathematical curiosity
 23 / 7 2024-04-20T13:26:37Z
Parsing and all that
 17 / 3 2024-04-20T12:46:35Z
Zig 0.12.0 Release Notes
 89 / 24 2024-04-20T12:38:07Z
Do not buy Hisense TVs (or at least keep them offline)
 87 / 47 2024-04-20T11:42:41Z
An Interesting Problem Solved In Python And Elixir
 -2 / 0 2024-04-20T03:26:26Z
git bisect-find
 14 / 4 2024-04-20T01:10:58Z
TrueNAS CORE versus TrueNAS SCALE
 6 / 8 2024-04-19T22:44:38Z
Fast and flexible observability with canonical log lines (2019)
 7 / 0 2024-04-19T22:32:35Z
The Problem with Threads (2006)
 4 / 0 2024-04-19T20:49:44Z
Design patterns for extracting from REST APIs
 5 / 0 2024-04-19T20:41:25Z
Porting 8-bit Sonic 2 to the TI-84+ CE
 20 / 0 2024-04-19T20:35:17Z
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
 -1 / 1 2024-04-19T20:14:04Z
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
 12 / 2 2024-04-19T19:47:20Z
Zilog Calls Time on the Venerable Z80
 26 / 9 2024-04-19T18:47:18Z
Why We Run FreeBSD CURRENT at Netflix
 37 / 17 2024-04-19T17:19:18Z
FreeBSD: Using DTrace to Track Down Started Processes and Used Files
 3 / 0 2024-04-19T17:07:54Z
What is FreeBSD Missing?
 4 / 1 2024-04-19T17:07:39Z
TLA+ Web Explorer
 15 / 1 2024-04-19T17:02:45Z
EURISKO lives
 16 / 2 2024-04-19T16:08:54Z
Logpipe: automatic syntax highlighting for development logs
 10 / 5 2024-04-19T15:51:52Z
AI isn't useless. But is it worth it?
 68 / 24 2024-04-19T15:14:38Z
LLVM is Smarter Than Me
 37 / 26 2024-04-19T14:24:24Z
Rust tokio task cancellation patterns
 8 / 13 2024-04-19T14:09:13Z
Rook’s Law: There’s Always a Limit
 8 / 20 2024-04-19T12:17:18Z
3 important things I overlooked during code reviews
 21 / 46 2024-04-19T12:06:17Z
On Signal Relays
 7 / 0 2024-04-19T11:58:10Z
What are you doing this weekend?
 12 / 40 2024-04-19T10:09:37Z
Raw flux streams and obscure formats: Further work around imaging 5.25-inch floppy disks
 6 / 0 2024-04-19T10:07:38Z
Randar Explanation and Information
 15 / 1 2024-04-19T01:04:55Z
Ubuntu 24.04 yields a 20% advantage over Windows 11 on Ryzen7 Framework laptop
 29 / 12 2024-04-18T22:41:16Z
Hydradancer: Faster USB Emulation for Facedancer
 5 / 1 2024-04-18T22:29:29Z
XZ/LZMA Worked Example
 12 / 1 2024-04-18T22:14:15Z
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
 2 / 0 2024-04-18T21:48:57Z
cronometro: Simple benchmarking suite powered by HDR histograms
 1 / 1 2024-04-18T20:32:08Z
Ruff v0.4.0: a hand-written recursive descent parser for Python
 47 / 2 2024-04-18T20:29:59Z
Meta Llama 3
 8 / 6 2024-04-18T18:54:21Z
We Need to Talk About the State of Calendar Software on Desktop
 55 / 58 2024-04-18T18:18:08Z
« < 42 43 44 45 46 47 48 49 50 > »