Solution: move pieces to fill the gap on the fat object that crosses the screen. Place objects either on fat object or on other objects placed on the fat object. Anything you add must end in a rectangle.
The rules for this one are not entirely clear with the number of examples.
Also clearly if the goal is to make rectangular towers, then this is an NP-hard optimization problem in general.
Input primitives:
- same color chunk. Properties: crosses screen.
Transformation primitives:
- move solid around
- fills the gap
This existed earlier: x.com/GianpaoloGalli/status/1846144236900827413
Input primitives:
- background color
- squares
- squares with color inside
- points
Transformations primitives:
- line drawing
To the left of the vertical red line, count the number of each color on each row.
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
These section lists common visual primitives that a solver must first extract in order to infer solutions.
Some of these have a lot of prior world content, others less.
Many people have come up with the same idea on the Discord. Some nicely call it DSL.
Implementations:
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/
Mathematical Intelligence (Proof assistant) by 
Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-28
Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-28This will never work but OK. New custom language after Lean.
There are unlisted articles, also show them or only show them.