Hacker News headlines

1

20 Games Challenge (20_games_challenge.gitlab.io)

2 weeks ago | agnishom | gitlab.io | newest

40

Solving LinkedIn Queens Using Haskell (imiron.io)

a month ago | agnishom | imiron.io | best

15

Cure Dolly's Japanese Grammar Lessons (kellenok.github.io)

a month ago | agnishom | github.io | frontpage

2

Kanji Frequency (scriptin.github.io)

a month ago | agnishom | github.io | newest

1

Distraction Free Instagram (distractionfreeapps.com)

2 months ago | agnishom | distractionfreeapps.com | newest

3

Haskell Crash Course (2021) (isomorphism.xyz)

2 months ago | agnishom | isomorphism.xyz | newest

11

[flagged] How Indian Colleges Casually Violate Human Rights (isomorphism.xyz)

2 months ago | agnishom | isomorphism.xyz | frontpage

2

Moshe Vardi – Big Tech Needs Academia (acm.org)

2 months ago | agnishom | acm.org | newest

1

Duolingo is getting a Chess course, allegedly (theverge.com)

3 months ago | agnishom | theverge.com | newest

1

Delta Chat (delta.chat)

4 months ago | agnishom | delta.chat | newest

50

Geometric Algebra (bivector.net)

5 months ago | agnishom | bivector.net | best

3

Philosophy Tube: Elon Musk (2018) [video] (youtube.com)

5 months ago | agnishom | youtube.com | frontpage

10

Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io)

5 months ago | agnishom | github.io | frontpage

3

Quanta Magazine: Complexity of the VASS Reachability Problem [video] (youtube.com)

5 months ago | agnishom | youtube.com | newest

3

Why Python and Not Haskell? (gist.github.com)

5 months ago | agnishom | github.com | newest

13

Lex Fridman Interviews Volodymyr Zelenskyy (lexfridman.com)

6 months ago | agnishom | lexfridman.com | frontpage

2

Real-World Haskell: Good, Bad, & Ugly (Talk Video) (youtube.com)

7 months ago | agnishom | youtube.com | newest

1

Haskell Discourse: Controversy Surrounding Anduril Industries (haskell.org)

7 months ago | agnishom | haskell.org | newest

4

Reachability Analysis of DNS (arxiv.org)

7 months ago | agnishom | arxiv.org | frontpage

2

(Coq based) Verified Matching of Regular Expressions with Lookarounds (github.com/agnishom)

7 months ago | agnishom | github.com | newest

7

Regular Expressions which query an Oracle (arxiv.org)

8 months ago | agnishom | arxiv.org | frontpage

1

A New Medium for Communicating Research on Programming Languages (willcrichton.net)

8 months ago | agnishom | willcrichton.net | newest

1

My Reflections on living in Houston without a Car (isomorphism.xyz)

8 months ago | agnishom | isomorphism.xyz | newest

2

A Case for Feminism in Programming Language Design [pdf] (felienne.com)

9 months ago | agnishom | felienne.com | newest

2

Japanese Learning (renshuu.org)

9 months ago | agnishom | renshuu.org | newest

6

The Steam Deck is not evil, and that is why I like it (isomorphism.xyz)

11 months ago | agnishom | isomorphism.xyz | newest