FStar
An ML-like language aimed at program verification
A tool help you generate Golang struct from MySQL table
2019-12-26
Star Driven Development
2019-12-26
Books Recommendation: Breaking down a problem into sub-problems (in general)
2019-12-25
Post-Main Sequence Stars
2019-12-25
Tell HN: I used to be homeless and want to work as a software developer
2019-12-25
Ask HN: Why have post numbers become green and red?
2019-12-25
Ask HN: How to implement Telemetry for an Open Source project correctly?
2019-12-25
Some lower-paid workers will start getting overtime in the New Year
2019-12-25
Ask HN: Front end CSS frameworks for 2020
2019-12-25
Ask HN: How to Approach Designing a FullStack Web App?
2019-12-25
