A downside of running my CI pipelines somewhere else is that I no longer hear (the fan stopping) when they are done.
Schlagwort: Programmieren
Very occasionally.
E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).
Bankskell.
Doing evil with the most beautiful tools is still doing evil.
General Public Quote.
Of the 41 main cases we singled out during manual labelling, none appear in less than 10 different files. Most (35 cases) appear over a hundred times. Once, GitHub Copilot suggested starting an empty file with something it had even seen more than a whopping 700,000 different times during training -- that was the GNU General Public License.
Albert Ziegler: Research recitation (docs.github.com)
(via @eevee)
LEGOne.
Development was notoriously tumultuous, largely due to toxic management "politics". Ultimately, LEGO decided to rescind the licensing rights from Mindscape after LEGO Island and Mindscape fired the entire team the day before release to dodge paying bonuses that were promised based on the game's success. A planned sequel/spinoff entitled "Beneath the Phanta-Sea" based on the same engine developed for LEGO Island was cancelled.