Video of my LDC talk @ FOSDEM'14

[bearophile via Digitalmars-d-announce]

Kai Nacke:

> In the same folder are also the videos of the other LLVM 
> related talk.

I have appreciated the "An approach for energy consumption 
analysis of programs using LLVM" talk, they even have an 
annotation that statically enforces a certain function to consume 
less than a specified amount of energy (expressed in pJ).

The "SPARK 2014: Hybrid Verification using Proofs and Tests" talk 
is nice, but I have seen it already elsewhere.

Bye,
bearophile