@aws This seems like a useful benchmark, but I only began learning to write proofs a couple of months ago when I got early access to my discrete maths course. Also, I don’t know how to code in Agdo, and I have at least 4 other languages that I need to get proficient at asap. It seems like a fun language to math around in, but someone recommended Haskell for project Euler, so idk which I would learn next after my required ones.
But I do love to benchmark models and uncommon benchmarks are better
=> More informations about this toot | View the thread | More toots from sodakaidotcom@mathstodon.xyz
=> View aws@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).