Prague
an invention by vbabka
Nothing at the moment
about 1 year ago: vbabka liked early stage kdump support
about 1 year ago: vbabka started Picopad development
about 1 year ago: vbabka originated Picopad development
almost 2 years ago: vbabka disliked Dochazka
over 2 years ago: vbabka liked consolidate mm debugging tools and package them
over 2 years ago: vbabka liked Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO)
over 7 years ago: vbabka joined crash-python
over 8 years ago: vbabka joined gdb python target / binding to libkdumpfile
almost 9 years ago: vbabka liked Let’s Encrypt integration into openSUSE/SLE
almost 9 years ago: vbabka liked Kernel-CI
almost 9 years ago: vbabka liked Assembly Diff Tool for kGraft
almost 9 years ago: vbabka liked Multimedia insane migration
almost 9 years ago: vbabka liked Turbulent Molecular Dynamics Simulations in C
almost 9 years ago: vbabka liked Learn Haskell by creating an interpreter
almost 9 years ago: vbabka liked Dive into Linux Kernel Memory management
almost 9 years ago: vbabka liked Microcorruption CTF
almost 9 years ago: vbabka liked libkdumpfile/gdb-kdump improvements
almost 9 years ago: vbabka liked Learn Coccinelle
almost 9 years ago: vbabka liked Look at Static Code Analysis and Code Coverage for C++
almost 9 years ago: vbabka liked kGraft analysis tool
almost 9 years ago: vbabka joined libkdumpfile/gdb-kdump improvements
over 9 years ago: vbabka added keyword "modelchecking" to Try to model check gfp_flags with cbmc
over 9 years ago: vbabka added keyword "codeverification" to Try to model check gfp_flags with cbmc
over 9 years ago: vbabka started Try to model check gfp_flags with cbmc