54:12
[FOSDEM 2014] SPARK 2014: Hybrid Verification using Proofs and Tests
TalksDump
53:52
[FOSDEM 2014] Introduction to Ada for Beginning and Experienced Programmers
57:38
[FOSDEM 2014] Camlistore
20:08
[FOSDEM 2014] Interfaces: a new leaf for an old book
32:22
[FOSDEM 2014] Write your own Go compiler
1:01:52
[FOSDEM 2014] Scaling with go: Youtube's Vitess
53:58
[FOSDEM 2014] Porting Go to New Platforms
34:03
[FOSDEM 2014] Looking toward Go 1.3
36:12
[FOSDEM 2014] Iris Decentralized Messaging
48:26
[FOSDEM 2014] Go Lightning Talks
