FStar
An ML-like language aimed at program verification
‘The lowest I’ve ever been’: how playing Jar Jar Binks led to abuse, near death
2023-07-29
Ask HN: Why is open source vulnerability management still an unsolved problem?
2023-07-27
Chart markers for use in finance, standardised
2023-07-27
New syntax for string interpolation in F#
2023-07-27
Ask HN: Is crypto an unviable, tech-bubble delusion?
2023-07-27
Ask HN: Who/what introduced you to Hacker News? How long have you been here?
2023-07-27
Ask HN: Anyone know anyone over at T-Mobile corp web operations?
2023-07-27
Legendary tech billionaire (Jim Clark) accused of fraud in pot startup lawsuit
2023-07-27
Ask HN: Can cycling be less CO2 efficient than driving an EV?
2023-07-27
Refact: Open-Source GitHub Copilot Alternative with LLama2, Starcoder, WizardLM
2023-07-27
