Input primitives:
- background color
- squares
- points
Transformations primitives:
- line drawing
Then to the right, on each line draw one square of each color to the left every n columns, starting with a square on the first column to the right of the red line, where n is the count of that color.
Start with the color furthest away from the red line, and then color with colors nearer to the red line. If there's overlap, replace the old color with the new one.
Output:
- draw dotted lines
Some early ones we can find:1Ga9Dizn1p6ctGWausC1osLSrXFdioxide which ends in "dioxide" (7-letter), and is spendable
- tx 0215a8214297a4b7eb044641cb641c64c8a822c518841a830878c163d74feb91 block 128700 (2011-06-05) sends to the spendable 1NLkboNANZAsxHyMLoyvAEYkhpxCS4gWA8 which contains the word "bonanzas" (8-letters)
- tx 08d6efecf6119729fac4d148ffbe3a67344b641ed87284be23a34e072cb2dc9f block 133837 (2011-06-29) has 17kEAfXiu9a6fpQs91J2kAMBtRprESENtS ends in "presents" (8-letter). Unspent but possible.
- Also its sister output on sends to
Acquired by DomainTools in 2021. ChatGPT says it was the most complete DB ever.
assets.applytosupply.digitalmarketplace.service.gov.uk/g-cloud-14/documents/708941/255941323840717-pricing-document-2024-04-17-1304.pdf is an epic document under the gov.uk domain and marked:and marks Iris Investigate as starting at $15k USD for 250 Queries / Month
HIGHLY CONFIDENTIAL - For use only by DomainTools employees and other audiences under NDA only
- bitcoin.stackexchange.com/questions/11687/reliable-efficient-way-to-parse-the-blockchain-into-a-sql-database
- bitcoin.stackexchange.com/questions/93080/what-is-the-currently-most-efficient-and-reliable-method-to-store-the-bitcoin-bl?noredirect=1&lq=1
- www.reddit.com/r/Bitcoin/comments/6wcbbs/recent_blockchain_sql_dumps/
- bitcointalk.org/index.php?topic=5464721.0
Cloud options:
- Google BigQuery: cloud.google.com/blog/topics/public-datasets/bitcoin-in-bigquery-blockchain-analytics-on-public-data Sample query to get all addresses ever:First output lines:
SELECT block_number, transaction_hash, index, type, addresses, value FROM `bigquery-public-data.crypto_bitcoin.outputs` ORDER BY block_number ASC, transaction_hash ASC, index ASC, index ASC LIMIT 100block_number,transaction_hash,index,type,addresses,value 0,4a5e1e4baab89f3a32518a88c31bc87f618f76673e2cc77ab2127b7afdeda33b,0,pubkey,[1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa],5000000000 1,0e3e2357e806b6cdb1f70b54c3a3a17b6714ee1f0e68bebb44a74b1efd512098,0,pubkey,[12c6DSiU4Rq3P4ZxziKxzrL5LmMBrzjrJX],5000000000 2,9b0fc92260312ce44e74ef369f5c66bbb85848f2eddd5a7a1cde251e54ccfdd5,0,pubkey,[1HLoD9E4SDFFPDiYfNYnkBLQ85Y51J3Zb1],5000000000 - Amazon Athena: aws.amazon.com/blogs/web3/access-bitcoin-and-ethereum-open-datasets-for-cross-chain-analytics/
Has the following structure:
- Training Set: 1000 tasks: a variety of difficulty levels, easy to hard, designed to contain all "primitives" needed for eval
- Public Eval Set: 120 tasks
- Semi-Private Eval: 120 hard tasks, may have been exposed to limited third-parties eg. via API
- Private Eval Set: 120 tasks, never exposed to third parties
Mathematical Intelligence (Proof assistant) by 
Ciro Santilli 40 Created 2025-03-28 Updated 2025-07-16
Ciro Santilli 40 Created 2025-03-28 Updated 2025-07-16This will never work but OK. New custom language after Lean.
This one goes all in the following themes:
- few examples to learn from. You have to carefully inspect the input examples to deduce the output rules. Rules can require specific It application ordering, so you actually generate an algorithm. It tends to be easy for humans, but sometimes not so easy!
- extensive use of geometric concepts, notably "contained inside", "adjacent to", "connected"
Bibliography:
- www.reddit.com/r/mlscaling/comments/1ht4emi/anyone_else_suspect_arcagi_was_never_much_of_a/ Anyone else suspect ARC-AGI was never much of a test of anything? (2025)
There are unlisted articles, also show them or only show them.