Cool website tracking the status of varios
Ciro Santilli's fork of ARC-DSL merging all pull requests needed to make tests run again on Ubuntu 25.04.
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.The rich guy behind Tufa Labs:
- github.com/pinouchon
- pinouchon.github.io
- www.youtube.com/benjamincrouzier He's also a wooden block fanatic. Funnily Ciro Santilli had seen his channel before knowing he was rich. www.youtube.com/watch?v=5HyYyXHSW74 shows probable home and could likely be geolocated.
- tufalabs.ai/team.html describes how he made his money:
Benjamin has a masters in Computer Science and applied ML to quant finance previously.
I've created a quick fork of ARC-DSL which defines a hand crafted Domain Specific Language (DSL) approach to help solve ARC-AGI problems.
I basically just merged outstanding pull requests on the original repo that were needed to make things run.
It would be cool to see if those rules also solve ARC-AGI-2 problems well, but lazy now.
ARC-AGI-2 is a very interesting benchmark which mixes some symbolic and other visual elements, and is readily solvable by non-expert humans, but has so far resisted transformers to a large degree.
Part of me would like to focus more on less visual aspects of AI, but it is still of interest.
It is funny how many early (semi)-retired fintech/bigtech bros that are interested in the project, I saw several of them on the forums.
I'd be tempted if I were in that position too I must confess. Maybe in 15 years time for me the way things are looking.
Kudos to these people who do something cool and open when they don't need money: www.reddit.com/r/Fire/comments/15x4w7r/comment/jx7dn16/ It is also the case of Jimmy Wales from Wikipedia for example, who used to work in finance.
New Zealand Flag Debate by
. Source. Why New Zealand Fired its Official Wizard by Qxir
. Source. There are unlisted articles, also show them or only show them.