🦞🌯 Lobster Roll

Stories by 5d22b

Debian Celebrates 30 years (bits.debian.org)
L 80 pts 28 comments by 5d22b Aug 16, 2023 linux Systems / Low-Level / OS thread
Identifying Rust’s collect::<Vec>() memory leak footgun (blog.polybdenum.com)
L 35 pts 4 comments by 5d22b Jan 26, 2024 performancerust Systems / Low-Level / OSData / Databases / Infrastructure thread
Merging bcachefs (lwn.net)
L 33 pts 17 comments by 5d22b Jun 17, 2023 linux Systems / Low-Level / OS thread
OCaml Programming: Correct + Efficient + Beautiful [a textbook] (cs3110.github.io)
L 33 pts 9 comments by 5d22b Jun 5, 2023 bookeducationml Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Surprises in the Rust JSON Ecosystem (ecton.dev)
L 33 pts 4 comments by 5d22b Feb 1, 2023 performancerust Systems / Low-Level / OSData / Databases / Infrastructure thread
Current zlib-rs performance (trifectatech.org)
L 31 pts 16 comments by 5d22b Aug 31, 2024 performancerust Systems / Low-Level / OSData / Databases / Infrastructure thread
You should be reading academic computer science papers (2022) (stackoverflow.blog)
L 31 pts 31 comments by 5d22b May 16, 2023 compscipractices Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / BusinessCulture / Philosophy / History / Reading thread
Rust for filesystems (lwn.net)
L 29 pts 8 comments by 5d22b Jul 14, 2024 linuxrust Systems / Low-Level / OS thread
2025 Stack Overflow Developer Survey (stackoverflow.az1.qualtrics.com)
L 27 pts 11 comments by 5d22b Jun 19, 2025 programming Programming (General) thread
sans-IO: The secret to effective Rust for network services (firezone.dev)
L 27 pts 10 comments by 5d22b Jul 6, 2024 networkingrust Systems / Low-Level / OSData / Databases / Infrastructure thread
Must move types [Linear types proposed for Rust] (smallcultfollowing.com)
L 23 pts 17 comments by 5d22b Mar 24, 2023 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
The size of Rust Futures (swatinem.de)
L 23 pts 0 comments by 5d22b Jan 29, 2023 rust Systems / Low-Level / OS thread
\Device\Afd, or, the Deal with the Devil that makes async Rust work on Windows (notgull.github.io)
L 22 pts 0 comments by 5d22b Mar 10, 2023 rustwindows Systems / Low-Level / OS thread
Iterator, Generator (without.boats)
L 20 pts 0 comments by 5d22b May 12, 2023 rust Systems / Low-Level / OS thread
io_uring and networking in 2023 (github.com)
L 20 pts 9 comments by 5d22b Feb 21, 2023 linuxnetworkingperformance Systems / Low-Level / OSData / Databases / Infrastructure thread
Counterexamples in Type Systems (github.com)
L 19 pts 1 comments by 5d22b Jul 8, 2023 plt Programming Languages / CS Theory thread
The 2023 Developer Survey is now live (stackoverflow.blog)
L 19 pts 12 comments by 5d22b May 11, 2023 programming Programming (General) thread
cargo careful: run your Rust code with extra careful debug checking (ralfj.de)
L 14 pts 0 comments by 5d22b Jan 20, 2023 debuggingrust Systems / Low-Level / OSProgramming (General) thread
What's between a set and a sequence? (buttondown.email)
L 13 pts 8 comments by 5d22b Jun 30, 2023 math Science / Math / Physics thread
Introducing AdaCore, a Rust Foundation Silver Member (foundation.rust-lang.org)
L 13 pts 0 comments by 5d22b Feb 12, 2023 rust Systems / Low-Level / OS thread
Soufflé: A Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io)
L 12 pts 7 comments by 5d22b Jul 7, 2023 compilersmath Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics thread
Scaphandre: Your tech stack doesn't need so much energy (github.com)
L 12 pts 1 comments by 5d22b Feb 3, 2023 hardwarerust Systems / Low-Level / OSMaker / DIY / Hardware thread
aya-dev: A proof assistant and a dependently-typed language (github.com)
L 11 pts 0 comments by 5d22b Aug 29, 2024 formalmethodsplt Programming Languages / CS Theory thread
RFC 6920: Naming Things with Hashes (2013) (rfc-editor.org)
L 11 pts 7 comments by 5d22b May 18, 2023 cryptographyweb Web Development thread
Would Rust secure cURL? (2021) (blog.timhutt.co.uk)
L 11 pts 6 comments by 5d22b Feb 15, 2023 crustsecurity Systems / Low-Level / OSSecurity / Privacy thread
Rust Contracts RFC Draft / minutes from formal verification meeting (github.com)
L 11 pts 2 comments by 5d22b Jan 4, 2023 formalmethodsrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Linux memory overcommit (2007) (opsmonkey.blogspot.com)
L 10 pts 11 comments by 5d22b Aug 14, 2024 linux Systems / Low-Level / OS thread
Extending Rust's Effect System (blog.yoshuawuyts.com)
L 10 pts 13 comments by 5d22b Feb 11, 2024 pltrusttranscript Systems / Low-Level / OSProgramming Languages / CS Theory thread
Recommendations for an OS to install on an old Mac laptop?
L 9 pts 25 comments by 5d22b Mar 21, 2025 askmac Apple / macOS / iOS thread
A relative owns an old Mac laptop, a MacBook Pro 5,5, that is used as, basically, a Chromebook: to run Google Chrome to run Google Docs and other Google Web apps. The laptop runs Mac OS 10.11 and cannot update further. Its Google Chrome is stuck on an old version, 103.0.5060.134, because newer versi...
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) (dl.acm.org)
L 9 pts 3 comments by 5d22b Jun 8, 2024 pdfplt Programming Languages / CS Theory thread
Abstract: > Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable tracking such information in types, but at the cost of complicating signatures of common functions. Capabilities coupled with escape analysis offer safety and nat...