Lwan
Experimental, scalable, high performance HTTP server
A Review of the Lean Theorem Prover
2020-12-27
IETF BCP 47 language tag
2020-12-27
The Faculty of Language: What Is It, Who Has It, and How Did It Evolve? (2002)
2020-12-27
Ask HN: MVP for Opening a Restaurant?
2020-12-27
Motivations
2020-12-26
Show HN: Template: A liquid-like templating language
2020-12-26
An Oscar Winner Made a Khashoggi Documentary. Streaming Services Didn’t Want It
2020-12-26
Good book for product or feature planning?
2020-12-26
Thread by Prof Joshua Landy on Glenn Greenwald
2020-12-26
Know-it-all AI learns by reading the entire web nonstop
2020-12-26
