Recent Posts

• When Computers Write Proofs, What's the Point of Mathematicians?
  by deterministicon 1/16/2025, 10:46:35 AM with 0 comments
• The Hylo Programming Language
  by deterministicon 12/11/2024, 3:44:59 AM with 0 comments
• Fat: Why It Matters and What to Do About It
  by deterministicon 11/12/2024, 11:08:41 AM with 0 comments