Cool data embedded in the Bitcoin blockchain Bitcoin Burn Addresses: Unveiling the Permanent Losses and Their Underlying Causes by 
Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16
Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16By Mohamed el Khatib and Arnaud Legout.
Both autors were at Inria Centre at Université Côte d'Azur, Mohamed the intern and Arnaud the Inria researcher employee.
Cool, this method could reveal novel P2FKH images:208,656 addresses suspected to be burn addresses because they have a low Shannon entropyUnfortunately their method might not be well suited for finding images, later on:
Our model identified 7,905 true burn addresses from a pool of 1,283,997,050 addresses with only 1,767 false positive.
Data for their results can be found at:
Claude says he's from the UK and has a background in mathematics. Oxbridge feels likely. How I Failed, Failed, and Finally Succeeded at Learning How to Code says he started off on the ORIC computer, which is British-made, so he is likely British.
How I Failed, Failed, and Finally Succeeded at Learning How to Code by Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16
Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16The beauty of Project Euler is that it would serve both as a AI code generation benchmark and as an AI Math benchmark!
"Autoformalization" refers to automatically converting a traditional human readable mathematical proof to a formal proof.
By Princeton people.
This one aims to solve GitHub issues. It appears to contain 2,294 real-world GitHub issues and their corresponding pull requests.
Evaluation is simply based on "does the pull request make some pre-written failing test cases pass".
The dataset appears to be at: huggingface.co/datasets/princeton-nlp/SWE-bench in Parquet format.
Knowledge olympiad by domain of knowledge by Ciro Santilli 37 Created 2025-03-24 Updated 2025-10-14
Ciro Santilli 37 Created 2025-03-24 Updated 2025-10-14We define an "Inscription service" as a website that easily allows you to pay to have arbitrary data inscribed on a blockchain.
We define an "inscription system" as a software or service that facilitates the creation of inscriptions.
Philosophiæ Naturalis Principia Mathematica by Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16
Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as formal proof systems (notably Lean), automated theorem proving and forum-like collaboration as in MathOverflow[ref]. For that, huge kudos.
Unlisted articles are being shown, click here to show only listed articles.