Genode OS block-device encryption re-written in Ada/SPARK
2020-02-14
Category Theory for Programmers, OCaml edition (alpha)
2020-02-14
Textpattern CMS 4.8.0 beta 3 released
2020-02-14
Facebook reverses on paid influencers after Bloomberg memes
2020-02-14
Simplewall 3.1 Released
2020-02-14
Show HN: Tigress 3.1 – Obfuscator for C/Webassembly
2020-02-14
Mystery solved: Jellyfish can sting swimmers, prey with 'mucus grenades'
2020-02-14
Lab turns trash into valuable graphene in a flash
2020-02-14
Scientists find ally in fight against brain tumors: Ebola
2020-02-14
Parkinson's disease may start before birth
2020-02-14