Newest stories submitted by sergeyb.

  1. 5
    [Proposal] introduce a new event in a Lua hook mechanism lua programming testing groups.google.com
    sergeyb avatar authored by sergeyb 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 7
    Testing the MSVC Compiler Backend compilers testing devblogs.microsoft.com
    sergeyb avatar via sergeyb 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 6
    Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 video c formalmethods youtube.com
    sergeyb avatar via sergeyb 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    RFC 9505: A Survey of Worldwide Censorship Techniques 2 networking rfc-editor.org
    sergeyb avatar via sergeyb 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 6
    Coverage-guided fuzzing of Haskell programs for cheap haskell testing tweag.io
    sergeyb avatar via sergeyb 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 23
    x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs assembly compilers formalmethods github.com/zwegner
    sergeyb avatar via sergeyb 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  7. 5
    Tarantool 2.11.0 Release Candidate 1 is out databases lua release github.com/orgs
    sergeyb avatar authored by sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  8. 10
    luzer: A coverage-guided, native Lua fuzzing engine lua programming security testing github.com/ligurio
    sergeyb avatar authored by sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 6
    Apalache - Symbolic Model Checker for TLA+ formalmethods practices apalache.informal.systems
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. 9
    Fuzzing CPUs by proxy using SiliFuzz hardware testing github.com/google
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 8
    Lua 5.1 C API manual pages lua programming github.com/ligurio
    sergeyb avatar authored by sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 3
    Kernel Recipes: Test-driven kernel releases video linux testing youtube.com
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 55
    A Kernel Hacker Meets Fuchsia OS osdev security a13xp0p0v.github.io
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 14
    TAP 14 specification - Test Anything Protocol testing testanything.org
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 3
    Responsiveness under Working Conditions ☶ networking performance datatracker.ietf.org
    sergeyb avatar via sergeyb 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 3
    Ten-year experience in DBMS testing c databases distributed lua programming testing dev.to/tarantool
    sergeyb avatar authored by sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 5
    Text based requirement management with StrictDoc practices programming florian-kromer.medium.com
    sergeyb avatar via sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 2
    command-line transactional consistency checker for black-box databases databases distributed testing github.com/ligurio
    sergeyb avatar authored by sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 15
    Stochastic bisection support in Git vcs lore.kernel.org
    sergeyb avatar via sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  20. 56
    Why the C Language Will Never Stop You from Making Mistakes c programming thephd.dev
    sergeyb avatar via sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 21 comments
  21. 12
    Git as a storage testing vcs bronevichok.ru
    sergeyb avatar authored by sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 4
    Mutation testing tool based on LLVM/Clang with strong focus on C and C++ languages c c++ compilers testing mull.readthedocs.io
    sergeyb avatar via sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 26
    Goodbye C developers: The future of programming with certified program synthesis formalmethods programming gopiandcode.uk
    sergeyb avatar via sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 32 comments
  24. 16
    FUSE-based file system to inject faults distributed testing github.com/ligurio
    sergeyb avatar authored by sergeyb 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  25. 24
    A workbench for writing toy implementations of distributed algorithms clojure distributed testing github.com/jepsen-io
    sergeyb avatar via sergeyb 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>