Frühere Suchanfragen

Keine früheren Suchanfragen

Suchoptionen

Nur verfügbar, wenn angemeldet.
mastodontech.de ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Offen für alle (über 16) und bereitgestellt von Markus'Blog

Verwaltet von:

Serverstatistik:

1,5 Tsd.
aktive Profile

mastodontech.de: ÜberStatusProfilverzeichnisDatenschutzerklärung

Mastodon: ÜberApp herunterladenTastenkombinationenQuellcode anzeigenv4.4.0-rc.1

#definition

0 Beiträge0 Beteiligte0 Beiträge heute
Alex Nelson

I wrote a brief post about redefinitions in Mizar.

Redefinitions occur when we specialize the parameters of a definition, and it simplifies the "right-hand side" of the definition to something far simpler (or more useful).

Redefinitions also allow us to tack on properties like "commutative" or "idempotent" to definitions, so Mizar can automatically use them when reasoning about the terms.

#Mizar #ProofAssistant #definition #redefinition #mathematics

thmprover.wordpress.com/2025/0

Ariadne's Thread · Redefinitions in MizarMizar allows you to redefine a term, which has a precise technical meaning for the Mizar language. But before I get into that, we should distinguish “redefining a term” with “shad…
Fortgeführter Thread
Poujol 𝖱𝗈𝗌𝗍 ✅

Je serais bien curieux de connaître, si elle existait dans leur tête (celles de nos dirigeants) la #définition de la #matérialité d'une #IA #générative.

J'ai l'impression que pour elleux c'est :
un #logiciel magique à tout-faire, qui parle presque comme un humain, sur presque tous les sujets.

Concrêtement je que j'en comprends :
des fichers avec lignes de codes & algos, quelques fichiers d'interfaces graphiques, et des millards de fichiers de contenu d'entraînement, dans un datacenter.

MuzWot

Rogue, Wildman, Jibbering Dreamer #noun #definition

& Here's how to spell
' MUZWOT ' ...

Absurdists

Agnostics

Alchemy

Animism

Autonomy

Awareness

Celtica

Chao

Counterculture

Discord

Dissidents

Eclectic

Ecology

Esoteric

Existential

Extinction

Folklore

Hermetic

Indigenous

Magikal

Metaphysical

Mystics

Mythos

Naturalists

Occulture

Paranormal

Primitivists

Shamans

Subculture

Surrealists

Transcendental

Transgressive

Transpersonal

Unexplained

Weirdness

Wildness

Zen

Geriatric Gardener

The latest blogpost by veteran anti-Zionist campaigner, Tony #Greenstein:

“Anti-Semites Love the IHRA ‘definition’ of Anti-Semitism’ Because It Has Nothing to do With Anti-Semitism & Everything to do with Supporting Israel & Zionism”

azvsas.blogspot.com/2025/05/an

azvsas.blogspot.comAnti-Semites Love the IHRA ‘definition’ of Anti-Semitism’ Because It Has Nothing to do With Anti-Semitism & Everything to do with Supporting Israel & Zionism
#Press#UK#IHRA
MuzWot

We're maybe quite similar, in that likely you've not always been the most fortunate throughout life, yet always do have nonetheless much gratitude.

This said, I do definitely live right now in one of the absolutely best and most beautiful places in the entire world.

Though, whenever I hear or read the term #civilisation - This is what I understand it means now by its very #Definition

Geriatric Gardener

“How the creation of the ‘New Antisemitism’ was used to shield #Israel and attack the Left”

By Sean Malloy in Mondoweiss @mondoweiss @palestine
@israel
@UKLabour

“Challenges to Zionism in the late 1960s and 1970s sparked an effort to redefine antisemitism focused on defending Israel while attacking the political Left. This resulted in the IHRA definition and the assault on Palestine activism we see today”

mondoweiss.net/2025/04/how-the

Mondoweiss · How the creation of the ‘New Antisemitism’ was used to shield Israel and attack the LeftChallenges to Zionism in the late 1960s and 1970s sparked an effort to redefine antisemitism focused on defending Israel while attacking the political Left. This resulted in the IHRA definition and the assault on Palestine activism we see today.
#Press#IHRA#Antisemitism
Antwortete im Thread
AhaAchja

@Zeitzeuge_64
🙂 Moin. ☕ Gefragt, selbst geteilt, immer noch keine #Antwort, dann schreiben #wir es eben: #Herkunft, #Hintergrund, #Ursprung ist #Gendern mit y: Wie funktioniert Gendern nach #Phettberg? #Bedeutung, #Definition, #Erklaerung siehe bedeutungonline.de/gendern-mit

💚 Wünschen noch einen angenehmen
#Karfreitag. 💚

Bedeutung Online · Gendern mit y: Wie funktioniert Gendern nach Phettberg? Bedeutung, Definition, Erklärung - Bedeutung OnlineDer Wiener Kolumnist und Aktionskünstler Hermes Phettberg (ent)gendert seit 30 Jahren mit y. Er hat das Gendern mit y erfunden. Deswegen wird es auch „Gendern nach Phettberg“ genannt. Bisher scheint sich niemand daran zu stören – zumindest offenkundig. Literaturdidaktiker und Germanist Thomas Kronschläger benutzt diese Form seit 3 Jahren – sowohl öffentlich als auch privat … „Gendern mit y: Wie funktioniert Gendern nach Phettberg? Bedeutung, Definition, Erklärung“ weiterlesen
*
Thor A. Hopland

Here's my #definition for #narcissism :

"Being addicted to validation."

You may say "Oh no, that's not it - it's about being self-absorbed!"

Those two statements are the same.

The incentive and reward systems of your brain partly relies on your world view, or your understanding of reality. We all try to be tethered to objective reality as much as we can. But the narcissist? Reality is whatever they make of it, as long as it makes them feel good.

This is narcissistic delusion.

#psychology
Antwortete im Thread
Hans Kastell

@afelia
jedes kennt diese kleineren Enttäuschungen, die eins Selbstbild und Weltbild, die Gewissheiten einknicken lassen. Für Tage und Wochen fühlt es sich an wie, als mache alles keinen Sinn mehr.

ein Versuch von #Definition -
#Optimismus ist, wenn man weiss dass es gut werden kann.
#Naivität ist, wenn man nicht weiss, wie schlimm es tatsächlich werden kann.

Darauf bereiten auch die kleinen Enttäuschungen nicht gänzlich vor. Wir müssen davon ausgehen - es geht immer noch schlimmer.

AngesagtLive-Feeds
Über