Competitive programmer 2025-10-27
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 ban happened within 12 hours of me publishing a solution to Project Euler problem 961 github.com/lucky-bai/projecteuler-solutions/pull/94 which was one-shot by a free GPT-5 account as MathArena had alerted me to being possible: matharena.ai/?comp=euler--euler&task=4&model=GPT-5+%28high%29&run=1
The problem leaderboard contains several people solved the problem within minutes of it being released, so almost certainly with an LLM.
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!
Project Euler problem 943 Created 2025-10-27 Updated 2026-04-25
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:
- François Chollet, project founder: www.linkedin.com/in/fchollet/ 9 years at Google from 2015 to 2024. He founded ARC while he was still at Google though, so maybe doesn't count
- Cristiano Calgano from cristianoc/arc-agi-2-abstraction-dataset. Imperial College London researcher who founded a formal verification company and sold it to Facebook where he staid for 7 years
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.
Dynamic programming 2025-10-27
Greedy algorithm 2025-10-27
Kolakoski sequence 2025-10-27
Class of algorithm 2025-10-27
Conjecture by Erdős 2025-10-27
erdosproblems.com 2025-10-27
Cool website tracking the status of varios
ARC-AGI-2 problem List Eval Created 2025-10-18 Updated 2025-12-13
ARC-AGI-2 problem List Train Created 2025-10-18 Updated 2025-12-13
ARC-AGI-1 problem 0520fde7 Created 2025-10-18 Updated 2025-12-13
ARC-AGI-1 problem Eval 2025-10-18
ARC-AGI-1 problem Train 2025-10-18
ARC-AGI-1 problem 2025-10-18
ARC-DSL-2 2025-10-18
Ciro Santilli's fork of ARC-DSL merging all pull requests needed to make tests run again on Ubuntu 25.04.
ARC-DSL 2025-10-18
This interesting repo defines a set of input transformations that can be composed together into programs to generate the solve ARC problems.
It does not appear to have any program synthesis: it only defines the DSL and then provides manual solutions to the problems.
The README is lacking as usual, an overview of the files is:
- dsl.py: defines the transformations as Python functions
- solvers.py: defines solvers for the 400 ARC-AGI-1 training problems
Intended usage to run the solvers seems to be:Unfortunately this blows up on Ubuntu 25.04 on
git clone https://github.com/fchollet/ARC-AGI
cd ARC-AGI
git checkout 399030444e0ab0cc8b4e199870fb20b863846f34
git clone https://github.com/michaelhodel/arc-dsl
cd arc-dsl
git checkout 635de4902a5fb4e376f27333feaa396d3f5dfdcb
python main.pytest_mpapply apparently due to a Python 3.12 issue and the pull request github.com/michaelhodel/arc-dsl/pull/7 has been ignored for more than one year, so the project is largely dead. There are unlisted articles, also show them or only show them.