| 1. | | MetaFilter: An Internet Forum with a Signup Fee (metafilter.com) |
| 2 points by agnishom 17 days ago | past |
|
| 2. | | Bachata Music Explorator (emusicality.co.uk) |
| 2 points by agnishom 3 months ago | past |
|
| 3. | | [2022] JSONSki: Streaming JSONPath Processor (github.com/automatalab) |
| 2 points by agnishom 3 months ago | past |
|
| 4. | | An opinionated critique of Duolingo (isomorphism.xyz) |
| 251 points by agnishom 4 months ago | past | 310 comments |
|
| 5. | | Codecogs Style Typst Equation Editor (typerino.com) |
| 10 points by agnishom 4 months ago | past |
|
| 6. | | Wikipedia Articles with a FAQ section for editors (wikipedia.org) |
| 3 points by agnishom 5 months ago | past |
|
| 7. | | The Native Speaker Myth in English Education in Japan (mainichi.jp) |
| 2 points by agnishom 5 months ago | past | 1 comment |
|
| 8. | | 20 Games Challenge (20_games_challenge.gitlab.io) |
| 2 points by agnishom 6 months ago | past |
|
| 9. | | Solving LinkedIn Queens Using Haskell (imiron.io) |
| 101 points by agnishom 7 months ago | past | 46 comments |
|
| 10. | | Cure Dolly's Japanese Grammar Lessons (kellenok.github.io) |
| 113 points by agnishom 7 months ago | past | 29 comments |
|
| 11. | | Kanji Frequency (scriptin.github.io) |
| 2 points by agnishom 8 months ago | past |
|
| 12. | | Distraction Free Instagram (distractionfreeapps.com) |
| 1 point by agnishom 8 months ago | past |
|
| 13. | | Haskell Crash Course (2021) (isomorphism.xyz) |
| 6 points by agnishom 9 months ago | past |
|
| 14. | | [flagged] How Indian Colleges Casually Violate Human Rights (isomorphism.xyz) |
| 28 points by agnishom 9 months ago | past | 12 comments |
|
| 15. | | Moshe Vardi – Big Tech Needs Academia (acm.org) |
| 3 points by agnishom 9 months ago | past | 1 comment |
|
| 16. | | Duolingo is getting a Chess course, allegedly (theverge.com) |
| 2 points by agnishom 9 months ago | past |
|
| 17. | | Geometric Algebra (bivector.net) |
| 200 points by agnishom 11 months ago | past | 61 comments |
|
| 18. | | Philosophy Tube: Elon Musk (2018) [video] (youtube.com) |
| 6 points by agnishom 11 months ago | past |
|
| 19. | | Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io) |
| 70 points by agnishom 11 months ago | past | 24 comments |
|
| 20. | | Quanta Magazine: Complexity of the VASS Reachability Problem [video] (youtube.com) |
| 3 points by agnishom 12 months ago | past |
|
| 21. | | Why Python and Not Haskell? (gist.github.com) |
| 3 points by agnishom 12 months ago | past | 5 comments |
|
| 22. | | Lex Fridman Interviews Volodymyr Zelenskyy (lexfridman.com) |
| 22 points by agnishom on Jan 7, 2025 | past | 26 comments |
|
| 23. | | Real-World Haskell: Good, Bad, & Ugly (Talk Video) (youtube.com) |
| 3 points by agnishom on Dec 23, 2024 | past | 2 comments |
|
| 24. | | Haskell Discourse: Controversy Surrounding Anduril Industries (haskell.org) |
| 2 points by agnishom on Dec 12, 2024 | past |
|
| 25. | | Reachability Analysis of DNS (arxiv.org) |
| 12 points by agnishom on Dec 12, 2024 | past |
|
| 26. | | (Coq based) Verified Matching of Regular Expressions with Lookarounds (github.com/agnishom) |
| 2 points by agnishom on Dec 5, 2024 | past |
|
| 27. | | Regular Expressions which query an Oracle (arxiv.org) |
| 37 points by agnishom on Nov 26, 2024 | past | 15 comments |
|
| 28. | | A New Medium for Communicating Research on Programming Languages (willcrichton.net) |
| 1 point by agnishom on Nov 19, 2024 | past |
|
| 29. | | My Reflections on living in Houston without a Car (isomorphism.xyz) |
| 1 point by agnishom on Nov 7, 2024 | past |
|
| 30. | | A Case for Feminism in Programming Language Design [pdf] (felienne.com) |
| 5 points by agnishom on Oct 25, 2024 | past |
|
|
| More |
