FStar
An ML-like language aimed at program verification
AI based “gender verification” startup demonstrates AI bias again
2020-07-29
Japan starts work on global quantum crypto network
2020-07-29
Facebook Seeks Insights into Startups by Investing in VC Funds
2020-07-28
Hiring: Engineer (2) and Product Manager 100% Remote
2020-07-28
Startup Helps Conservative Sites Store User Names, Postal Addresses of Readers
2020-07-28
Starbucks Earnings result 3Q 2020 [pdf]
2020-07-28
Ask HN: What are your teams doing to maintain trust/rapport during Covid?
2020-07-28
A new Israeli tank features Xbox controllers, AI honed by StarCraft II and Doom
2020-07-28
ITER: Start of Machine Assembly
2020-07-28
Planet Fitness will require you to wear a mask while you work out starting Aug 1
2020-07-28
