Volt
A ruby web framework where your ruby runs on both server and client
Generating Verified LLVM from Isabelle/HOL [pdf]
2020-01-20
Australian neobank Volt bags $48m in Series C funding
2020-01-20
Show HN: The app for finding musicians around you thru Spotify
2020-01-20
Volker Strassen, the Man Who Changed Matrix Multiplication
2020-01-19
Ask HN: Effective Ways of Volunteering for the Environment
2020-01-19
In death of dinosaurs, it was all about the asteroid – not volcanoes
2020-01-19
Infinite Media and Shamelessness
2020-01-18
Building Reliable Voting Machine Software (2007) [pdf]
2020-01-18
Volkswagen exec admits full self-driving cars 'may never happen'
2020-01-18
How I work on side projects
2020-01-18
