FStar
An ML-like language aimed at program verification
ZAPcon Application Security Conf [Free] Starting Now
2021-03-09
How Much Polish Is There in Yiddish and Yiddish Chimeric Words (2015)
2021-03-09
Dropbox to Acquire DocSend for $165M
2021-03-09
Swiss supermarkets and kiosks will sell Bitcoin, starting next week. (German)
2021-03-09
Launch HN: Segments.ai (YC W21) – Build better datasets for image segmentation
2021-03-09
Ask HN: Thinking of going back to uni for a M.Sc. in CS, looking for feedback
2021-03-09
Ask HN: Thinking of going back to uni for a M.Sc. in CS, looking for feedback
2021-03-09
The Future Starts Now – decent book
2021-03-08
Ask HN: What Stories Would Make for a Good TV Adaptation?
2021-03-08
Startup Maturity Model
2021-03-08
