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