HN Explorer

bmer

↗ HN profile [ 70.8 ms ] full profile
Karma
1,003
Created
December 15, 2015 (10y ago)
Submissions
0
  1. Ask HN: Security risks when buying mini-PCs/PCs from unknown vendors?

    I was looking at [Low Cost Mini PCs](https://news.ycombinator.com/item?id=41389931) a few days ago, and saw comments recommending vendors such as Beelink or Minisforum. These companies are relatively unknown compared to…

    12 points 12
  2. GameStop, Bitcoin and the Commoditization of Populist Rage (2021) (stephendiehl.com)
    2 points 1
  3. C Is Not a Low-level Language (2018) (queue.acm.org)
    293 points 416
  4. Three Myths About Renewable Energy and the Grid (e360.yale.edu)
    3 points 0
  5. Bill Gates has given $319M to media outlets to promote his global agenda (thegrayzone.com)
    10 points 3
  6. Bill Gates Should Stop Telling Africans What Kind of Agriculture Africans Need (scientificamerican.com)
    14 points 10
  7. Curse of the CEMBIs (“corporate-employed maintainers –. with bad incentives”) (graydon2.dreamwidth.org)
    3 points 0
  8. BitKeeper (GitHub Repository) (github.com)
    4 points 0
  9. A.P.Ershov: Aesthetics and the Human Factor in Programming (1972) (dl.acm.org)
    3 points 2
  10. Extending PowerShell with Rust (dfinke.github.io)
    1 points 0
  11. DIY Type Theory [pdf] (cs.nott.ac.uk)
    1 points 0
  12. Discrete Differential Geometry (youtube.com)
    2 points 1
  13. Learning to Finish Things (boristhebrave.com)
    2 points 0
  14. Formal Methods of Software Design: Full Course by Eric Hehner (cs.toronto.edu)
    4 points 0
  15. The TeX program: A program of study (shreevatsa.net)
    3 points 0
  16. Automatic Differentiation for Dummies - Simon Peyton Jones (youtube.com)
    3 points 1
  17. The Little Typer (2018) (thelittletyper.com)
    297 points 101
  18. An OCaml and Type Theory Course: Program = Proof (lix.polytechnique.fr)
    9 points 1
  19. Algebraic Geometry for Computer Graphics (courses.cs.washington.edu)
    221 points 43
  20. United States blocks Iran from fusion megaproject (sciencemag.org)
    1 points 0
  21. An Exploration of How Simulated Gambling Games May Promote Gambling with Money (link.springer.com)
    2 points 0
  22. ‘Essentially, the monarchy is corrupt’-will republicanism survive Harry and Megh (theguardian.com)
    1 points 0
  23. This Week’s (Stale) Hype (math.columbia.edu)
    1 points 0
  24. The Precision Upon Which Civilizations Are Built (hackaday.com)
    3 points 0
  25. Why string theory is still 'not even wrong' (blogs.scientificamerican.com)
    2 points 0