Eduard Helly is not widely known as a public figure or concept as of my last knowledge update in October 2023. It's possible that you might be referring to a lesser-known individual, a character in literature or media, or a specific topic that has emerged more recently.

Saul Kripke is an American philosopher and logician, renowned for his significant contributions to various areas of philosophy, particularly in the fields of modal logic, philosophy of language, and metaphysics. Born on November 13, 1940, Kripke is best known for his development of the concept of "possible worlds" in modal logic, which allows for the analysis of necessity and possibility in a rigorous way.

Lisl Gaal is a Hungarian-born actress, singer, and dancer known for her work in film, television, and theater. She was notably active in the entertainment industry in the mid-20th century, particularly known for her roles in the film industry during the 1950s and 1960s.

Joan Bagaria is a contemporary Spanish artist known for his work in various forms of visual art, including painting and digital media. He often explores themes related to modern society, technology, and human experience. His style may blend abstraction with figurative elements, creating a unique narrative in his artwork.

Sophie Piccard is not a widely recognized name or term, and there may be several individuals with that name in various contexts.

Mikhail Suslin was a prominent Russian mathematician, best known for his contributions to set theory and topology, particularly for his work on the theory of real numbers and the Suslin line. Born on April 2, 1894, Suslin played a significant role in developing concepts related to measure theory and the foundation of mathematics.

Raphael M. Robinson (1903–1995) was an American mathematician known for his contributions to various areas of mathematics, particularly in the fields of algebra and topology. He is notably recognized for his work in the theory of groups and for developing tools related to algebraic topology. Robinson made significant contributions to mathematics education and served as a professor at several universities. His work helped shape the understanding of algebraic structures and their applications.

William S. Zwicker is a mathematician known for his contributions to the field of mathematics, particularly in topology, set theory, and mathematical logic. His work often explores areas such as set-theoretic topology and mathematical structures. However, detailed information about his specific contributions, research papers, or academic career might not be widely available, as he may not be as prominent as some other mathematicians.

Advait Mat, also known as "Advait Mat," refers to a spiritual and philosophical tradition rooted in Advaita Vedanta, which is a non-dualistic school of Hindu philosophy. Advaita Vedanta emphasizes the idea that the individual self (Atman) and the ultimate reality (Brahman) are one and the same, teaching that the perception of duality is illusory. The term "Mat" can denote a philosophical school or a system of thought.

Game-theoretic rough sets combine concepts from rough set theory and game theory to analyze and model situations where uncertainty or indiscernibility exists among different elements of a dataset. Let’s break down the components: ### Rough Sets Rough set theory, introduced by Zdzisław Pawlak in the early 1980s, is a mathematical approach to dealing with uncertainty, vagueness, and indiscernibility in data. It partitions a set into approximations based on available information.

The Square Principle is not a widely recognized term in mainstream literature or fields such as mathematics, science, or philosophy. However, it could refer to different concepts depending on the context in which it's used. Here are a couple of interpretations: 1. **Mathematical Context**: In mathematics, the square principle might refer to concepts involving squares, such as the areas of squares, properties of squares in geometry, or the Pythagorean theorem, which relates to square numbers.

Gunungan is a significant element in Wayang, the traditional Indonesian puppet theater that has deep cultural roots, particularly in Java. The term "Gunungan" translates to "mountain" in English, and it often symbolizes the mystical mountain or the axis mundi, representing the spiritual connection between the earth and the heavens. In Wayang performances, the Gunungan is used as a backdrop or a transition device between scenes.

I had meant to make an update earlier, but I wanted to try and add some more "visible end-user changes" to OurBigBook.com.

Just noticed BTW that signup on the website is broken. Facepalm. Not that it matters much since it is not very useful in the current state, but still. Going to fix that soon. EDIT: nevermind, it wasn't broken, I just had JavaScript disabled on that website with an extension to test if pages are visible without JavaScript, and yes, they are perfectly visible, you can't tell the difference! But you can't login without JavaScript either!

I still haven't the user visible ones I wanted, but I've hit major milestones, and it feels like time for an update.

I have now finished all the OurBigBook CLI features that I wanted for 1.0, all of which will be automatically reused in ourbigbook.com.

The two big things since last email were the following:

A secondary but also important advance was: further improvements to the website's base technology.

I knew I was going to do them for several months now, and I knew they were going to hurt, and they did, but I did them.

These change caused two big bugs that I will solve next, one them infinite recursion in the database recursive query, but they shouldn't be too hard.

Ciro Santilli is actively looking for donations and contracts so he can continue to work full time on OurBigBook.com sustainably, and develop free hardcore university-level STEM education for all ages!

For 1M USD I will quit my job to work on OurBigBook for three more years to try and kickstart The Higher Education Revolution. Status: ~44k / 300k USD. MacArthur fellowship wink. At 4M USD I retire and work on open STEM forever.

I first quit my job 1st June 2024 to work on the project for 1 year after I reached my initial 100k goal mostly via a 1000 Monero donation. In this first year I improved project tech, but didn't go and solve university courses to create super targeted content, and didn't obtain a single contributing user except myself, see a summary at Section "OurBigBook Project Update March 2025". My last day job total compensation as of 2024 was about 150k USD/year.

