Search
1000 results for “Principia”
-
Kurt Gödel https://zbmath.org/authors/godel.kurt, famous for his work on the foundations of mathematics, was #botd 120 years ago. His seminal work ``Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" was reviewed in https://zbmath.org/57.0054.02 and https://zbmath.org/0002.00101.
-
Nyní se postupně od jednoduché otázky existence a dostupnosti obsahu na jedné instance pro všechny uživatele dané instance, která se principiálně neliší od jakéhokoliv webového diskuzního fóra, jakých se za posledních zhruba 30 let existence webu vyrojily po světě miliony, dostáváme k těm situacím, které i celkem pokročilé uživatele často matou.
* Kdy já můžu vidět obsah od uživatele z jiné instance?
Především: v řadě triviálních případů. Třeba pokud je v daném statusu (zprávě) zmíněno moje Fediverse uživatelské jméno, a to bez ohledu na úroveň soukromí (veřejná odpověď nebo soukromá zpráva).
Samozřejmě, jakýkoliv status odkudkoliv uvidím, pokud uživatele followuju. A to zejména, pokud jsem ho follownul PŘEDTÍM, než zprávu zveřejnil. Pokud chci vidět přímo ze své instance, ke které jsem přihlášený, jeho starší zprávy, tak je situace složitější.
Naprostou jistotu mám, pokud znám identifikátor zprávy na původní instanci (URL): nakopírováním URL do vyhledávacího okénka zprávu natáhnu do místní cache.
Pokud si prohlížím profil uživatele, kterého na instanci zatím nikdo nefollowuje, tak je to, jaké statusy uvidím, poměrně nedefinované. Samozřejmě, nejdřív bych měl vidět připnuté statusy. Novější verze Mastodonu se tuším u nově objevených profilů snaží vždy o nějaké stažení aktuálních statusů. Historicky se ale profily dosud neznámých uživatelů ukazovaly prázdné, což v éře Mastodon migrace odradilo spoustu začátečníků, protože se to nepodobalo chování centralizovaných služeb, na které byli zvyklí.
Máme tedy status z jiné instance nějakým způsobem natažený do cache naší instance. I s médii. Je to záruka, že ho na instanci uvidíme i kdykoliv v budoucnu? Bohužel ne!
Především, životnost mediální cache, kde se uchovávají média z jiných instancí, je omezená. U nás jsou to cca 3 týdny, a i tak to představuje většinu zabraného místa na disku - stovky GB. Pokud si status otevřete později, pokusí se instance média načíst znovu, ale nemusí se jít to povést.
#tipy 3/6
-
Nyní se postupně od jednoduché otázky existence a dostupnosti obsahu na jedné instance pro všechny uživatele dané instance, která se principiálně neliší od jakéhokoliv webového diskuzního fóra, jakých se za posledních zhruba 30 let existence webu vyrojily po světě miliony, dostáváme k těm situacím, které i celkem pokročilé uživatele často matou.
* Kdy já můžu vidět obsah od uživatele z jiné instance?
Především: v řadě triviálních případů. Třeba pokud je v daném statusu (zprávě) zmíněno moje Fediverse uživatelské jméno, a to bez ohledu na úroveň soukromí (veřejná odpověď nebo soukromá zpráva).
Samozřejmě, jakýkoliv status odkudkoliv uvidím, pokud uživatele followuju. A to zejména, pokud jsem ho follownul PŘEDTÍM, než zprávu zveřejnil. Pokud chci vidět přímo ze své instance, ke které jsem přihlášený, jeho starší zprávy, tak je situace složitější.
Naprostou jistotu mám, pokud znám identifikátor zprávy na původní instanci (URL): nakopírováním URL do vyhledávacího okénka zprávu natáhnu do místní cache.
Pokud si prohlížím profil uživatele, kterého na instanci zatím nikdo nefollowuje, tak je to, jaké statusy uvidím, poměrně nedefinované. Samozřejmě, nejdřív bych měl vidět připnuté statusy. Novější verze Mastodonu se tuším u nově objevených profilů snaží vždy o nějaké stažení aktuálních statusů. Historicky se ale profily dosud neznámých uživatelů ukazovaly prázdné, což v éře Mastodon migrace odradilo spoustu začátečníků, protože se to nepodobalo chování centralizovaných služeb, na které byli zvyklí.
Máme tedy status z jiné instance nějakým způsobem natažený do cache naší instance. I s médii. Je to záruka, že ho na instanci uvidíme i kdykoliv v budoucnu? Bohužel ne!
Především, životnost mediální cache, kde se uchovávají média z jiných instancí, je omezená. U nás jsou to cca 3 týdny, a i tak to představuje většinu zabraného místa na disku - stovky GB. Pokud si status otevřete později, pokusí se instance média načíst znovu, ale nemusí se jít to povést.
#tipy 3/6
-
Nyní se postupně od jednoduché otázky existence a dostupnosti obsahu na jedné instance pro všechny uživatele dané instance, která se principiálně neliší od jakéhokoliv webového diskuzního fóra, jakých se za posledních zhruba 30 let existence webu vyrojily po světě miliony, dostáváme k těm situacím, které i celkem pokročilé uživatele často matou.
* Kdy já můžu vidět obsah od uživatele z jiné instance?
Především: v řadě triviálních případů. Třeba pokud je v daném statusu (zprávě) zmíněno moje Fediverse uživatelské jméno, a to bez ohledu na úroveň soukromí (veřejná odpověď nebo soukromá zpráva).
Samozřejmě, jakýkoliv status odkudkoliv uvidím, pokud uživatele followuju. A to zejména, pokud jsem ho follownul PŘEDTÍM, než zprávu zveřejnil. Pokud chci vidět přímo ze své instance, ke které jsem přihlášený, jeho starší zprávy, tak je situace složitější.
Naprostou jistotu mám, pokud znám identifikátor zprávy na původní instanci (URL): nakopírováním URL do vyhledávacího okénka zprávu natáhnu do místní cache.
Pokud si prohlížím profil uživatele, kterého na instanci zatím nikdo nefollowuje, tak je to, jaké statusy uvidím, poměrně nedefinované. Samozřejmě, nejdřív bych měl vidět připnuté statusy. Novější verze Mastodonu se tuším u nově objevených profilů snaží vždy o nějaké stažení aktuálních statusů. Historicky se ale profily dosud neznámých uživatelů ukazovaly prázdné, což v éře Mastodon migrace odradilo spoustu začátečníků, protože se to nepodobalo chování centralizovaných služeb, na které byli zvyklí.
Máme tedy status z jiné instance nějakým způsobem natažený do cache naší instance. I s médii. Je to záruka, že ho na instanci uvidíme i kdykoliv v budoucnu? Bohužel ne!
Především, životnost mediální cache, kde se uchovávají média z jiných instancí, je omezená. U nás jsou to cca 3 týdny, a i tak to představuje většinu zabraného místa na disku - stovky GB. Pokud si status otevřete později, pokusí se instance média načíst znovu, ale nemusí se jít to povést.
#tipy 3/6
-
Nyní se postupně od jednoduché otázky existence a dostupnosti obsahu na jedné instance pro všechny uživatele dané instance, která se principiálně neliší od jakéhokoliv webového diskuzního fóra, jakých se za posledních zhruba 30 let existence webu vyrojily po světě miliony, dostáváme k těm situacím, které i celkem pokročilé uživatele často matou.
* Kdy já můžu vidět obsah od uživatele z jiné instance?
Především: v řadě triviálních případů. Třeba pokud je v daném statusu (zprávě) zmíněno moje Fediverse uživatelské jméno, a to bez ohledu na úroveň soukromí (veřejná odpověď nebo soukromá zpráva).
Samozřejmě, jakýkoliv status odkudkoliv uvidím, pokud uživatele followuju. A to zejména, pokud jsem ho follownul PŘEDTÍM, než zprávu zveřejnil. Pokud chci vidět přímo ze své instance, ke které jsem přihlášený, jeho starší zprávy, tak je situace složitější.
Naprostou jistotu mám, pokud znám identifikátor zprávy na původní instanci (URL): nakopírováním URL do vyhledávacího okénka zprávu natáhnu do místní cache.
Pokud si prohlížím profil uživatele, kterého na instanci zatím nikdo nefollowuje, tak je to, jaké statusy uvidím, poměrně nedefinované. Samozřejmě, nejdřív bych měl vidět připnuté statusy. Novější verze Mastodonu se tuším u nově objevených profilů snaží vždy o nějaké stažení aktuálních statusů. Historicky se ale profily dosud neznámých uživatelů ukazovaly prázdné, což v éře Mastodon migrace odradilo spoustu začátečníků, protože se to nepodobalo chování centralizovaných služeb, na které byli zvyklí.
Máme tedy status z jiné instance nějakým způsobem natažený do cache naší instance. I s médii. Je to záruka, že ho na instanci uvidíme i kdykoliv v budoucnu? Bohužel ne!
Především, životnost mediální cache, kde se uchovávají média z jiných instancí, je omezená. U nás jsou to cca 3 týdny, a i tak to představuje většinu zabraného místa na disku - stovky GB. Pokud si status otevřete později, pokusí se instance média načíst znovu, ale nemusí se jít to povést.
#tipy 3/6
-
Nyní se postupně od jednoduché otázky existence a dostupnosti obsahu na jedné instance pro všechny uživatele dané instance, která se principiálně neliší od jakéhokoliv webového diskuzního fóra, jakých se za posledních zhruba 30 let existence webu vyrojily po světě miliony, dostáváme k těm situacím, které i celkem pokročilé uživatele často matou.
* Kdy já můžu vidět obsah od uživatele z jiné instance?
Především: v řadě triviálních případů. Třeba pokud je v daném statusu (zprávě) zmíněno moje Fediverse uživatelské jméno, a to bez ohledu na úroveň soukromí (veřejná odpověď nebo soukromá zpráva).
Samozřejmě, jakýkoliv status odkudkoliv uvidím, pokud uživatele followuju. A to zejména, pokud jsem ho follownul PŘEDTÍM, než zprávu zveřejnil. Pokud chci vidět přímo ze své instance, ke které jsem přihlášený, jeho starší zprávy, tak je situace složitější.
Naprostou jistotu mám, pokud znám identifikátor zprávy na původní instanci (URL): nakopírováním URL do vyhledávacího okénka zprávu natáhnu do místní cache.
Pokud si prohlížím profil uživatele, kterého na instanci zatím nikdo nefollowuje, tak je to, jaké statusy uvidím, poměrně nedefinované. Samozřejmě, nejdřív bych měl vidět připnuté statusy. Novější verze Mastodonu se tuším u nově objevených profilů snaží vždy o nějaké stažení aktuálních statusů. Historicky se ale profily dosud neznámých uživatelů ukazovaly prázdné, což v éře Mastodon migrace odradilo spoustu začátečníků, protože se to nepodobalo chování centralizovaných služeb, na které byli zvyklí.
Máme tedy status z jiné instance nějakým způsobem natažený do cache naší instance. I s médii. Je to záruka, že ho na instanci uvidíme i kdykoliv v budoucnu? Bohužel ne!
Především, životnost mediální cache, kde se uchovávají média z jiných instancí, je omezená. U nás jsou to cca 3 týdny, a i tak to představuje většinu zabraného místa na disku - stovky GB. Pokud si status otevřete později, pokusí se instance média načíst znovu, ale nemusí se jít to povést.
#tipy 3/6
-
📚 ¿Empezando en el mundo de la contabilidad? Conoce los libros más recomendados para principiantes, con ejercicios prácticos y lenguaje sencillo. ¡Elige el que mejor se adapte a ti! 💡
Imagen creada con IA.
#ContabilidadGeneral #LibrosDeContabilidad #AprenderContabilidad #Principiantes -
La contabilidad no es solo para contadores. Entender tus números es entender tu realidad financiera. Un buen libro para principiantes puede ser el primer paso hacia decisiones más inteligentes. 📊
#ContabilidadGeneral #LibrosDeContabilidad #AprenderContabilidad #Principiantes
-
Scalping en Criptomonedas: Estrategias para Ganancias Rápidas#Criptomonedas #Criptomoedas #Estratégias #ferramentas #Scalping #ScalpingemCriptomoedas #Trading Descubre el scalping en criptomonedas y aprende estrategias efectivas para obtener ganancias rápidas. Ideal para traders principiantes que buscan éxito en el...
https://djltrading.com/scalping-criptomonedas-estrategias-ganancias-rapidas/?fsp_sid=41589 -
Al final del taller #fediversoVG hemos acabado hablando de Signal, aquí os dejo una guía para quien tenga ganas de empezar a usarlo: https://freedom.press/digisec/blog/signal-la-app-de-mensajeria-segura-guia-para-principiantes/
-
https://www.europesays.com/es/453667/ La compositora Unsuk Chin gana el Premio Fronteras del Conocimiento de Música y Ópera: “Todavía me siento una principiante” | Cultura #Compositores #Cultura #Entertainment #Entretenimiento #ES #España #InstrumentosMusicales #Música #MúsicaClásica #Orquestas #Premios #Spain
-
🐧 ¿Quieres probar Linux pero no sabes por dónde empezar? Aquí van algunas distribuciones ideales para principiantes:
🔹 Linux Mint - La más parecida a Windows, muy intuitiva
🔹 Pop!_OS - Excelente si usas NVIDIA o eres desarrollador
🔹 Zorin OS - Moderna, buena para aprender sin complicaciones💡 Consejo: ¡Prueba varias en modo live antes de instalar! Cada una tiene su filosofía.
¿Cuál usarías tú? ¿O ya tienes tu favorita? 👇
-
Aprén a usar Git des de zero com una "màquina del temps" i de col·laboració per als teus projectes. 🐣 La millor eina de treball!
També farem una estona de install party! 🎉
📅 Divendres 27 de febrer
🔗 https://gnulinuxvalencia.org/ca/2026-02-27-taller-git/#Git #Principiantes #SoftwareLibre #València #Coding #LasNaves #InstallParty #ProgramariLliure #LliureJam26
-
Taller de soldadura con estaño
Club de reparadores, martes, 24 de febrero, 17:00 GMT-3
APRENDÉ ALGO NUEVO
Te invitamos a un Taller de soldadura con estaño de cables y componentes eléctricos y electrónicos para principiantes. Empezá el año con un nuevo superpoder. Sumate a aprender una reparación sencilla para tus aparatos.
Aprendé la técnica y traé un objeto para aplicarla. Puede servir para unir cables a fichas (de audio, etc), cables a placas o componentes electrónicos a placas.
Martes 24 de febrero De 17 a 19 hs Humbodlt 83, Villa Crespo, CABA
Costo: $20.000, incluye herramientas y materiales.
Recordá de traer un objeto para reparar. Inscripción x mensaje a @clubdereparadoreshttps://vagancio.partidopirata.com.ar/event/taller-de-soldadura-con-estano
-
https://www.europesays.com/it/342041/ Dounia velenosa (9), Dorella affondata (6), Jonny principiante (3). Carlotta? Spreca il vantaggio (6) #AntoninoCannavacciuolo #BrunoBarbieri #CarloGuerriero #DorellaDelGiudice #Entertainment #GiorgioLocatelli #Intrattenimento #IT #Italia #Italy #JeremyChan #JessicaRosval #masterchef #MasterchefItalia #modena #SkyUno
-
https://www.europesays.com/it/340354/ Dounia velenosa (9), Dorella affondata (6), Jonny principiante (3). Carlotta? Spreca il vantaggio (6) #AntoninoCannavacciuolo #BrunoBarbieri #CarloGuerriero #DorellaDelGiudice #Entertainment #GiorgioLocatelli #Intrattenimento #IT #Italia #Italy #JeremyChan #JessicaRosval #masterchef #MasterchefItalia
-
Los 10 comandos de PowerShell para empezar en Windows https://blog.elhacker.net/2025/12/10-comandos-de-powershell-para-empezar-windows.html #principiantes #powershell #comandos #software #tutorial #Windows
-
This golf panther is prowling around the golf course, hoping for a hole in one!
Shown on a sticker, we've got lots of made to order products, perfect for the dorm
Buy here: https://www.redbubble.com/shop/ap/61948650
#BuyIntoArt #Panthers #GoPanthers #Middlebury #Principia #BirminghamSouthern #Chapman #Hanover #Adelphi #Claflin #Ferrum #PlymouthState #Greenville #EasternIllinois #FloridaTech #Davenport #UWMilwaukee #Drury #OhioDominican #CAU #FloridaTech
-
This golf panther is prowling around the golf course, hoping for a hole in one!
Shown on a sticker, we've got lots of made to order products, perfect for the dorm
Buy here: https://www.redbubble.com/shop/ap/61948650
#BuyIntoArt #Panthers #GoPanthers #Middlebury #Principia #BirminghamSouthern #Chapman #Hanover #Adelphi #Claflin #Ferrum #PlymouthState #Greenville #EasternIllinois #FloridaTech #Davenport #UWMilwaukee #Drury #OhioDominican #CAU #FloridaTech
-
This golf panther is prowling around the golf course, hoping for a hole in one!
Shown on a sticker, we've got lots of made to order products, perfect for the dorm
Buy here: https://www.redbubble.com/shop/ap/61948650
#BuyIntoArt #Panthers #GoPanthers #Middlebury #Principia #BirminghamSouthern #Chapman #Hanover #Adelphi #Claflin #Ferrum #PlymouthState #Greenville #EasternIllinois #FloridaTech #Davenport #UWMilwaukee #Drury #OhioDominican #CAU #FloridaTech
-
Our panther mascot is shown on a cutting board, and available on 100+ made to order gifts, shown solo but also available playing many sports.
#BuyIntoArt #Panthers #GoPanthers #Middlebury #Principia #BirminghamSouthern #Chapman #Hanover #Adelphi #Claflin #Ferrum #PlymouthState #Greenville #EasternIllinois #FloridaTech #Davenport #UWMilwaukee #Drury #OhioDominican
https://www.society6.com/.../black-panther6620631_cutting...
-
Our panther mascot is shown on a cutting board, and available on 100+ made to order gifts, shown solo but also available playing many sports.
#BuyIntoArt #Panthers #GoPanthers #Middlebury #Principia #BirminghamSouthern #Chapman #Hanover #Adelphi #Claflin #Ferrum #PlymouthState #Greenville #EasternIllinois #FloridaTech #Davenport #UWMilwaukee #Drury #OhioDominican
https://www.society6.com/.../black-panther6620631_cutting...
-
Our panther mascot is shown on a cutting board, and available on 100+ made to order gifts, shown solo but also available playing many sports.
#BuyIntoArt #Panthers #GoPanthers #Middlebury #Principia #BirminghamSouthern #Chapman #Hanover #Adelphi #Claflin #Ferrum #PlymouthState #Greenville #EasternIllinois #FloridaTech #Davenport #UWMilwaukee #Drury #OhioDominican
https://www.society6.com/.../black-panther6620631_cutting...
-
Tengo Ravelry y Drops para diseños de #crochet pero ahora viene la siguiente pregunta: ¿dónde compro la lana?
Hay que tener en cuenta que soy principiante así que quiero algo más bien barato. En una mercería me cobraron casi 9 euros por 200g, una lana de 4mm. ¿Me timaron o es el precio real?
-
¡¡¡Make a Dinosaur Jam 5🦕!!!
¡Dibuja o modela un dinosaurio!
Para profesionales, principiantes o niños y niñas con sus familiares.
No es una competición, ¡es un evento para aprender e inspirar a los demás!
Apúntate aquí:
👉 https://itch.io/jam/make-a-dinosaur-5
El tema será revelado el 22/12.
#jam #artjam #gamejam #makeadinosaur -
Now #OpenAI's rabid scraper bot #GPTBot is getting stuck in an endless URL concatenation loop again, this time it's on the principia-web forums. It's been going ever since last night.
I have no idea how you can mess up a crawler bot this badly, but I guess nobody cares if it goes havoc. Into the shitlist it goes.
-
𝗦𝘂𝗼𝗻𝗮! #Manuale completo per lo studio personale. Vol. 1 Principiante/Intermedio
di Filippo Cosentino
È un #metodo completo di #chitarra per offrire un innovativo sviluppo tecnico sullo strumentoIn uscita il 18 ottobre. Pre-ordine: https://shorturl.at/RtUFZ
-
The so-called law of excluded middle is a misnomer, as stated. (2.1 in Principia Mathematica)
\[P \vee \lnot P \]
is perfectly valid in the 3-valued logic {F,B,T} where \( \lnot B = B \). We explicitly HAVE a middle, it is its own negation. The middle is both true and false. Don't exclude it, it's useful for avoiding fallacies.While we are at it, let's notice that double negation is the identity. No problem. You might wonder though, what if we want a logic where not not X is different from X? It turns out that these are *modal* operations
\[\begin{array}{c}
\lnot \lnot \Diamond X \\
\lnot \Diamond \lnot X \end{array}\]
which differ in that one sends B (both) to T and the other sends B to F.As far as "laws of thought" go, I don't not like the idea.
-
Igrachka-Plachka
is a #curious slavic #word for #horseplay
which encapsulates the #ambivalence
of rough-and-tumble
A Japanese toy with not dissimiliar instructional #intension
are the #Kamifusen – colorful small glassine-paper balls,
whose principial #way to getting #prim and #puffy is to be given
a good #pummeling
Or so the #MujiMujiks #think #visitors, who upon crossing the #gallery threshold step into a #stormy
scenography of mutiple micro-#catastrophes, #teapot tempest #bursting into #bloom
