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

Using Client-Side Map Data to Improve Real-Time Positioning

2021-07-13

Scientists Discover the First Known Algae Species with Three Distinct Sexes

2021-07-13

onetool: The first startup ever sold as an NFT

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