Lobste.rs

title stats ⓘ date
Three days of Advent of Code in Hurl
 7 / 5 2023-12-18T14:42:10Z
Church vs Curry Types
 26 / 13 2023-12-18T14:17:53Z
Paged Out Magazine - Issue 3
 22 / 4 2023-12-18T13:45:31Z
What are you doing this week?
 5 / 24 2023-12-18T11:33:19Z
What to improve in my open-source documentation?
 4 / 11 2023-12-18T09:34:55Z
Exploring the section layout in linker output
 8 / 3 2023-12-18T08:31:07Z
Real World OCaml
 41 / 3 2023-12-18T05:50:59Z
AMD’s CDNA 3 Compute Architecture
 13 / 0 2023-12-18T00:48:34Z
So you want custom allocator support in your C library
 33 / 0 2023-12-17T23:50:20Z
Advent of Technical Writing: Outlines
 14 / 2 2023-12-17T19:31:54Z
Balm in GILead: Fast string construction for CPython extensions
 11 / 1 2023-12-17T16:19:40Z
what: Debug-level logging behind a build tag
 7 / 0 2023-12-17T15:31:24Z
The rabbit hole of unsafe Rust bugs
 28 / 14 2023-12-17T14:14:47Z
Evaluating new software forges
 58 / 47 2023-12-17T13:36:36Z
Banish state-mutating methods from data classes
 6 / 13 2023-12-17T12:58:00Z
Maybe We Don’t Need UUIDv7 After All
 29 / 27 2023-12-17T11:37:41Z
Using Gmail With A Custom Domain
 14 / 31 2023-12-17T10:09:47Z
Substructural type system § The resource interpretation
 5 / 0 2023-12-17T08:26:16Z
Experimenting with performances gains from Blazor WASM AOT Compilation
 1 / 0 2023-12-17T04:44:28Z
My Raspberry Pi Learns to Drive
 7 / 1 2023-12-17T02:46:56Z
MacoCaml: Staging Composable and Compilable Macros
 18 / 5 2023-12-17T01:21:10Z
atree: Stevan Apter-style trees in C++17
 22 / 4 2023-12-16T22:45:24Z
How to use a HDMI monitor and USB mouse/keyboard in Promox VE on an Intel Alder Lake-N mini PC
 5 / 1 2023-12-16T19:10:13Z
International Workshop on Plan 9: 2024 Edition
 20 / 2 2023-12-16T19:01:35Z
Bill Lamie: Story of a man and his real-time operating systems (2010)
 12 / 4 2023-12-16T17:56:29Z
KDE Android apps porting update (Qt 6)
 10 / 0 2023-12-16T17:46:29Z
Two interesting XOR circuits inside the Intel 386 processor
 17 / 1 2023-12-16T17:45:10Z
How do you write a good tutorial for an open source project?
 28 / 23 2023-12-16T15:26:06Z
Data exfiltration from Writer.com with indirect prompt injection
 35 / 0 2023-12-16T12:33:20Z
Multithreading and Memory-Mapping: Refining ANN Performance with Arroy in Rust
 7 / 2 2023-12-16T08:20:04Z
ELF binaries and everything before main() starts
 17 / 4 2023-12-16T07:37:40Z
CLI for streams of data in S3 buckets
 3 / 8 2023-12-16T06:50:16Z
Remove private C API functions
 14 / 1 2023-12-16T00:46:54Z
Counterexamples in Type Systems
 9 / 0 2023-12-15T23:34:16Z
Troubleshooting an Intermittent Failure in CI Tests on ARM64
 1 / 0 2023-12-15T22:30:15Z
Reverse engineering Bluetooth LE LED light controllers, or How I Bricked My Christmas Lights
 20 / 1 2023-12-15T22:18:02Z
Database Fundamentals
 18 / 2 2023-12-15T21:42:57Z
SSH3: ssh using HTTP/3 and QUIC
 46 / 30 2023-12-15T21:36:19Z
CRDTs Turned Inside Out
 21 / 0 2023-12-15T20:04:30Z
pg_sparse: Sparse Vector Similarity Search Inside Postgres - ParadeDB
 5 / 0 2023-12-15T19:54:24Z
ChatGPT created a text adventure for me
 -1 / 0 2023-12-15T19:04:52Z
Lessons from implementing Hurl
 8 / 2 2023-12-15T17:49:51Z
Why Aren't We SIEVE-ing?
 39 / 11 2023-12-15T17:47:08Z
Beyond UI: Using Slint with C++ libs
 5 / 0 2023-12-15T17:07:29Z
Showstoppers in Desktop Linux Without VTs in 2022 (2022)
 7 / 4 2023-12-15T16:56:08Z
Interfaces Are Not Meant for That
 14 / 13 2023-12-15T16:25:05Z
NASA Library of Formal Method Developments
 27 / 0 2023-12-15T16:16:35Z
Scheme in Scheme on Wasm in the browser
 12 / 1 2023-12-15T15:25:08Z
A curiously recurring lifetime issue
 36 / 20 2023-12-15T14:17:30Z
Using Zig to Call C Code: Strings
 29 / 3 2023-12-15T14:16:37Z
« < 101 102 103 104 105 106 107 108 109 > »