Thanks to Google's detailed technical data we can provide total memory unsafety statistics for public 0days by year: 2014 5/11 45% 2015 22/28 79% 2016 22/25 88% 2017 17/22 77% 2018 12/12 100% 2019 9/10 90% Total 87/108 81% #memoryunsafety

Elon Musk loves #EPFL Martin Vetterli EPFL Hyperloop EPFL

Very cool to see TLA+, P, and Dafny code on the keynote stage at AWS re:Invent.

When your shower has more GitHub commits than you...

TIL in #bash, to escape a single quote inside a single quoted string, you can use '"'"' stackoverflow.com/questions/1250… :P

RxJava 2.0.0 final is out! Thanks for all the feedback and contributions over the last 18 months! github.com/ReactiveX/RxJa…

Just gave my talk at the Scala Symposium. Here are the slides: slideshare.net/Odersky/implem…

Code.gov is the US government's open-source software hub engt.co/2fn3PwO

Announcing version v0 of the Scala Platform Process! scala-lang.org/blog/2016/11/2… Tell us what you think! :-)

🎉 Announcing Scastie! 🎉 Scala in the browser! Use any lib & any Scala version all in the browser! by Guillaume Massé scala-lang.org/blog/2017/02/2…

Excited to announce that our "Big Data Analysis with Scala and Spark" course is now LIVE on Coursera! +Capstone too! scala-lang.org/blog/2017/03/1…

Scala Native 0.1 is here! scala-lang.org/blog/2017/03/1…

🎉🎉 Scala is a GSoC org! 🎉🎉 Students! Get paid to work on Scala over the summer! ❤️ Pls RT! scala-lang.org/gsoc/2017.html

Pattern matching for #Java? cr.openjdk.java.net/~briangoetz/am… Java is becoming Scala...

Machine Learning xkcd.com/1838/ m.xkcd.com/1838/

Dotty 0.1.2-RC1 is released! Dotty is the name for a language and compiler that is slated to become Scala 3.0. scala-lang.org/blog/2017/05/3…

This is exciting: Formally verified #crypto just made it into #Firefox 57! x.com/beurdouche/sta…