🦞🌯 Lobster Roll

Stories by sergeyb

High Coverage Testing of Haskell Programs (doc.ic.ac.uk)
L 8 pts 1 comments by sergeyb Nov 11, 2019 haskellpdftesting Programming (General)Programming Languages / CS Theory thread
Porting Lean to the ESP32-C3 RISC-V microcontroller (kuruczgy.com)
L 7 pts 0 comments by sergeyb Nov 4, 2025 compilersformalmethodshardware Systems / Low-Level / OSProgramming Languages / CS TheoryMaker / DIY / Hardware thread
Testing the MSVC Compiler Backend (devblogs.microsoft.com)
L 7 pts 1 comments by sergeyb Oct 10, 2024 compilerstesting Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Open source embedded data storage engines (github.com)
L 7 pts 0 comments by sergeyb Apr 27, 2020 databasesprogramming Systems / Low-Level / OSProgramming (General)Data / Databases / Infrastructure thread
Beyond Photography - The Digital Darkroom (spinroot.com)
L 7 pts 0 comments by sergeyb Jun 5, 2019 graphicshistorical Design / UX / VisualizationCulture / Philosophy / History / ReadingInternet / Digital Culture thread
Memory leak regression testing with V8/Node.js (joyeecheung.github.io)
L 6 pts 0 comments by sergeyb Dec 10, 2025 javascriptnodejstesting Web DevelopmentProgramming (General) thread
Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 (youtube.com)
L 6 pts 0 comments by sergeyb Oct 7, 2024 cformalmethodsvideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Coverage-guided fuzzing of Haskell programs for cheap (tweag.io)
L 6 pts 0 comments by sergeyb Jul 7, 2023 haskelltesting Programming (General)Programming Languages / CS Theory thread
Apalache - Symbolic Model Checker for TLA+ (apalache.informal.systems)
L 6 pts 3 comments by sergeyb Sep 27, 2022 formalmethodspractices Programming Languages / CS TheoryProductivity / Career / Business thread
When is "ACID" ACID? Rarely (bailis.org)
L 6 pts 1 comments by sergeyb Sep 2, 2020 databasestesting Programming (General)Data / Databases / Infrastructure thread
Another Path for Software Quality? Automated Software Verification and OpenBSD (doi.asiabsdcon.org)
L 6 pts 0 comments by sergeyb May 14, 2020 formalmethodsopenbsdpdf Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Linux Kernel Defence Map (github.com)
L 6 pts 1 comments by sergeyb Nov 11, 2019 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
2019 USENIX Annual Technical Conference (youtube.com)
L 6 pts 0 comments by sergeyb Aug 20, 2019 compscivideo Programming Languages / CS Theory thread
Fuzzing as the basis for effective development a case study of LuaJIT (youtube.com)
L 5 pts 0 comments by sergeyb Oct 9, 2025 luatestingvideo Programming (General) thread
[Proposal] introduce a new event in a Lua hook mechanism (groups.google.com)
L 5 pts 1 comments by sergeyb Dec 6, 2024 luaprogrammingtesting Programming (General) thread
Tarantool 2.11.0 Release Candidate 1 is out (github.com)
L 5 pts 4 comments by sergeyb Mar 1, 2023 databasesluarelease Programming (General)Data / Databases / Infrastructure thread
Text based requirement management with StrictDoc (florian-kromer.medium.com)
L 5 pts 0 comments by sergeyb Jan 11, 2022 practicesprogramming Programming (General)Productivity / Career / Business thread
The 2020 Expert Survey on Formal Methods (fmeurope.org)
L 5 pts 0 comments by sergeyb Dec 17, 2020 formalmethodspdf Programming Languages / CS Theory thread
RFC 9505: A Survey of Worldwide Censorship Techniques (rfc-editor.org)
L 4 pts 0 comments by sergeyb Nov 21, 2023 networking Data / Databases / Infrastructure thread
Mutation testing tool based on LLVM/Clang with strong focus on C and C++ languages (mull.readthedocs.io)
L 4 pts 0 comments by sergeyb Jul 9, 2021 cc++compilerstesting Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Probabilistic flakiness: How do you test your tests? (engineering.fb.com)
L 4 pts 0 comments by sergeyb Dec 17, 2020 practicestesting Programming (General)Productivity / Career / Business thread
MicroTESK (toolkit that automates development of test program generators for microprocessors) (microtesk.org)
L 4 pts 1 comments by sergeyb Dec 9, 2018 formalmethodshardwaretesting Programming (General)Programming Languages / CS TheoryMaker / DIY / Hardware thread
See also: - [MicroTESK source code repository](https://forge.ispras.ru/projects/microtesk/) - [MicroTESK presentation on RISC-V Summit 2018](https://youtu.be/ylTA63vPHYU?t=1234)
Fuzzing Lua in OSS-Fuzz (groups.google.com)
L 3 pts 0 comments by sergeyb Jan 27, 2026 luatesting Programming (General) thread
Kernel Recipes: Test-driven kernel releases (youtube.com)
L 3 pts 1 comments by sergeyb Jun 2, 2022 linuxtestingvideo Systems / Low-Level / OSProgramming (General) thread
Responsiveness under Working Conditions (datatracker.ietf.org)
L 3 pts 1 comments by sergeyb Mar 23, 2022 networkingperformance Web DevelopmentData / Databases / Infrastructure thread
In late 2021 and early 2022, researchers at Apple took to heart the internet-wide call for giving users more actionable information about the state of their network connections and proposed a new metric, RPM: > This document specifies the "RPM Test" for measuring responsiveness. It uses common pr...
Ten-year experience in DBMS testing (dev.to)
L 3 pts 0 comments by sergeyb Feb 4, 2022 cdatabasesdistributedluaprogrammingtesting Systems / Low-Level / OSProgramming (General)Data / Databases / Infrastructure thread
Validating consistency and the absence of data loss in Redpanda (vectorized.io)
L 3 pts 0 comments by sergeyb Sep 23, 2020 distributedtesting Programming (General)Data / Databases / Infrastructure thread
Teaching software testing concepts using a mutation testing game (code-defenders.org)
L 3 pts 4 comments by sergeyb Nov 19, 2017 educationgamestesting Programming (General)Gaming / Retro Computing thread
command-line transactional consistency checker for black-box databases (github.com)
L 2 pts 0 comments by sergeyb Jan 7, 2022 databasesdistributedtesting Programming (General)Data / Databases / Infrastructure thread
Mining for logic bugs in the Citus extension to Postgres with SQLancer (techcommunity.microsoft.com)
L 2 pts 0 comments by sergeyb Sep 14, 2020 databasestesting Programming (General)Data / Databases / Infrastructure thread