F#
Strongly-typed, functional-first programming language for writing simple code to solve complex problems
Resources for Learning to Code
2021-07-13
An Empirical Study on Type Annotations [pdf]
2021-07-13
EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975
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
Show HN: Large Numbers Hypothesis Revisited
2021-07-13
Quantum Computing on a Chip: Brace for the Revolution
2021-07-13
Biden picks former West Virginia health official as drug czar
2021-07-13
United Airlines to buy 100, 19-seat electric planes from Heart Aerospace
2021-07-13
