FStar
An ML-like language aimed at program verification
Show HN: Practical GDPR Compliance Guide for Startup Founders
2021-11-30
Launch HN: Kitchenful (YC S21) – Weekly recipes with integrated shopping
2021-11-30
Technology Diplomacy Changes Are the Right Start
2021-11-30
Launch HN: DailyBot (YC S21) – in-chat automation for work
2021-11-30
Better to open a crypto account or savings account for my children?
2021-11-30
Games in which you walk and get immersed (2019)
2021-11-30
Ask HN: Are Indeed, LinkedIn the go-to places for exploring new jobs?
2021-11-30
Arctic Ocean started getting warmer decades earlier than we thought
2021-11-30
Ask HN: Best old video games to teach 5yr old how to read ?
2021-11-28
Ask HN: Tips for a 30 year old trying to switch to IT/software development?
2021-11-28
