Prague
No project yet, join one!
Nothing at the moment
about 2 months ago: vbabka disliked Dochazka
9 months ago: vbabka liked consolidate mm debugging tools and package them
9 months ago: vbabka liked Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO)
about 6 years ago: vbabka joined crash-python
over 6 years ago: vbabka joined gdb python target / binding to libkdumpfile
over 7 years ago: vbabka liked Let’s Encrypt integration into openSUSE/SLE
over 7 years ago: vbabka liked Kernel-CI
over 7 years ago: vbabka liked Assembly Diff Tool for kGraft
over 7 years ago: vbabka liked Multimedia insane migration
over 7 years ago: vbabka liked Turbulent Molecular Dynamics Simulations in C
over 7 years ago: vbabka liked Learn Haskell by creating an interpreter
over 7 years ago: vbabka liked Dive into Linux Kernel Memory management
over 7 years ago: vbabka liked Microcorruption CTF
over 7 years ago: vbabka liked libkdumpfile/gdb-kdump improvements
over 7 years ago: vbabka liked Learn Coccinelle
over 7 years ago: vbabka liked Look at Static Code Analysis and Code Coverage for C++
over 7 years ago: vbabka liked kGraft analysis tool
over 7 years ago: vbabka joined libkdumpfile/gdb-kdump improvements
almost 8 years ago: vbabka added keyword "modelchecking" to Try to model check gfp_flags with cbmc
almost 8 years ago: vbabka added keyword "codeverification" to Try to model check gfp_flags with cbmc
almost 8 years ago: vbabka started Try to model check gfp_flags with cbmc
almost 8 years ago: vbabka originated Try to model check gfp_flags with cbmc
over 8 years ago: vbabka liked detect and visualise git commits' patch-based dependencies
over 8 years ago: vbabka liked orthos.arch.suse.de uses shared password for root on hosts.
