Profile cover photo
Profile photo
Aurélien Naldi
Discrete modelling in biology and free software geek. Part-time otaku.
Discrete modelling in biology and free software geek. Part-time otaku.
About
Posts

Post has shared content
Formally verified kernel crypto code that is converted to C and runs faster than the previously hand-written code. This is great stuff, I'm looking forward toward this project getting merged upstream, so I don't have to keep patching my local kernel, as well as the forthcoming rewrite of the kernel crypto code in this same manner!
Add a comment...

Post has attachment
Seems useful: push to temporary feature branch without having to create, merge, delete it explicitly
Add a comment...

Post has shared content
Another impressive application of neural networks!
Finally! A go software can beat pros in even games!

We were all waiting for more information about google's surprise about go (which they teased a few months ago). It turns out it can beat the European champion 5-0 in even games. A match against Lee Sedol is scheduled in March!
Add a comment...

Post has shared content

Post has shared content
Happy Birthday Mickey Mouse! 87 years old today!
Add a comment...

Post has attachment

Post has attachment

Post has attachment

Post has attachment
So casio had (weird) smartwatches 15 years before smartphone got popular :)
Add a comment...

Post has attachment
These weird images show some of the internals of the image recognition methods that google has been putting in place over the last years, and how it sometimes discovers things that are not there...
Add a comment...
Wait while more posts are being loaded