| 1. | | Expose Your Local Services with Lightweight Tunneling (mni.li) |
| 2 points by agnishom 17 days ago | past |
|
| 2. | | SpecForge – A Platform for Authoring Formal Specifications (imiron.io) |
| 81 points by agnishom 58 days ago | past | 12 comments |
|
| 3. | | Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach (cam.ac.uk) |
| 605 points by agnishom 62 days ago | past | 110 comments |
|
| 4. | | Ergo: Long Form Philosophy Lectures (ergo.org) |
| 29 points by agnishom 78 days ago | past | 8 comments |
|
| 5. | | Garnix (A Nix CI) is shutting down (nixos.org) |
| 79 points by agnishom 3 months ago | past | 28 comments |
|
| 6. | | Indie English Bookstore in Tokyo (featherheartbooks.com) |
| 3 points by agnishom 4 months ago | past |
|
| 7. | | Thinky Games (thinkygames.com) |
| 1 point by agnishom 5 months ago | past |
|
| 8. | | Interactive Fiction Theory and Criticism (the-rosebush.com) |
| 5 points by agnishom 6 months ago | past |
|
| 9. | | Monitoring Events That Carry Data (imiron.io) |
| 2 points by agnishom 7 months ago | past |
|
| 10. | | The sham legacy of Richard Feynman (2024) [video] (youtube.com) |
| 2 points by agnishom 7 months ago | past |
|
| 11. | | MetaFilter: An Internet Forum with a Signup Fee (metafilter.com) |
| 2 points by agnishom 8 months ago | past |
|
| 12. | | Bachata Music Explorator (emusicality.co.uk) |
| 2 points by agnishom 11 months ago | past |
|
| 13. | | [2022] JSONSki: Streaming JSONPath Processor (github.com/automatalab) |
| 2 points by agnishom 11 months ago | past |
|
| 14. | | An opinionated critique of Duolingo (isomorphism.xyz) |
| 251 points by agnishom 11 months ago | past | 310 comments |
|
| 15. | | Codecogs Style Typst Equation Editor (typerino.com) |
| 10 points by agnishom 12 months ago | past |
|
| 16. | | Wikipedia Articles with a FAQ section for editors (wikipedia.org) |
| 3 points by agnishom on Aug 28, 2025 | past |
|
| 17. | | The Native Speaker Myth in English Education in Japan (mainichi.jp) |
| 2 points by agnishom on Aug 26, 2025 | past | 1 comment |
|
| 18. | | 20 Games Challenge (20_games_challenge.gitlab.io) |
| 2 points by agnishom on July 13, 2025 | past |
|
| 19. | | Solving LinkedIn Queens Using Haskell (imiron.io) |
| 101 points by agnishom on June 24, 2025 | past | 46 comments |
|
| 20. | | Cure Dolly's Japanese Grammar Lessons (kellenok.github.io) |
| 113 points by agnishom on June 14, 2025 | past | 29 comments |
|
| 21. | | Kanji Frequency (scriptin.github.io) |
| 2 points by agnishom on May 29, 2025 | past |
|
| 22. | | Distraction Free Instagram (distractionfreeapps.com) |
| 1 point by agnishom on May 21, 2025 | past |
|
| 23. | | Haskell Crash Course (2021) (isomorphism.xyz) |
| 6 points by agnishom on May 9, 2025 | past |
|
| 24. | | [flagged] How Indian Colleges Casually Violate Human Rights (isomorphism.xyz) |
| 28 points by agnishom on May 5, 2025 | past | 12 comments |
|
| 25. | | Moshe Vardi – Big Tech Needs Academia (acm.org) |
| 3 points by agnishom on May 2, 2025 | past | 1 comment |
|
| 26. | | Duolingo is getting a Chess course, allegedly (theverge.com) |
| 2 points by agnishom on April 22, 2025 | past |
|
| 27. | | Geometric Algebra (bivector.net) |
| 200 points by agnishom on Feb 26, 2025 | past | 61 comments |
|
| 28. | | Philosophy Tube: Elon Musk (2018) [video] (youtube.com) |
| 6 points by agnishom on Feb 26, 2025 | past |
|
| 29. | | Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io) |
| 70 points by agnishom on Feb 22, 2025 | past | 24 comments |
|
| 30. | | Quanta Magazine: Complexity of the VASS Reachability Problem [video] (youtube.com) |
| 3 points by agnishom on Feb 4, 2025 | past |
|
|
| More |
