An Empirical Study on Type Annotations [pdf]
2021-07-13
Is Rust Used Safely by Software Developers?
2021-07-13
EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975
2021-07-13
To patch or not to patch: That is the question
2021-07-13
Rethinking Transportation 2020-2030 (2017) [pdf]
2021-07-13
There Is No Debate over Critical Race Theory
2021-07-13
Show HN: Large Numbers Hypothesis Revisited
2021-07-13
Knowing What Your Co-Worker Makes Doesn’t Close the Pay Gap
2021-07-13
Richard Branson and Jeff Bezos’s Deluded, Pointless Space Race
2021-07-13
RabbitMQ Streams Overview
2021-07-13