The consequential difference between busy work and formative work
2020-02-28
ZetZ is a Formally Verified Dialect of C
2020-02-27
Testing a new conversational format for LinkedIn: Stories
2020-02-27
The Assumption of Normality in Time Series
2020-02-27
Ask HN: What are day to day “problems” that have verified solutions?
2020-02-25
WebP: New Format for Web Images
2020-02-25
LV2 plugin format
2020-02-25
Show HN: The new code formatter for Erlang: rebar3 format
2020-02-25
Clinical characteristics of 50k patients with 2019-nCoV infection
2020-02-25
Unpopular opinion: Governments are doing the right thing by lying to the public
2020-02-25