FStar
An ML-like language aimed at program verification
Ask HN: How do you handle toxic coworkers?
2020-02-19
Learning Ruby in Public
2020-02-18
Show HN: TownChat connects users and tourists with local people in the town
2020-02-18
App Store downloads show China’s workforce is starting to work from home
2020-02-18
Ask HN: My manager suggested me to start taking Ritalin
2020-02-18
P&G Ventures and the adoption of the lean-startup gospel by corporate America
2020-02-18
Ask HN: What surprised you after you started working at FAANG?
2020-02-18
AI Research Rankings 2019: Insights from NeurIPS and ICML
2020-02-18
Rural America Doesn’t Have to Starve to Death
2020-02-18
The Body Shop will start hiring the first person who applies for any retail job
2020-02-18
