| 1. | | Language models imply world models (plover.com) |
| 2 points by gbacon 7 days ago | past | 1 comment |
|
| 2. | | Ann Bedsole, founder of the Alabama School of Math and Science, dies at 95 (yellowhammernews.com) |
| 2 points by gbacon 81 days ago | past | 2 comments |
|
| 3. | | Generating map tiles for FAA sectional charts with GDAL (ephemeral.cx) |
| 1 point by gbacon 3 months ago | past | 1 comment |
|
| 4. | | How Did Dennis Ritchie Produce His PhD Thesis? A Typographical Mystery (fermatslibrary.com) |
| 25 points by gbacon 8 months ago | past | 2 comments |
|
| 5. | | Second look at Microsoft 365 Copilot (paulrobichaux.com) |
| 1 point by gbacon on Jan 18, 2024 | past | 1 comment |
|
| 6. | | First look at Microsoft 365 Copilot (paulrobichaux.com) |
| 221 points by gbacon on Dec 14, 2023 | past | 180 comments |
|
| 7. | | Showing the halting problem’s undecidability in Agda (boarders.github.io) |
| 3 points by gbacon on Feb 20, 2022 | past |
|
| 8. | | Poker pro Mike Caro on keeping the short term in perspective (poker1.com) |
| 1 point by gbacon on July 19, 2020 | past | 1 comment |
|
| 9. | | Private Pilot Ground School (ocw.mit.edu) |
| 187 points by gbacon on June 21, 2020 | past | 119 comments |
|
| 10. | | Temptation bundling: Use instant gratification to finish least favorite tasks (doist.com) |
| 3 points by gbacon on May 31, 2020 | past | 1 comment |
|
| 11. | | White to move and win: beautiful van Breukelen puzzle (c. 1987) (chessbase.com) |
| 2 points by gbacon on April 26, 2020 | past | 1 comment |
|
| 12. | | Multiple ways to compute e in Raku (perl.org) |
| 126 points by gbacon on Nov 11, 2019 | past | 38 comments |
|
| 13. | | The Limits of Logic (medium.com/cantors-paradise) |
| 2 points by gbacon on Oct 12, 2019 | past |
|
| 14. | | Differences Between MSL and GPS Altitudes (esri.com) |
| 1 point by gbacon on May 1, 2019 | past | 1 comment |
|
| 15. | | I struggle to understand Haskell’s Traversable (plover.com) |
| 3 points by gbacon on Oct 21, 2018 | past |
|
| 16. | | A Minecraft mapmaking utility (plover.com) |
| 1 point by gbacon on Oct 10, 2018 | past |
|
| 17. | | FAA to consider increasing Light Sport Aircraft weight limit to 3,600 pounds (avweb.com) |
| 4 points by gbacon on Oct 8, 2018 | past | 1 comment |
|
| 18. | | Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX (4mhz.de) |
| 1 point by gbacon on Sept 6, 2018 | past | 1 comment |
|
| 19. | | Senator John McCain dies at 81 (nypost.com) |
| 3 points by gbacon on Aug 26, 2018 | past | 1 comment |
|
| 20. | | A software archaeology screwup (plover.com) |
| 3 points by gbacon on Aug 25, 2018 | past |
|
| 21. | | What causes traffic jams (plover.com) |
| 1 point by gbacon on Aug 15, 2018 | past |
|
| 22. | | Overview of Cook-Levin proof that SAT is NP-complete [47m YouTube] (youtube.com) |
| 2 points by gbacon on Aug 10, 2018 | past |
|
| 23. | | Kant: How Is a Synthetic a Priori Judgment Possible? (medium.com/rgrydns) |
| 1 point by gbacon on Aug 2, 2018 | past |
|
| 24. | | How to explain infinity to kids (plover.com) |
| 182 points by gbacon on Aug 2, 2018 | past | 133 comments |
|
| 25. | | Testing divisibility with state machines (plover.com) |
| 1 point by gbacon on July 27, 2018 | past |
|
| 26. | | Saying goodbye to search.cpan.org (perl.com) |
| 3 points by gbacon on June 27, 2018 | past |
|
| 27. | | Facebook asked for little in incentives to bring data center to Huntsville (al.com) |
| 1 point by gbacon on June 21, 2018 | past |
|
| 28. | | Facebook bringing $750M data center to Huntsville, Alabama (al.com) |
| 2 points by gbacon on June 14, 2018 | past |
|
| 29. | | SCOTUS allows Ohio and other state voter purges (chicagotribune.com) |
| 3 points by gbacon on June 11, 2018 | past |
|
| 30. | | Timeline of computer science (scottaaronson.com) |
| 2 points by gbacon on May 18, 2018 | past |
|
|
| More |
