FStar
An ML-like language aimed at program verification
Cradle Lets You Design Custom Proteins by Just Typing in a Prompt
2022-11-19
Show HN: Given two bios, get AI generated conversation starter suggestions
2022-11-19
Ask HN: How do I get into robotics?
2022-11-19
How to Get Startup Ideas
2022-11-19
Ask HN: How do I build a website as a backend engineer?
2022-11-19
Show HN: Easylang – A browser-based first programming language
2022-11-19
Ask HN: Is there editors and IDE crisis?
2022-11-19
Ask HN: Why do rich tech companies lay off?
2022-11-19
Ask HN: Resources to Become a Better CTO
2022-11-19
Ask HN: What search engines are you using?
2022-11-19
