Artur Meski artur
  • UK
  • https://meski.io
  • formal methods, software reliability, testing and verification

  • Joined on 2026-07-27
artur pushed to master at artur/ta-splitting 2026-07-27 22:29:50 +01:00
e3a018d2be README
6a17587378 Initial commit
4eb029f91e init
artur created branch master in artur/ta-splitting 2026-07-27 22:29:49 +01:00
artur created branch main in artur/scrbblr 2026-07-27 22:29:47 +01:00
artur pushed to main at artur/scrbblr 2026-07-27 22:29:47 +01:00
33d83618dc Fix correctness and robustness issues found in a full code review
23ef54555e Filter domain-like garbage out of genres
f6e1a6d4ea Format long listen times in days and center the pin dot
8dd316f6ae Restore source dots in dedicated report columns
4ccd310667 Improve report source column and mobile table layout
Compare 10 commits »
artur created repository artur/ta-splitting 2026-07-27 22:29:46 +01:00
artur created repository artur/scrbblr 2026-07-27 22:29:43 +01:00
artur created branch main in artur/imap-nuke 2026-07-27 22:29:34 +01:00
artur pushed to main at artur/imap-nuke 2026-07-27 22:29:34 +01:00
97eca4ff44 the beginning of the end
artur created repository artur/imap-nuke 2026-07-27 22:29:31 +01:00
artur created branch master in artur/dhcpleasemon.rs 2026-07-27 22:29:26 +01:00
artur pushed to master at artur/dhcpleasemon.rs 2026-07-27 22:29:26 +01:00
ecbd781321 Fixed skipping of interfaces that don't have IPv6 in -6 mode
cffb6522e3 IPv6 lease monitoring
c932e46ade Verbosity & silly bug
f7e46528b8 Readme
32232680b8 Trigger only when something has changed
artur created repository artur/dhcpleasemon.rs 2026-07-27 22:29:23 +01:00