Mighty (Faster Chrome Streamed from the Cloud) Is Hiring Engineers on 2020-11-21 17:01 (#5APAB) Comments
Why do proof assistants use dependent type theory instead of set theory? on 2020-11-21 02:32 (#5ANTJ) Comments
Google plans to shut down Google Voice integration with classic Hangouts on 2020-11-20 20:39 (#5ANJ2) Comments
NHS planning to start covid vaccination of under 50s by end of January on 2020-11-20 17:57 (#5AN9G) Comments
Async communication: don't expect immediate answer, expect better answer on 2020-11-20 17:19 (#5ANAQ) Comments
Study identifies reasons for soaring nuclear plant cost overruns in the U.S. on 2020-11-20 16:10 (#5AN2V) Comments
Symbolics, Inc.: A failure of heterogeneous engineering (2001) [pdf] on 2020-11-20 15:52 (#5AN2W) Comments
AB07-USB3FMC: The $1.65k eval board they can't be bothered to test on 2020-11-20 15:26 (#5AN3R) Comments
I've now played with a Raspberry Pi 400 for a week and here are my conclusions on 2020-11-20 15:21 (#5AN2Z) Comments
Show HN: I made an alternative to Google Alerts that listens to social media on 2020-11-20 15:08 (#5AN31) Comments
A Gentle Introduction on How to Use Anki to Improve Your Memory on 2020-11-20 13:25 (#5AMZX) Comments
French Scientist Didier Raoult Given Rusty Razor Award For Pseudoscience on 2020-11-20 12:10 (#5AMSY) Comments
Danish study finds face masks provide limited protection to wearer on 2020-11-20 11:52 (#5AMX2) Comments
Pfizer submits Covid vaccine to FDA for approval, to distribute in December on 2020-11-20 11:52 (#5AMQJ) Comments
Show HN: HerJobs-Diversify remote teams with female talent from emerging country on 2020-11-20 10:46 (#5AMMB) Comments
James Dyson Award – International and Sustainability winners announced on 2020-11-20 08:45 (#5AMJT) Comments
Spring-powered wheel claims to be ‘E-bike alternative at lower cost’ on 2020-11-20 07:53 (#5AMH6) Comments
Increase in Bitcoin Addresses as More People Join the BTC Price Surge on 2020-11-20 07:01 (#5AMG1) Comments
Hacker NewsHacker News