Grokipedia Created 2025-11-05 Updated 2025-12-25
Interesting editing model, you select some text, and suggest your change, and the LLM reviews the suggestion and decides it will update the article or not.
TODO: how do they decide what to create a page for or not?
I, Claudius 2025-11-05
Ciro Santilli, and every other nerd, must relate to this novel a lot.
Updates / OurBigBook Project Update March 2025 Created 2025-11-05 Updated 2026-01-30
This is a summary of the status of the OurBigBook Project, focusing notably on the past 9 months that I've been able to devote fully to it starting June 2024 notably due to the anonymous 1000 Monero donation and other supporters.
I have 3 months left and after unless some crazy person gives more money, I'll go back to some generic programming job that could be done by many other people so that my wife won't kill me. Hopefully I'll find something in quantum computing or AGI research this time that is not too boring, but we'll see.
I should also note that I have raised my requirement for a second year full time from 100k USD to 200k USD, such that there are about only 144k USD missing as of writing, a bargain. See also Section "Sponsor Ciro Santilli's work on OurBigBook.com". I have also set a 2M USD retirement goal in case someone wants to free me to lurk after university students for the rest of my life. Creepy.
The reason for this increase is partly because I'm jealous watching my university peers getting relatively richer and richer than me. More seriously though, as I'm likely going to be looking for a job soon, I don't want to scare employers off too much thinking that it is likely that I'll be leaving in a few months too easily. Plus inflation and the natural lack of security that such endeavour brings.
Video 1.
OurBigBook Project 2025 one year funded work debrief by Ciro Santilli
. Source. This video debriefs the end of the 1-year-funded 1000 Monero donation work in 2025, in addition to some personal remarks and what might come next.
Updates / Getting banned from Project Euler Created 2025-10-27 Updated 2025-11-05
I have been banned from Project Euler for life, and cannot login to my previous account projecteuler.net/profile/cirosantilli.pn
The problem leaderboard contains several people solved the problem within minutes of it being released, so almost certainly with an LLM.
I'm a huge believer in giving answers to problems, and I take the ban with pride.
It is funny to see that people waste their time policing this kind of useless stuff.
Project Euler likely has many fun problems, and can be a useful machine learning benchmark.
The "secret club" mentality is their only blemish, and incompatible with open science.
They should also make sure that LLMs don't one shot their future problems BEFORE publishing them!
ARC-AGI is a black hole for early retired tech and finance bros Created 2025-10-27 Updated 2026-03-05
People who do cool open tech stuff when don't need money anymore are awesome:
cristianoc/arc-agi-2-abstraction-dataset Created 2025-10-27 Updated 2025-12-13
Contains 120 DSL implementations for the
From another awesome retired tech bro that does this project for fun.

Unlisted articles are being shown, click here to show only listed articles.