Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东

me: me if you Tweet about my stuff

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

https://t.co/02it8c35KO long due "pip install --editable" tutorial update after the externally-managed-environment hecatomb. "pipx install --editable" also exists. Cute :-)

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

@jpatokal They may have reached out anonymously to me at: https://t.co/KzncmNGBTA Feels very likely.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

It is an honor I share with others such as @jpatokal from https://t.co/6SngW929WP

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

The answer to Project Euler 999 https://t.co/H40VJd1AiG is 801096743. Solved by chatgpt 5.5 web in ~3 minutes. https://t.co/J8HuYCnAgL

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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!

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

I also couldn't resist to use to "AI" to fix some annoying stuff in the benhcmark infrastructure. I'm sure it will be OK.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

@EMBII4U @NeptuneMonk @huuep Cool, you did well.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

@EMBII4U @NeptuneMonk @huuep Ok. Oof.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

@NeptuneMonk @EMBII4U @huuep Links please.

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

@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?

[Ciro Santilli OurBigBook.com 新疆改造中心、六四事件、法轮功、郝海东 @cirosantilli]

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