I also liked the one on lambda calculus. I hope one day we will be able to find interpretation of what it actually means for PLUS Times Plus. Maybe this is how we will explore nonstandard arithmetic.
Godel's incompleteness theorem lets you turn PLUS into a number, do some operations on it, and then turn it back into a symbol. So PLUS times PLUS already has a definite answer. Perhaps not a sensible one, but a definite one.
Yes it could just simply be a syntactic sugar for a complex operation taking in 4 numbers. But this reminds me of Mirror Symmetry between two theories in String Theory where complex calculations in one theory gets mapped to simple calculation in another theory. Similarly we might have translation dictionary between standard arithmetic and non-standard arithmetic where complex calculation in standard arithmetic becomes easy calculation in non-standard arithmetic.
Edit: Oh wait, no, I was thinking of the Drew's Campfire double pendulum video. That video was extra interesting because the creator is not a typical content producer. He just has a few videos without any views, then dropped what might be one of the best videos of all time, and then went back to his technical videos.
Germany leads by a wide margin with 1,218 jobs, roughly a quarter of all listings. In the July report, Germany had 564 jobs, so the country has more than doubled its share. Berlin alone accounts for 696 positions (up from just over 300 previously). This makes Berlin the single most active city for international tech hiring. Hamburg (195) and Munich (186) follow. This is somewhat unsurprising, since Berlin is often praised as one of the most expat-friendly and English-speaking cities in Germany and Europe.
Spain holds second place with 657 jobs, up from 254 in my 2025 analysis. Barcelona (326), Madrid (97), and Málaga (92) are the main hubs. Spain’s 2023 Startup Law continues to bear fruit, and the cost of living remains lower than in Amsterdam, London, or Paris. With 8,580 active tech companies that generate €14.8 billion in annual economic impact and employ over 108,000 people, Spain has become a serious destination for tech workers who want a European lifestyle without Northern European prices.
The founders’ different backgrounds and opinions were at the same time the reason for some bold decisions – many of which right – as well as a few mistakes, which are the root cause of some of the current problems:
- granting free use of the LibreOffice brand only to companies in the ecosystem, to allow them to sell the software in Microsoft and Apple’s online stores;
- awarding contracts for the development of LibreOffice – new features, fixing “legacy” bugs, etc. – to companies whose representatives were on The Document Foundation’s Board of Directors, and who were active throughout the procurement process.
Both of these decisions were found to be incorrect for reasons relating to the non-profit law, to which The Document Foundation must adhere.
reply