FosDem

@pietercolpaert What is it? #fosdem

— Fabian Tilmant (@fabnet_be)2013-02-02 08:18:26

Certified compilers also part of the verification chain for microkernels : moar CompCert, please ! /cc @mdecky #fosdem

— Francois Garillot (@huitseeker)2013-02-02 08:18:22

@nitot #FOSDEM has the highest conference viscosity index of any conference I go to. The time it takes to go from A to B is amazing.

— Dave Neary (@nearyd)2013-02-02 08:18:09

Food for the geek brain, O'reilly bookstand at #FOSDEM http://t.co/m1DTCakn

— Frits van der Holst (@FritsvanderH)2013-02-02 08:18:09

@w0mb_at I couldn't make it to #fosdem

— Jörn Horstmann (@jhorstmann23)2013-02-02 08:17:40

#fosdem #popcorn #systemd vs #eudev on separated /usr

— Rui Seabra (@RuiSeabra)2013-02-02 08:17:16

Listening to @mdecky talking about formally verified microkernel architecture at #fosdem : VCC, @frama_c plugged ... but compiler safety ?

— Francois Garillot (@huitseeker)2013-02-02 08:17:09

Thank you to @zeljkofilipin for providing wikimedia Browser testcode https://t.co/joLwwjar #fosdem #wikimedia

— Thomas Mohaupt (@ThoMo1969)2013-02-02 08:16:56

OH: "I told you not to do it!" #fosdem

— Yuri Teirlynck (@blubtwit)2013-02-02 08:16:50

RT @geoffreydesmet: "The water cooler brings people together, the closest thing to that in open source software is IRC" #fosdem

— Andrew Shore (@AJShore)2013-02-02 08:16:43