Metaprogramming in Idris [pdf]
2020-10-07
Google’s New Logos
2020-10-07
Facebook says it will block political ads after the polls close
2020-10-07
Facebook Widens Ban on Political Ads as Alarm Rises over Election
2020-10-07
Preventing an $8M attack on Ethereum’s deFI platform with property-based testing
2020-10-07
History of spam and evaluating mitigations in a privacy-centric, P2P tech stack
2020-10-07
Audio Watermarking Systems [pdf]
2020-10-07
Reddit Co-Founder Alexis Ohanian’s New VC Fund Invests in Disposable Camera App
2020-10-07
Nearly an Hour with Nvidia CEO on Future Arm, Networking, SW, Datacenter Targets
2020-10-07
Ask HN: Should FAANG be renamed GAAF?
2020-10-07