For a followup, it would be an interesting experiment to spend on year full time solving as many courses as I can from a world class university in the city where I live in the UK, and adding that as content to the platform to see if that would attract interest, and reaching out directly to course takers at their university environment to try and help them. I intended to do that in year one but my got distracted by tech. It is quite possible that no one has ever done that before in history: a highly motivated technical person with the time and opportunity to do one single thing: help top university students learn their STEM courses better and have more fun doing so. I have in particular identified one course where this would be particularly feasible: the mathematics course, given that much of their course materials, and also their building are quite open. I do sometimes wonder if doing this would be just a waste of my life. But part of me tells me it could generate big interest and is worth a try. It would also be fun for you to watch me continue to commit career seppuku.

At 4M USD I retire and work on open STEM projects forever. At these timelines, I can't guarantee it will be specifically on education technology specifically all the way, but I guarantee that whatever it is it will be open and extremely well explained as usual.

Total donations to date ~144k USD. Donation breakdown:More details: Section "Accounting method"

Note to potential anonymous crypto donors: I live in the UK, and after some fun back and forth that included Barclays freezing my account for one week at one point, Barclays finally decided that they do not allow me to receive further anonymous donations. And I'm pretty sure that the same would happen on any other British bank sooner or later. Therefore, while I continue to accept anonymous donations, they will not count towards my "if I get X I do Y"-type donation goals, since I can't reliably spend that money. If you want to donate in crypto, and clearly give me your real identity and an explanation of how you got the money, then that is fine, it can count. Just be warned that I will need to give that information to my bank and clear it with them beforehand, and if they are still not happy with it, I'll just give it all back. Your identity does not have to be publicly disclosed, only the dates and amounts. But my bank has to know. Now, if you still want to donate a "retirement level amount" and treat me as a guinea pig in "find the best country for money laundering", well, go for it. But I make no promises! I don't want my children to grow up in shitcountries.

How to give:And if you have a different preferred payment mechanism not listed above, please contact Ciro, and he will set it up.

Ciro's current ambitions require him to remain in developed countries, because Ciro wants to document advanced science and technology by liaising with top universities, and there is not nearly as much high technology in poor countries. Remaining in developed countries is also a required due to family reasons.

If you would like public acknowledgement for your support, Ciro will very gladly give it, just let Ciro know how you'd prefer it. Due to Ciro Santilli's campaign for freedom of speech in China, many supporters have chosen to be anonymous, and that is totally fine, not everyone is interested in politics, or has a situation where going public is acceptable, so we don't have a standard setup yet, let's build it together. A acknowledgement section at the bottom of this page would be a minimum, but I for larger donations we could add a your advertisement in a locations such as:

Ciro Santilli is a UK resident. He will register as a "solo trader" (slightly funny legal term) and treat donations that he uses for projects as grants, which pay regular income tax:The rates are given at: www.gov.uk/income-tax-rates and are as of writing:

National insurance is also likely going to be paid: www.gov.uk/self-employed-national-insurance-rates:

Fortunately however VAT does not need to be paid.

The amount that will be declared is the same as he grant amount that was requested, e.g. if 100k USD is requested for 1 year, then 100k USD will be pro-rata declared on that year.

Any remaining donations that don't yet meet specific grant goals will be initially treated as cash gifts which pay no tax. If in the future they are used as grant money after further goal amounts are reached, then they will taxed as grants.

Note however that if the donor is UK-based and dies within 7 years of the gift being given, inheritance tax has to be paid on them as per: www.gov.uk/inheritance-tax/gifts, at a maximum of 32% and going to to 0% at 7 years, so let me know from the afterlife.

Ciro paid his bill for £24,321.87 ($32,729.70) on 2026-01-02. Announcements:

Prototype: github.com/cirosantilli/Urho3D-cheat

Prior art research: github.com/cirosantilli/awesome-reinforcement-learning-games

Less good discrete prototype: github.com/cirosantilli/rl-game-2d-grid YouTube demo: Video 1. "Top Down 2D Continuous Game with Urho3D C++ SDL and Box2D for Reinforcement learning by Ciro Santilli (2018)".

The goal of this project is to reach artificial general intelligence.

A few initiatives have created reasonable sets of robotics-like games for the purposes of AI development, most notably: OpenAI and DeepMind.

However, all projects so far have only created sets of unrelated games, or worse: focused on closed games designed for humans!

What is really needed is to create a single cohesive game world, designed specifically for this purpose, and with a very large number of game mechanics.

Notably, by "game mechanic" is meant "a magic aspect of the game world, which cannot be explained by object's location and inertia alone" in order to test the the missing link between continuous and discrete AI.

Much in the spirit of gvgai, we have to do the following loop:

The question then becomes: do we have enough computational power to simulation a game worlds that is analogous enough to the real world, so that our AI algorithms will also apply to the real world?

To reduce computation requirements, it is better to focus on a 2D world at first. Such world with the right mechanics can break any AI, while still being faster to simulate than a 3D world.

The initial prototype uses the Urho3D open source game engine, and that is a reasonable project, but a raw Simple DirectMedia Layer + Box2D + OpenGL solution from scratch would be faster to develop for this use case, since Urho3D has a lot of human-gaming features that are not needed, and because 2019 Urho3D lead developers disagree with the China censored keyword attack.

Simulations such as these can be viewed as a form of synthetic data generation procedure, where the goal is to use computer worlds to reduce the costs of experiments and to improve reproducibility.

Ciro has always had a feeling that AI research in the 2020's is too unambitious. How many teams are actually aiming for AGI? When he then read Superintelligence by Nick Bostrom (2014) it said the same. AGI research has become a taboo in the early 21st century.

Related projects:

Related ideas:

Bibliograpy:

Confusingly, in LaTeX: