colty.org
Formerly C0LTR0CKS 23 🇬🇧 Boy wonder & Former Speedrunner
👤 Joined on 15 December 2023
Followers
Following
Total Posts
@rafter-man.bsky.social@rafter-man.bsky.social → @colty7.bsky.social@colty7.bsky.social → @connorar.com@connorar.com → @colty7.bsky.social@colty7.bsky.social → @colty.orgI feel obliged to have a take on `openai/math` and I largely don't have one But it IS funny that the math subreddit was sick of low effort AI proofs and made a rule that AI proofs must have at least an arxiv preprint to submit a thread about them...
Show Postand since OpenAI doesn't bother to do even that much, this means that none of their recent findings can be discussed there, nor even their earlier millenium prize solution(!) I am sympathetic to the mods here, those threads always attract /r/singularity wackos, but this still seems less than ideal?
Show Post100 HOURS of practice later and I finished my first run of 100%!!! This is a super tough route and I'm glad this step is out of the way! Let's grind this down
Show Posticarly on the wii is one of the worst videos games ive ever played. my parents spent $40 bucks on it in 2009 for me, for only 40 minutes of content, all of which is repeated minigames btw. rudolph on the wii was also priced similary but gave you only 10 minutes worth of content
Show Post