from Hacker News

deterministic

joined 2/27/13, 11:51 PM has 2709 karma

• When Computers Write Proofs, What's the Point of Mathematicians?

  by deterministic on 1/16/25, 10:46 AM, with 0 comments

• The Hylo Programming Language

  by deterministic on 12/11/24, 3:44 AM, with 0 comments

• Fat: Why It Matters and What to Do About It

  by deterministic on 11/12/24, 11:08 AM, with 0 comments