Genode OS block-device encryption re-written in Ada/SPARK
2020-02-14
Dunes use turbulence as a buffer to prevent collisions
2020-02-14
An airdrop that preserves recipient privacy [pdf]
2020-02-14
California’s housing crisis: how a bureaucrat pushed to build
2020-02-14
Vladimir Vapnik: Predicates, Invariants, and the Essence of Intelligence
2020-02-14
Printing tiny, high-precision objects
2020-02-14
Google in talks with publishers to pay for premium news content: WSJ
2020-02-14
EU Bank launches ambitious new climate strategy and Energy Lending Policy (2019)
2020-02-14
Google Says Colocated Servers Aren't a Physical Presence [pdf]
2020-02-14
Ask HN: Do you prefer Go or Rust for enterprise software development?
2020-02-14