Stories by agnishom

How Indian Colleges Casually Violate Human Rights

Moshe Vardi – Big Tech Needs Academia

Duolingo is getting a Chess course, allegedly

Geometric Algebra

Philosophy Tube: Elon Musk (2018) [video]

Purely Functional Sliding Window Aggregation Algorithm

Quanta Magazine: Complexity of the VASS Reachability Problem [video]

Why Python and Not Haskell?

Lex Fridman Interviews Volodymyr Zelenskyy

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

Haskell Discourse: Controversy Surrounding Anduril Industries

Reachability Analysis of DNS

(Coq based) Verified Matching of Regular Expressions with Lookarounds

Regular Expressions which query an Oracle

A New Medium for Communicating Research on Programming Languages

My Reflections on living in Houston without a Car

A Case for Feminism in Programming Language Design [pdf]

Japanese Learning