Eclesiastés 11:1-4 TLA
Dale de comer al hambriento, y un día serás recompensado. Comparte lo que tienes con siete y hasta ocho amigos...
Dale de comer al hambriento, y un día serás recompensado. Comparte lo que tienes con siete y hasta ocho amigos...
October 11, 2026 at 8:30 AM
Eclesiastés 11:1-4 TLA
Dale de comer al hambriento, y un día serás recompensado. Comparte lo que tienes con siete y hasta ocho amigos...
Dale de comer al hambriento, y un día serás recompensado. Comparte lo que tienes con siete y hasta ocho amigos...
El problema de Korra es que no aguanta la comparación con Avatar: TLA, pero no es porque sea mala, es que TLA es la polla.
October 10, 2026 at 7:06 AM
El problema de Korra es que no aguanta la comparación con Avatar: TLA, pero no es porque sea mala, es que TLA es la polla.
Can we model this in TLA+?
Isn't this just a programming life hack?
llm life hack: "what if we consider this a state machine"
October 9, 2026 at 12:30 AM
Can we model this in TLA+?
Crvena boja tla dolazi od željeznog oksida (hrđe) iz stare vulkanske zemlje. Ima ovaj smiješni mali vodopad u blatu koji se zove “red dirt waterfall” ali okolni prizori su kudikamo spektakularniji
October 10, 2026 at 4:23 AM
Crvena boja tla dolazi od željeznog oksida (hrđe) iz stare vulkanske zemlje. Ima ovaj smiješni mali vodopad u blatu koji se zove “red dirt waterfall” ali okolni prizori su kudikamo spektakularniji
Alexandre Siret from IMDEA Software Institute on modelling Accord in TLA+
October 12, 2026 at 11:19 AM
Alexandre Siret from IMDEA Software Institute on modelling Accord in TLA+
it was for avatar tla movie!!!
October 10, 2026 at 1:32 AM
it was for avatar tla movie!!!
Niestety polskiemu wydawnictwu w tym wątku przypadła rola tła. Nie chcę niczego mu ujmować, bo jest obiektywnie bardzo dobre, ale wygląda na inspirowane amerykańskim atlasem.
October 10, 2026 at 5:29 PM
Niestety polskiemu wydawnictwu w tym wątku przypadła rola tła. Nie chcę niczego mu ujmować, bo jest obiektywnie bardzo dobre, ale wygląda na inspirowane amerykańskim atlasem.
That's what I stayed away from TLA for so long.
Then I watched it and was like "Okay, the hype IS real, but other cartoons should be allowed to be their own things."
Then I watched it and was like "Okay, the hype IS real, but other cartoons should be allowed to be their own things."
October 11, 2026 at 10:51 PM
That's what I stayed away from TLA for so long.
Then I watched it and was like "Okay, the hype IS real, but other cartoons should be allowed to be their own things."
Then I watched it and was like "Okay, the hype IS real, but other cartoons should be allowed to be their own things."
Ikke engang avsender er forklart utover en TLA
October 9, 2026 at 7:21 AM
Ikke engang avsender er forklart utover en TLA
それは将来起こるだろう。
(Seo se tla etsahala nakong e tlang.)
(Seo se tla etsahala nakong e tlang.)
October 10, 2026 at 9:53 AM
それは将来起こるだろう。
(Seo se tla etsahala nakong e tlang.)
(Seo se tla etsahala nakong e tlang.)
forgot i was on a “no collusion” arc but got caught up in the moment and conceded twice today. didn’t remember til my drive home. oops!
anyway, momo is great. 4-0 in matches played. have solid plans for spelementals and control. ub spiderman likely rough still. bw lifegain is difficult but winnable
anyway, momo is great. 4-0 in matches played. have solid plans for spelementals and control. ub spiderman likely rough still. bw lifegain is difficult but winnable
October 10, 2026 at 7:48 PM
forgot i was on a “no collusion” arc but got caught up in the moment and conceded twice today. didn’t remember til my drive home. oops!
anyway, momo is great. 4-0 in matches played. have solid plans for spelementals and control. ub spiderman likely rough still. bw lifegain is difficult but winnable
anyway, momo is great. 4-0 in matches played. have solid plans for spelementals and control. ub spiderman likely rough still. bw lifegain is difficult but winnable
I hate the TLA fanbase so fucking much, dude.
They cannot accept anything that isn't a 1:1 copy of the first show and it seems like they purposefully misinterpret anything outside of it.
They cannot accept anything that isn't a 1:1 copy of the first show and it seems like they purposefully misinterpret anything outside of it.
October 10, 2026 at 11:41 PM
I hate the TLA fanbase so fucking much, dude.
They cannot accept anything that isn't a 1:1 copy of the first show and it seems like they purposefully misinterpret anything outside of it.
They cannot accept anything that isn't a 1:1 copy of the first show and it seems like they purposefully misinterpret anything outside of it.
Ste vedeli, da ima vonj "dežja" svoje ime? Petrihor.
Gre za kemično reakcijo, ki se sprosti, ko dežne kaplje udarijo ob tla sprostijo rastlinska olja in mikrobiološke spojine.
Ob udarcu nastanejo mikroskopski zračni mehurčki, ki iz kaplje potujejo v zrak kot aerosol.
#triviaThursday
Gre za kemično reakcijo, ki se sprosti, ko dežne kaplje udarijo ob tla sprostijo rastlinska olja in mikrobiološke spojine.
Ob udarcu nastanejo mikroskopski zračni mehurčki, ki iz kaplje potujejo v zrak kot aerosol.
#triviaThursday
October 8, 2026 at 6:31 AM
Ste vedeli, da ima vonj "dežja" svoje ime? Petrihor.
Gre za kemično reakcijo, ki se sprosti, ko dežne kaplje udarijo ob tla sprostijo rastlinska olja in mikrobiološke spojine.
Ob udarcu nastanejo mikroskopski zračni mehurčki, ki iz kaplje potujejo v zrak kot aerosol.
#triviaThursday
Gre za kemično reakcijo, ki se sprosti, ko dežne kaplje udarijo ob tla sprostijo rastlinska olja in mikrobiološke spojine.
Ob udarcu nastanejo mikroskopski zračni mehurčki, ki iz kaplje potujejo v zrak kot aerosol.
#triviaThursday
Humans LOVE a good
Three letter abbreviation
Or TLA for short.
Three letter abbreviation
Or TLA for short.
October 12, 2026 at 6:30 PM
Humans LOVE a good
Three letter abbreviation
Or TLA for short.
Three letter abbreviation
Or TLA for short.
Formal methods! TLA+/TLC! So many things you can do
You can just have your AI read the Pragmatic Programmer FFS
You can just have your AI read the Pragmatic Programmer FFS
October 9, 2026 at 9:29 PM
Formal methods! TLA+/TLC! So many things you can do
You can just have your AI read the Pragmatic Programmer FFS
You can just have your AI read the Pragmatic Programmer FFS
Avatar past TLA hasn't interested me.
October 9, 2026 at 10:47 AM
Avatar past TLA hasn't interested me.
Stefan Stoicescu from TU Delft, Software Engineering Research Group, finding non-trivial linearizability bugs by a model-guided approach that maps concrete executions to abstract TLA+ states, turning an unbounded trace-discovery graph into a usable coverage metric.
October 12, 2026 at 1:46 PM
Stefan Stoicescu from TU Delft, Software Engineering Research Group, finding non-trivial linearizability bugs by a model-guided approach that maps concrete executions to abstract TLA+ states, turning an unbounded trace-discovery graph into a usable coverage metric.
Kelp-Restaurierung vor Tofino: Seit Anfang 2026 entstanden laut Organisatoren über 4.200 Quadratmeter Lebensraum für Lachs und Hering, auch dank rund 1.500 Seeotter.
Kelp-Projekt in Kanada: 4.200 m² neuer Lebensraum laut Organisatoren
Vor Tofino an Kanadas Westküste lassen die Tla-o-qui-aht First Nation, die Organisation Redd Fish und das Unternehmen West Coast Kelp seit Anfang 2026 Riesenkelp wachsen, um Lebensraum für Lachs und Hering zu schaffen. Bis Oktober 2026 entstanden lau
denkstrom.org
October 11, 2026 at 3:30 AM
Kelp-Restaurierung vor Tofino: Seit Anfang 2026 entstanden laut Organisatoren über 4.200 Quadratmeter Lebensraum für Lachs und Hering, auch dank rund 1.500 Seeotter.
Its day one (not counting the leaks) and r/tla is already insufferable
October 9, 2026 at 11:24 PM
Its day one (not counting the leaks) and r/tla is already insufferable
they should move TLA to fishtown (I am going to a concert there tn and I hate south street with a passion)
October 6, 2026 at 10:21 PM
they should move TLA to fishtown (I am going to a concert there tn and I hate south street with a passion)
Tlaib, Democrats Call for Israel to Release Palestinian Doctors From Detention truthout.org/articles/tla...
Tlaib, Democrats Call for Israel to Release Palestinian Doctors From Detention
Israel has killed over 1,700 Palestinian health care workers in three years of genocide in Gaza.
truthout.org
October 8, 2026 at 5:29 AM
Tlaib, Democrats Call for Israel to Release Palestinian Doctors From Detention truthout.org/articles/tla...
Mniej obcy. Nuda i chaos. Ktoś kto nie pamięta lat 80 w Polsce, nie pojmie tła. Za młodu lubiłam Lady Pank, skoczny rock. Dopiero później poznałam tło tekstów. Niemniej czasem i Kinga Preis nie pomoże, gdy tworzy się laurkę, a nie biografię.
October 10, 2026 at 6:15 PM
Mniej obcy. Nuda i chaos. Ktoś kto nie pamięta lat 80 w Polsce, nie pojmie tła. Za młodu lubiłam Lady Pank, skoczny rock. Dopiero później poznałam tło tekstów. Niemniej czasem i Kinga Preis nie pomoże, gdy tworzy się laurkę, a nie biografię.