https://t.co/NNSm1MQU6F 400k USD = I quit my job for one more year to work on https://t.co/VSsMwpWjnR higher ed tech. Status: ~44k/400k USD. 1st year finished June 2025 after 100k USD reached via 1000
@Monero donation! A 2nd year greatly increases the chances of success.
https://t.co/02it8c35KO long due "pip install --editable" tutorial update after the externally-managed-environment hecatomb. "pipx install --editable" also exists. Cute :-)
The creator of https://t.co/jDUGSdciiD | https://t.co/2cq9ASE1cz, a website I used to respect, has apparently created a fake Wikipedia profile for me: https://t.co/mUR3NIbsVd because of some previous OSINT investigation I did: https://t.co/aw7B3kpMK8 see https://t.co/SSdGIAVXi1
The answer to Project Euler 1000 https://t.co/j2zmPWGy09 is 891213201. Solved by chatgpt 5.5 web in ~3 minutes. https://t.co/0QdUYEm0SA I might stop now, it's boring.
The answer to Project Euler 984 https://t.co/Xe10KSciDk is 885722296. Solved by codex 5.3 xhigh in 39 minutes with 188,054 tokens. https://t.co/lx5shICDYV
The issue was that the axiom did not gard against negative n, in which Collatz is trivially false... https://t.co/6hHpVzRrWS
Nice reward hack! https://t.co/sME7H18qJ2
I asked an LLM to set Collatz Conjecture as an axiom in Lean for Project Euler 14: https://t.co/iaun9vCe7g Another LLM tried to prove equivalence naive and optimized algorithms for problems 1-100 found that the axiom was wrong (=> true=false) and proved everything like that!
https://t.co/p78xoyOqQw I vibe-coded a quick Codex CLI expect wrapper that automatically types "Continue" once your usage limits reset. Motivated by me launching "solve X project euler problems" for Project Euler problems for fun and not wanting to pay more than a Pro Plan.
https://t.co/AjD4dJklF8 Nice to see young academics keeping this 18 year old computer benchmark alive! PARSEC is a widely used benchmark by @Princeton in academia, and in 2023 they deleted its website and the test data, but I reuploaded it to GitHub.
There was another older GitHub upload of the code at: https://t.co/jJ7yU7XbdN and despite likely being more portable and having the test data they are still #1 on Google search. My nemesis. The weight of being early is so big.
@EMBII4U@huuep@NeptuneMonk Nice, that is an awesome inscription, and I often think of its quote. So it was inscribed in @NeptuneMonks's hommage I image?
https://t.co/q8Zg5k9X0s I've benchmarked https://t.co/6ZPiDZe8Yn Projec Euler solutions. I scraped all solvers, and used Codex to translate missing Python ones from C++ and asked limit them to a single thread. Using Python as it was my pre-existing reference. Cc. @arifemre062