rwmj
- Karma
- 43,473
- Created
- 16 years ago
About
https://rwmj.wordpress.com/Recent Submissions
- 1. ▲ Workers say they're drowing in "workslop" (theguardian.com)
- 2. ▲ Coq theorem prover is now called Rocq (rocq-prover.org)
- 3. ▲ Hungary Is a Laboratory for Illiberal Nationalism. The Results Are In (cato.org)