🦞🌯 Lobster Roll

Stories by GeoffWozniak

Systemd on Ubuntu 16.04 can't (or won't) reliably reboot your server (utcc.utoronto.ca)
L 29 pts 4 comments by GeoffWozniak Sep 6, 2017 systemd Systems / Low-Level / OS thread
How the coffee-machine took down a factory's control room (reddit.com)
L 29 pts 9 comments by GeoffWozniak Jul 25, 2017 security Security / Privacy thread
The Underwhelming Impact of Software Engineering Research (iansommerville.com)
L 28 pts 9 comments by GeoffWozniak Apr 6, 2022 programming Programming (General) thread
From Stolen Laptop to Inside the Company Network (dolosgroup.io)
L 28 pts 4 comments by GeoffWozniak Jul 29, 2021 security Security / Privacy thread
GCC should warn about 2^16 and 2^32 and 2^64 (gcc.gnu.org)
L 28 pts 23 comments by GeoffWozniak Jun 16, 2019 ccompilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
I do not use a debugger (lemire.me)
L 28 pts 31 comments by GeoffWozniak Jun 21, 2016 debuggingpractices Programming (General)Productivity / Career / Business thread
What ORMs have taught me: just learn SQL (wozniak.ca)
L 28 pts 24 comments by GeoffWozniak Aug 3, 2014 databasespracticesprogramming Programming (General)Data / Databases / InfrastructureProductivity / Career / Business thread
Write Fuzzable Code (blog.regehr.org)
L 26 pts 13 comments by GeoffWozniak Aug 19, 2019 formalmethods Programming (General)Programming Languages / CS Theory thread
A Typed, Algebraic Approach to Parsing (semantic-domain.blogspot.com)
L 26 pts 7 comments by GeoffWozniak Aug 1, 2018 compsci Programming Languages / CS Theory thread
Scrum makes you dumb (linkedin.com)
L 26 pts 9 comments by GeoffWozniak May 10, 2017 practices Productivity / Career / Business thread
On repl-driven programming (mikelevins.github.io)
L 25 pts 22 comments by GeoffWozniak Jan 3, 2021 programming Programming (General) thread
How to recognize AI snake oil (cs.princeton.edu)
L 25 pts 11 comments by GeoffWozniak Nov 20, 2019 aipdfslides AI / Machine Learning thread
Optimizations enabled by -ffast-math (kristerw.github.io)
L 24 pts 0 comments by GeoffWozniak Oct 20, 2021 c Systems / Low-Level / OS thread
A monorepo misconception - atomic cross-project commits (snellman.net)
L 24 pts 10 comments by GeoffWozniak Jul 21, 2021 vcs Programming (General) thread
Cores that don't count (sigops.org)
L 24 pts 3 comments by GeoffWozniak Jun 1, 2021 hardwarepdf Maker / DIY / Hardware thread
From the abstract: > We are accustomed to thinking of computers as fail-stop, especially the cores that execute instructions, and most system software implicitly relies on that assumption. During most of the VLSI era, processors that passed manufacturing tests and were operated within specificati...
What is Strict Aliasing and Why do we Care? (gist.github.com)
L 24 pts 6 comments by GeoffWozniak Jun 22, 2018 cc++ Systems / Low-Level / OS thread
Macros, Safety, and SOA (tim-harding.github.io)
L 23 pts 2 comments by GeoffWozniak Nov 3, 2024 rust Systems / Low-Level / OS thread
Thought Experiment: An Introductory Compilers Class (semantic-domain.blogspot.com)
L 23 pts 3 comments by GeoffWozniak Feb 17, 2020 compilerseducation Systems / Low-Level / OSProgramming Languages / CS Theory thread
Why Does Mozilla Maintain Our Own Root Certificate Store? (blog.mozilla.org)
L 23 pts 0 comments by GeoffWozniak Feb 15, 2019 security Security / Privacy thread
The puzzling empathy of debugging (wozniak.ca)
L 23 pts 2 comments by GeoffWozniak May 8, 2018 bookdebugging Programming (General)Culture / Philosophy / History / Reading thread
Unlearning Toxic Behaviors in a Code Review Culture (medium.com)
L 23 pts 4 comments by GeoffWozniak Feb 2, 2018 practices Programming (General)Productivity / Career / BusinessCulture / Philosophy / History / Reading thread
It's Time for Operating Systems to Rediscover Hardware (youtube.com)
L 22 pts 6 comments by GeoffWozniak Aug 7, 2021 osdevvideo Systems / Low-Level / OSMaker / DIY / Hardware thread
When Results Are All That Matters: The Case of the Angora Fuzzer (andreas-zeller.blogspot.com)
L 22 pts 1 comments by GeoffWozniak Oct 11, 2019 testing Programming (General) thread
GCC 15.1 Released (gcc.gnu.org)
L 21 pts 2 comments by GeoffWozniak Apr 25, 2025 compilersrelease Systems / Low-Level / OSProgramming Languages / CS Theory thread
Software against humanity? An Illichian perspective on the industrial era of software (cs.kent.ac.uk)
L 21 pts 8 comments by GeoffWozniak Sep 2, 2019 pdfprogrammingslides Programming (General) thread
What FP can learn from Smalltalk (youtube.com)
L 21 pts 0 comments by GeoffWozniak Nov 17, 2018 programmingvideo Programming (General) thread
Mathematicians deliver formal proof of Kepler Conjecture (eurekalert.org)
L 21 pts 1 comments by GeoffWozniak Jun 18, 2017 math Science / Math / Physics thread
In which computers help prove something that humans gave up on because it was too complicated.
What's worked in computer science (danluu.com)
L 21 pts 10 comments by GeoffWozniak Nov 25, 2015 compsci Programming Languages / CS TheoryScience / Math / Physics thread
Privacy and the Fediverse (AKA Mastodon, Pleroma, and Friendicas) (jonwatson.ca)
L 20 pts 4 comments by GeoffWozniak Oct 6, 2019 privacy Security / Privacy thread
Show/hide Emacs dired details in style (xenodium.com)
L 20 pts 1 comments by GeoffWozniak Oct 6, 2019 emacs Programming (General) thread