Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @pressron
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @pressron
-
Prikvačeni tweet
Finite of Sense and Infinite of Thought: A history of computation, logic and algebra — and their relationship — from Classical times to the 20th century, told through primary sources.https://pron.github.io/computation-logic-algebra …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
I always tweet about H. Bosch, but Pieter Brueghel the Elder is another (contemporary) genius. Let's take a look at his 'Dutch Proverbs'.pic.twitter.com/3JYJOsPpVw
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ron Pressler proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ron Pressler proslijedio/la je Tweet
Thomas de Baeton, died 1345, slain by a clerk long after curfew
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
I purr like a cat when I’m happypic.twitter.com/2O6F46SGHA
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
I predict this will be a new Build-A-Bear in 2020.
#2020WillBeTheYearForpic.twitter.com/C3pE3CXduj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
This also sets TLA⁺ apart from similarly-rich logics with proof assistants and/or model checkers that *are* based on programming, like Lean or Agda, and SPIN's Promella or NuSMV's language.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Among other things, this means that the very roles of abstraction, composition and encapsulation are drastically different from those they play in programming.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Most importantly, the fundamental perspective is different. Programming uses formal text to *construct* a system; in TLA⁺, like in physics, formal text is used to *describe* a system. E.g. https://groups.google.com/forum/#!searchin/tlaplus/balloons%7Csort:date/tlaplus/XsqwpUruTxY/-vz0d51tAQAJ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The hardest thing for programmers learning TLA⁺ is internalising that it is not similar to programming. The goals are different, the scope is different, the language's design requirements and concerns are different, the experience is different, the workflow is different.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
It’s the
#Caturday before Christmas! (Taffy, 1951, via@NYTArchives)pic.twitter.com/H08R2ttepU
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
Sean Landers Cyclops in the Garden (of Earthly Delights), 2016pic.twitter.com/mujYkZvt0e
Ovo je potencijalno osjetljiv multimedijski sadržaj. Saznajte više
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
The model for, and painting of, Norman Rockwell's 'Tired Salesgirl on Christmas Eve', 1947.pic.twitter.com/UEtzfCz8ep
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
In a sense, all this is bloody petrifying.
@jeremycorbyn? Are you fucking serious? http://thequietus.com/articles/18714-jeremy-corbyn-labour-election-rally-policies …pic.twitter.com/jiD73YhEyq
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ron Pressler proslijedio/la je Tweet
Our
#Caturday Feline of the Week is Pickles, beloved theater cat. (The Era 1887, via@_newspapers)pic.twitter.com/N8LhSNwByf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ron Pressler proslijedio/la je Tweet
America, before you tie yourself in knots with Bernie/Corbyn takes, may I recommend this article by
@J_Bloodworth outlining some of the ideological differences between the two.https://www.tabletmag.com/scroll/275867/two-paths-for-the-left-the-dueling-visions-of-bernie-sanders-and-jeremy-corbyn …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Pressler proslijedio/la je Tweet
This by
@TanyaGold1 is very good: I always thought his supporters failed to understand the extent of Corbyn's vanity - how he revelled in the unexpected attention - and fatally excused his short temper. Truly 'a hero in tiny rooms'.https://unherd.com/2019/12/how-labour-betrayed-their-supporters/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.