Lobste.rs

api
filters

title	stats ⓘ	date
My 1FA is Probably Better than Your MFA	4 / 20	2023-12-01T00:39:51Z
A response to 'A decade of developing a programming language'	26 / 9	2023-12-01T00:13:31Z
How to Think Computationally About AI, the Universe, and Everything	1 / 0	2023-11-30T23:12:01Z
Computed Properties for Haskell Records	14 / 2	2023-11-30T22:45:06Z
Code is run more than read	91 / 37	2023-11-30T22:10:54Z
Pelican 4.9: classless Simple theme with semantic HTML	13 / 0	2023-11-30T21:44:37Z
bfcoq: Brainfuck compiler in Coq	3 / 1	2023-11-30T20:50:23Z
How pgroll works under the hood	3 / 0	2023-11-30T19:44:13Z
Guile Hoot v0.2.0 released	12 / 0	2023-11-30T19:20:45Z
Building interactive web pages with Guile Hoot	31 / 3	2023-11-30T19:14:23Z
Aesop: White-Box Best-First Proof Search for Lean	5 / 0	2023-11-30T19:11:36Z
Another Look At The Bcachefs Performance on Linux 6.7	16 / 2	2023-11-30T18:20:18Z
Integer overflow and arithmetic safety in C++	5 / 0	2023-11-30T18:08:03Z
After 8 Years: NetHSM is Available! Formally verified open source HSM	26 / 5	2023-11-30T17:51:45Z
Inside the Intel 386 processor die: the clock circuit	5 / 0	2023-11-30T17:28:56Z
libcluster_postgres: Postgres strategy for libcluster	9 / 0	2023-11-30T16:08:33Z
Game of Trees 0.94 released	3 / 0	2023-11-30T15:35:42Z
Unleashing PyPI support in the pixi package manager	2 / 0	2023-11-30T15:31:15Z
Using Polars in a Pandas world	4 / 7	2023-11-30T15:29:18Z
Three problems of pinning	26 / 4	2023-11-30T15:24:46Z
Open Source Supply Chain Security at Google	8 / 2	2023-11-30T14:52:51Z
Why you can't divide by zero	43 / 48	2023-11-30T13:15:26Z
An ode to the neo-grotesque web	26 / 14	2023-11-30T11:13:57Z
xCurl, a cut-down fork of libcurl for the Microsoft Game Development Kit	15 / 6	2023-11-30T08:24:31Z
The Myth of Smart Pointers	6 / 12	2023-11-30T06:47:48Z
Linear Matching of JavaScript Regular Expressions	6 / 1	2023-11-30T06:14:04Z
GDlog: A GPU-Accelerated Deductive Engine	1 / 0	2023-11-30T04:31:22Z
NixOS/nixpkgs 23.11	54 / 18	2023-11-30T02:55:06Z
Browsing the Eastern Side of the Personal Web	21 / 1	2023-11-30T02:51:25Z
Nonblocking cycle detection and iterator invalidation	4 / 0	2023-11-30T02:06:56Z
On the same platform directly opposite?	3 / 0	2023-11-30T00:08:06Z
Scalable Extraction of Training Data from (Production) Language Models	1 / 1	2023-11-30T00:00:11Z
Introducing llamafile	23 / 7	2023-11-29T23:28:17Z
Building your own bookmark launcher	6 / 0	2023-11-29T23:21:09Z
Infinite Mac	33 / 7	2023-11-29T21:57:12Z
Compiler Error Messages Considered Unhelpful: Text-Based Programming Error Message Research (2019)	1 / 1	2023-11-29T21:35:04Z
errtrace: An alternative to stack traces for your Go errors	9 / 4	2023-11-29T20:35:41Z
Turbo 8 in 8 minutes	2 / 0	2023-11-29T20:33:54Z
10 Weird HTML Hacks That Shaped The Internet	22 / 14	2023-11-29T20:16:38Z
KON & BAL's Puzzle Page: QuickTime Quandary [1996?]	7 / 3	2023-11-29T18:14:51Z
A Deep Dive Into Sending With librdkafka	2 / 0	2023-11-29T17:39:15Z
My $500M Mars Rover Mistake: A Failure Story	44 / 9	2023-11-29T16:23:14Z
A Touch of Pwn - Part I	3 / 0	2023-11-29T16:15:01Z
jaq: A jq clone focussed on correctness, speed, and simplicity	38 / 15	2023-11-29T15:35:50Z
Reexamining FizzBuzz Step by Step – and allowing for more varied rules	4 / 7	2023-11-29T15:14:44Z
The diminishing half-life of knowledge	13 / 13	2023-11-29T14:21:31Z
Edge Case Poisoning (2020)	21 / 7	2023-11-29T13:50:51Z
Rust std fs slower than Python!? No, it's hardware	151 / 18	2023-11-29T12:48:48Z
Rest in Peace, Optane (2022)	11 / 8	2023-11-29T11:54:43Z
Using Answer Set Programming to solve puzzle Haunted	7 / 1	2023-11-29T11:01:09Z

Lobste.rs api filters

Lobste.rs

api
filters