šŸ¦žšŸŒÆ Lobster Roll

Stories by sergeyb

Why the C Language Will Never Stop You from Making Mistakes (thephd.dev)
L 56 pts 21 comments by sergeyb Dec 29, 2021 cprogramming Systems / Low-Level / OSProgramming (General) thread
A Kernel Hacker Meets Fuchsia OS (a13xp0p0v.github.io)
L 55 pts 1 comments by sergeyb May 25, 2022 osdevsecurity Systems / Low-Level / OSSecurity / Privacy thread
Flipper Zero ā€” Multi-tool Device for Hackers (flipperzero.one)
L 38 pts 24 comments by sergeyb May 26, 2020 hardware Maker / DIY / Hardware thread
Distributed, offline-first bug tracker embedded in git, with bridges (github.com)
L 38 pts 3 comments by sergeyb May 22, 2020 distributedvcs Systems / Low-Level / OSProgramming (General)Data / Databases / Infrastructure thread
Full text of "ML for the Working Programmer" now online! (cl.cam.ac.uk)
L 38 pts 8 comments by sergeyb Sep 12, 2017 ml Programming (General)Programming Languages / CS Theory thread
Free books about formal methods and verification (github.com)
L 36 pts 9 comments by sergeyb Sep 23, 2017 formalmethodstesting Programming (General)Programming Languages / CS Theory thread
Goodbye C developers: The future of programming with certified program synthesis (gopiandcode.uk)
L 27 pts 32 comments by sergeyb Jul 7, 2021 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
Visual guide to SSH tunnels (robotmoon.com)
L 27 pts 0 comments by sergeyb Feb 8, 2021 networkingopenbsd Systems / Low-Level / OSData / Databases / Infrastructure thread
A workbench for writing toy implementations of distributed algorithms (github.com)
L 24 pts 0 comments by sergeyb Mar 2, 2021 clojuredistributedtesting Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
The scariest boot loader code (miod.online.fr)
L 23 pts 1 comments by sergeyb Dec 19, 2025 hardwarenetbsdopenbsd Systems / Low-Level / OSProgramming (General)Maker / DIY / Hardware thread
x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com)
L 23 pts 5 comments by sergeyb May 15, 2023 assemblycompilersformalmethods Systems / Low-Level / OSProgramming Languages / CS Theory thread
falsify: Hypothesis-inspired shrinking for Haskell (well-typed.com)
L 22 pts 11 comments by sergeyb Apr 19, 2025 haskellpythontesting Programming (General)Programming Languages / CS Theory thread
ForgeFed: federating Git services (github.com)
L 19 pts 1 comments by sergeyb Sep 27, 2019 vcs Programming (General) thread
List of companies that uses formal methods in software engineering (github.com)
L 19 pts 1 comments by sergeyb Dec 8, 2018 formalmethods Programming (General)Programming Languages / CS Theory thread
FUSE-based file system to inject faults (github.com)
L 16 pts 4 comments by sergeyb Jul 1, 2021 distributedtesting Systems / Low-Level / OSProgramming (General)Data / Databases / Infrastructure thread
My ISP Is Killing My Idle SSH Sessions. Yours Might Be Too (anderstrier.dk)
L 16 pts 9 comments by sergeyb Jan 15, 2021 networking Data / Databases / Infrastructure thread
Propane is a new language for configuring the network. (propane-lang.org)
L 16 pts 5 comments by sergeyb Jan 30, 2018 networking Data / Databases / Infrastructure thread
Introducing luzer, a coverage-guided Lua fuzzing engine (bronevichok.ru)
L 15 pts 2 comments by sergeyb Aug 4, 2025 luapracticesprogrammingsecuritytesting Programming (General)Security / PrivacyProductivity / Career / Business thread
Stochastic bisection support in Git (lore.kernel.org)
L 15 pts 3 comments by sergeyb Jan 6, 2022 vcs Programming (General) thread
TAP 14 specification - Test Anything Protocol (testanything.org)
L 14 pts 2 comments by sergeyb Apr 28, 2022 testing Programming (General) thread
TLA+ on OpenBSD (bronevichok.ru)
L 14 pts 0 comments by sergeyb May 14, 2020 formalmethodsopenbsd Systems / Low-Level / OSProgramming Languages / CS Theory thread
Unix V6 operating system for Soviet personal computer BK-0010/0011M (github.com)
L 14 pts 4 comments by sergeyb Oct 18, 2019 cprogrammingunix Systems / Low-Level / OSProgramming (General) thread
Git as a storage (bronevichok.ru)
L 13 pts 0 comments by sergeyb Oct 8, 2021 testingvcs Programming (General) thread
Contracts in OpenBSD (2010) (kindsoftware.com)
L 13 pts 7 comments by sergeyb Sep 6, 2018 formalmethodsopenbsdpdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
How do you organize your photos?
L 12 pts 29 comments by sergeyb May 26, 2020 askweb Web Development thread
Personally I store all photos at home on external USB storage and access to them using geeqie (popular photo viewer). Now looking for self-hosted solutions like [Photoprism](https://github.com/photoprism/photoprism) or [dogsheep-photos](https://simonwillison.net/2020/May/21/dogsheep-photos/). Iā€™m cu...
Is Java More Secure than C? (insights.sei.cmu.edu)
L 12 pts 2 comments by sergeyb Nov 8, 2019 cjavaprogramming Systems / Low-Level / OSProgramming (General) thread
luzer: A coverage-guided, native Lua fuzzing engine (github.com)
L 10 pts 0 comments by sergeyb Mar 1, 2023 luaprogrammingsecuritytesting Programming (General)Security / Privacy thread
OpenBSD testing wiki (github.com)
L 10 pts 0 comments by sergeyb Mar 28, 2019 openbsdtesting Systems / Low-Level / OSProgramming (General) thread
Fuzzing CPUs by proxy using SiliFuzz (github.com)
L 9 pts 0 comments by sergeyb Sep 11, 2022 hardwaretesting Programming (General)Maker / DIY / Hardware thread
Lua 5.1 C API manual pages (github.com)
L 8 pts 2 comments by sergeyb Jul 26, 2022 luaprogramming Programming (General) thread