FStar
An ML-like language aimed at program verification
Ask HN: If Lucille Ball was around today would she be a star of Twitter?
2023-10-07
Ask HN: What are your go-to strategies to presale and/or validate your idea?
2023-10-07
What's the point of automatic on-boot decrypting LUKS volumes?
2023-10-07
Amazon launches test satellites to rival Musk's Starlink
2023-10-07
Show HN: A gallery of dev tool marketing examples
2023-10-07
Getting Started in KiCad 7.0
2023-10-07
Ask HN: What is the error alerting stack at your startup?
2023-10-07
Ashton Kutcher's 'non-profit startup' makes millions
2023-10-07
Ask HN: Does an open source model work for me?
2023-10-07
Ask HN: Licensing shrink-wrapped software to a reseller?
2023-10-07
