HN Explorer

gbacon

↗ HN profile [ 933 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Outsmart the Medical Billing Trap (katytalento.com)
    1 points 1
  2. But why do we change the clocks at 2am? (rd.com)
    1 points 0
  3. Language models imply world models (blog.plover.com)
    2 points 1
  4. Ann Bedsole, founder of the Alabama School of Math and Science, dies at 95 (yellowhammernews.com)
    2 points 2
  5. Generating map tiles for FAA sectional charts with GDAL (ephemeral.cx)
    1 points 1
  6. How Did Dennis Ritchie Produce His PhD Thesis? A Typographical Mystery (fermatslibrary.com)
    25 points 2
  7. Second look at Microsoft 365 Copilot (paulrobichaux.com)
    1 points 1
  8. First look at Microsoft 365 Copilot (paulrobichaux.com)
    220 points 180
  9. Showing the halting problem’s undecidability in Agda (boarders.github.io)
    3 points 0
  10. Poker pro Mike Caro on keeping the short term in perspective (poker1.com)
    1 points 1
  11. Private Pilot Ground School (ocw.mit.edu)
    187 points 119
  12. Temptation bundling: Use instant gratification to finish least favorite tasks (doist.com)
    3 points 1
  13. White to move and win: beautiful van Breukelen puzzle (c. 1987) (en.chessbase.com)
    2 points 1
  14. Multiple ways to compute e in Raku (blogs.perl.org)
    126 points 38
  15. The Limits of Logic (medium.com)
    2 points 0
  16. Differences Between MSL and GPS Altitudes (esri.com)
    1 points 1
  17. I struggle to understand Haskell’s Traversable (blog.plover.com)
    3 points 0
  18. A Minecraft mapmaking utility (blog.plover.com)
    1 points 0
  19. FAA to consider increasing Light Sport Aircraft weight limit to 3,600 pounds (avweb.com)
    4 points 1
  20. Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX (4mhz.de)
    1 points 1
  21. Senator John McCain dies at 81 (nypost.com)
    3 points 1
  22. A software archaeology screwup (blog.plover.com)
    3 points 0
  23. What causes traffic jams (blog.plover.com)
    1 points 0
  24. Overview of Cook-Levin proof that SAT is NP-complete [47m YouTube] (youtube.com)
    2 points 0
  25. Kant: How Is a Synthetic a Priori Judgment Possible? (medium.com)
    1 points 0