FStar
An ML-like language aimed at program verification
I'm starting a tech cooperative. Ping me if interested
2022-06-17
Ask HN: Best resources to go through “pivot hell”?
2022-06-17
Hyperledger Fabric Node
2022-06-17
Tell HN: The Tech news section of CNN's website still references Google Plus
2022-06-16
Tell HN: Triplebyte is, yet again, making user profiles public without consent
2022-06-16
GitHub waited 3 months to notify about potential compromise
2022-06-16
Tell HN: GitHub Apps bug created tokens with elevated privileges
2022-06-16
Tell HN: Got an email titled “Important information about your GitHub account”
2022-06-16
Ask HN: Do you share your leetcode profile link anywhere?
2022-06-16
Court orders Minneapolis to cease implementation of 2040 plan
2022-06-16
