Debian has recently gained its debuginfod server (https://debuginfod.debian.net), but what exactly is it and how do you use it? If you would like to know more about the service and check out a demo on how to make GDB talk to it, you are welcome to attend this talk :-).