'Propositions as Types' by Philip Wadler (2015) [video]
2021-08-19
9to5Mac Writer Paid Source $500 in Bitcoin for Stolen Apple Data
2021-08-19
California Wine Country Towns Are Banning New Gas Stations
2021-08-19
You’ve likely never heard of the only woman drafted into the NBA
2021-08-19
Google Bans Location Data Firm Funded by Former Saudi Intelligence Head
2021-08-19
R/HobbyDrama: How to win a videogame forum dispute by leaking military secrets
2021-08-19
Show HN: Drone Views Semantic Segmentation (PyTorch)
2021-08-19
The Global Case-Fatality Rate of Covid-19 Has Been Declining Since May 2020
2021-08-18
Speechly Shows a New Model for Voice UI on the Web
2021-08-18
Video: The Bizarre Life of John McAfee
2021-08-18