| 1. | | Are you using dependent types for anything outside of academia / in production? |
|
3 points by user3939382 on Oct 24, 2023 | past
|
|
| 2. | | Fifth Circuit Rules White House, CDC Violated First Amendment [pdf] (uscourts.gov) |
|
18 points by user3939382 on Sept 9, 2023 | past | 10 comments
|
|
| 3. | | Google’s Election Interference (youtube.com) |
|
3 points by user3939382 on Sept 4, 2023 | past | 1 comment
|
|
| 4. | | Reddit to allow free API usage for moderation bots and tools |
|
10 points by user3939382 on June 15, 2023 | past | 9 comments
|
|
| 5. | | Serious question, why does lodash.isNull exist? (github.com/lodash) |
|
1 point by user3939382 on April 11, 2023 | past | 3 comments
|
|
| 6. | | Comparison of 160gsm Bullet Journal Notebooks (stationerynerd.com) |
|
1 point by user3939382 on March 20, 2023 | past
|
|
| 7. | | The Rise and Fall of Lisp – Too Good for the Rest of the World [video] (youtube.com) |
|
3 points by user3939382 on March 17, 2023 | past
|
|
| 8. | | The perfect NES sound chip [video] (youtube.com) |
|
1 point by user3939382 on March 15, 2023 | past
|
|
| 9. | | XTDB: Immutable Temporal Database (xtdb.com) |
|
3 points by user3939382 on March 11, 2023 | past
|
|
| 10. | | 100 Days CSS Challenge (100dayscss.com) |
|
2 points by user3939382 on Feb 18, 2023 | past
|
|
| 11. | | World's largest Tesla Coil (youtube.com) |
|
2 points by user3939382 on Feb 10, 2023 | past | 1 comment
|
|
| 12. | | Show HN: Talking Johnny 5 Replica (etsy.com) |
|
2 points by user3939382 on Feb 8, 2023 | past
|
|
| 13. | | Ask HN: What’s your favorite desk toy? |
|
5 points by user3939382 on Jan 27, 2023 | past | 4 comments
|
|
| 14. | | Swatch Internet Time (wikipedia.org) |
|
1 point by user3939382 on Jan 13, 2023 | past
|
|
| 15. | | uWWVB: A Tiny WWVB [atomic time] Station (anishathalye.com) |
|
5 points by user3939382 on Jan 13, 2023 | past | 1 comment
|
|
| 16. | | Name all the colors (colornames.org) |
|
1 point by user3939382 on Jan 10, 2023 | past
|
|
| 17. | | Ask HN: What if ChatGPT proliferates into a feedback loop of sources it created? |
|
1 point by user3939382 on Jan 4, 2023 | past | 2 comments
|
|
| 18. | | Save energy by growing indoor plants with flickering lights (ufl.edu) |
|
3 points by user3939382 on Jan 1, 2023 | past
|
|
| 19. | | uBlock Origin's procedural cosmetic filter CSS extensions (github.com/gorhill) |
|
2 points by user3939382 on Dec 24, 2022 | past
|
|
| 20. | | All 1,400 Google Chrome CLI flags (peter.sh) |
|
211 points by user3939382 on Dec 21, 2022 | past | 162 comments
|
|
| 21. | | The League of Extraordinary [PHP] Packages (thephpleague.com) |
|
1 point by user3939382 on Dec 12, 2022 | past
|
|
| 22. | | Keurig “parts that contact the beverage do contain BPA” (coffeedetective.com) |
|
3 points by user3939382 on Dec 7, 2022 | past
|
|
| 23. | | Towards a stable JSON Schema (json-schema.org) |
|
2 points by user3939382 on Nov 30, 2022 | past
|
|
| 24. | | Ask HN: How do you report review fraud to Amazon? |
|
4 points by user3939382 on Nov 30, 2022 | past | 5 comments
|
|
| 25. | | How MetroCard works (2005) [pdf] (ccc.de) |
|
53 points by user3939382 on Sept 3, 2022 | past | 12 comments
|
|
| 26. | | Firefox's chatty un-opt-out-able start and exit (imgur.com) |
|
3 points by user3939382 on July 28, 2022 | past | 2 comments
|
|
| 27. | | How to stop junk mail (ftc.gov) |
|
366 points by user3939382 on June 4, 2022 | past | 278 comments
|
|
| 28. | | Ladder Theory (laddertheory.com) |
|
3 points by user3939382 on May 1, 2022 | past | 1 comment
|
|
| 29. | | Update from Fastmail on the Australian policing law and privacy |
|
48 points by user3939382 on Sept 3, 2021 | past | 24 comments
|
|
| 30. | | What Technically Happened at Chernobyl [video] (youtube.com) |
|
6 points by user3939382 on Aug 7, 2021 | past | 4 comments
|
|
|
|
More |
