FStar
An ML-like language aimed at program verification
My startup founder resolutions for 2023
2023-01-04
Over 50% of new startups don’t use .COM domains
2023-01-04
Someone recreated the Star Wars theme in Logic Pro and sample libraries
2023-01-04
Gzip and Zip File Extraction from stdin
2023-01-04
Get Started with Rust: Generics
2023-01-04
Tips for Creating a Sustainable Startup
2023-01-04
Show HN: Siri Shortcut to request voice enabled AI gen conversation starter
2023-01-04
Which books or courses to recommend to beginners for learning coding in 2023?
2023-01-04
Write assembly that opens each file in a dir and changes foo with bar
2023-01-04
Ask HN: How to Manage Tasks?
2023-01-04
