Deine Krankenversicherung freut sich sehr, wenn du dich bewegst. Gegen Grippe impfst (selbst bezahlt natürlich). Mitglied in einem Sportverein bist.
Du kannst das alles tracken lassen, wenn du die Kassen-App installierst.
Und wenn du dann alle Punkte erreichst, kriegst du den maximal möglichen Bonus von 75 CHF pro Jahr.
Maximal, wie erwähnt.
Einmal pro Jahr, wie erwähnt.
Bondy, a language and a platform
for distributed multi-agent systems.
https://www.bondy.io/
It's another language on the #BEAM! #Erlang
VLM boots as PID 1 on Linux #retrocomputing #lisp #symbolics #genera
⚡️1 killed, 4 injured in Russian missile strike on Kyiv residential building as official says no early warning received from allies.
Russian ballistic missiles struck Kyiv late Oct. 13, as explosions rocked Ukraine's capital moments after an air raid alert was issued, with presidential adviser Dmytro Lytvyn telling reporters that allies had not provided early warning of the launches for the second day in a row.
«Schalen sind biegesteife Flächentragwerke, bei denen zwei Abmessungen gegenüber der dritten groß sind und die – in Abgrenzung zu den ebenen Flächentragwerken Scheibe und Platte – bereits unbelastet in allen drei Raumrichtungen gekrümmt sein können.»
[https://de.wikipedia.org/wiki/Schalentheorie]
Vitaparcours sind auch so eine Schweizer Erfindung. In Deutschland bekannt als Trimm-dich-Pfad.
Erste Kantone schließen die nun, weil die Wälder zu trocken sind.
Ich mag die abendliche Stimmung im St. Jakob, wenn die Sonne untergeht und die Scheinwerfer aufflammen. Unzählige Jugendmannschaften trainieren hier gleichzeitig. Zwei Fußballerinnen ahmen mein trippelndes Einlaufen nach und rufen mir ein «Weiter so!» zu. Etwas gutmütiger Spott, das passt immer. Im Leichtathletik-Stadion erlaubt das Tribünenlicht noch viele Runden in der Dunkelheit, abwechselnd 400 schnell, 400 langsam, während ein junger Athlet hämmernd und keuchend Bahn Eins durchpflügt.
Kurz aus der Stadt raus, Luft holen.
I am looking forward to the reaction of proprietary software companies to this new trend of individuals letting "AI" reverse engineer their software in pixel-perfect ways and uploading the resulting source code to Github, Codeberg etc under Open Source licenses. It's a weird dilemma. Will they accuse of them of stealing their intellectual property? Who is to blame? The "AI" or the person who wrote the prompt? This is all going to be fascinating to observe!
1/2
6x1km intervals have many benefits. Not thinking about the latest political stupidity for an hour is one of them. I need to coordinate my legs and breathing, leaving no room for other cognitive tasks.
#running
KYIV POST:
Trump’s Deal with Putin Stabs Ukraine in the Bac
https://www.kyivpost.com/post/86677
The US president has betrayed not only Ukraine but also Europe.
OpenAI inonde la recherche avec 722 « prépublications » de mathématiques générées par IA
J'interroge le mathématicien de l'ENS François Charles qui est membre du groupe Agmai qui essaye de donner des recommandations pour la gestion de ce genre de mises en ligne.
Ich wurde auf der Straße gefragt, ob ich ein Engel sei, offenbar von einem anderen Engel.
You Are An Expert Software Engineer (6 min)
"It might be worthwhile to think of things like flowers, thunderstorms, and orgasms as computations."
[Rudy Rucker, The Lifebox, the Seashell, and the Soul]
V v good new @earthjustice.org@bsky.brid.gy report on the genuinely nutty numbers behind the data centre fossil fuel boom in the US
This new update shows emissions from off-grid gas plants for data centres are WAY worse than previously estimated
earthjustice.org/feature/data...
On OpenAI’s release of mathematical results. ~ Advisory Group on Mathematics and Artificial Intelligence. https://proofsandprompts.com/2026/10/07/on-openais-release-of-mathematical-results/
OpenAI sagt, dass ein internes Modell, das sie am 28. August zu trainieren begonnen haben, hundert "long-standing open problems" der Mathematik gelöst hat. Publiziert werden diese (noch) nicht. Wieder mal eher unklar, wie das zu bewerten ist.
https://openai.com/index/advisory-group-on-mathematics-and-ai/
Is AI the end of math as we know it? ~ Jordana Cepelewicz. https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005 #AI4Math
Ich stand zum ersten Mal an einer Lidl-Self-Checkout-Kasse.
[Slapstick-Nummer]