1. | | Ask HN: Security risks when buying mini-PCs/PCs from unknown vendors? |
|
12 points by bmer 5 months ago | past | 12 comments
|
2. | | GameStop, Bitcoin and the Commoditization of Populist Rage (2021) (stephendiehl.com) |
|
2 points by bmer on Feb 10, 2024 | past | 1 comment
|
3. | | C Is Not a Low-level Language (2018) (acm.org) |
|
293 points by bmer on Oct 16, 2023 | past | 396 comments
|
4. | | Three Myths About Renewable Energy and the Grid (yale.edu) |
|
3 points by bmer on Sept 11, 2023 | past
|
5. | | Bill Gates has given $319M to media outlets to promote his global agenda (thegrayzone.com) |
|
10 points by bmer on Aug 12, 2023 | past | 3 comments
|
6. | | Bill Gates Should Stop Telling Africans What Kind of Agriculture Africans Need (scientificamerican.com) |
|
14 points by bmer on Aug 12, 2023 | past | 10 comments
|
7. | | Curse of the CEMBIs (“corporate-employed maintainers –. with bad incentives”) (graydon2.dreamwidth.org) |
|
3 points by bmer on Aug 1, 2023 | past
|
8. | | BitKeeper (GitHub Repository) (github.com/bitkeeper-scm) |
|
4 points by bmer on July 28, 2023 | past
|
9. | | A.P.Ershov: Aesthetics and the Human Factor in Programming (1972) (acm.org) |
|
3 points by bmer on July 22, 2023 | past | 2 comments
|
10. | | Extending PowerShell with Rust (dfinke.github.io) |
|
1 point by bmer on July 17, 2023 | past
|
11. | | DIY Type Theory [pdf] (nott.ac.uk) |
|
1 point by bmer on Nov 22, 2022 | past
|
12. | | Discrete Differential Geometry (youtube.com) |
|
2 points by bmer on Nov 1, 2022 | past | 1 comment
|
13. | | Learning to Finish Things (boristhebrave.com) |
|
2 points by bmer on Oct 30, 2022 | past
|
14. | | Formal Methods of Software Design: Full Course by Eric Hehner (toronto.edu) |
|
4 points by bmer on Oct 20, 2022 | past
|
15. | | The TeX program: A program of study (shreevatsa.net) |
|
3 points by bmer on Oct 18, 2022 | past
|
16. | | Automatic Differentiation for Dummies - Simon Peyton Jones (youtube.com) |
|
3 points by bmer on Oct 16, 2022 | past | 1 comment
|
17. | | The Little Typer (2018) (thelittletyper.com) |
|
297 points by bmer on Oct 11, 2022 | past | 96 comments
|
18. | | An OCaml and Type Theory Course: Program = Proof (polytechnique.fr) |
|
9 points by bmer on Oct 9, 2022 | past | 1 comment
|
19. | | Algebraic Geometry for Computer Graphics (washington.edu) |
|
221 points by bmer on Oct 8, 2022 | past | 43 comments
|
20. | | United States blocks Iran from fusion megaproject (sciencemag.org) |
|
1 point by bmer on Nov 27, 2018 | past
|
21. | | An Exploration of How Simulated Gambling Games May Promote Gambling with Money (springer.com) |
|
2 points by bmer on Aug 3, 2018 | past
|
22. | | ‘Essentially, the monarchy is corrupt’-will republicanism survive Harry and Megh (theguardian.com) |
|
1 point by bmer on June 22, 2018 | past
|
23. | | This Week’s (Stale) Hype (columbia.edu) |
|
1 point by bmer on May 4, 2018 | past
|
24. | | The Precision Upon Which Civilizations Are Built (hackaday.com) |
|
3 points by bmer on Jan 29, 2018 | past
|
25. | | Why string theory is still 'not even wrong' (scientificamerican.com) |
|
2 points by bmer on April 28, 2017 | past
|
26. | | The Erasure of Islam from the Poetry of Rumi (newyorker.com) |
|
1 point by bmer on March 30, 2017 | past
|
27. | | Ask HN: Is it wise to seek a UI-building collaborator for a math editor project? |
|
1 point by bmer on Aug 18, 2016 | past
|
28. | | Hawking Gives Up (2010) (columbia.edu) |
|
1 point by bmer on March 19, 2016 | past
|