Saturday, January 18, 2020

A game in a pure language (part 1): introduction and problems with Idris

Article URL: https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html

Comments URL: https://news.ycombinator.com/item?id=22088406

Points: 3

# Comments: 0



from Hacker News: Newest https://ift.tt/2Tkh7jy
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

She built an AI bot of her mother to help her grieve

Article URL: https://restofworld.org/2026/james-multon-love-machines-book-ai-companions/ Comments URL: https://news.ycombinator.com/item?id...