Ron Pressler

@pressron

Views are my own. Retweets are not endorsements.

London
Vrijeme pridruživanja: travanj 2009.

Tweetovi

Blokirali ste korisnika/cu @pressron

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @pressron

  1. Prikvačeni tweet
    20. sij 2018.

    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.

    Poništi
  2. proslijedio/la je Tweet
    29. sij

    I always tweet about H. Bosch, but Pieter Brueghel the Elder is another (contemporary) genius. Let's take a look at his 'Dutch Proverbs'.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    17. sij

    Sphynx Cat’s Paws

    Poništi
  4. proslijedio/la je Tweet
    17. sij

    The Hammer-headed bat

    Poništi
  5. proslijedio/la je Tweet
    17. sij

    Thomas de Baeton, died 1345, slain by a clerk long after curfew

    Poništi
  6. proslijedio/la je Tweet
    3. sij

    I purr like a cat when I’m happy

    Poništi
  7. proslijedio/la je Tweet
    31. pro 2019.

    I predict this will be a new Build-A-Bear in 2020.

    Poništi
  8. proslijedio/la je Tweet
    6. lis 2019.
    Poništi
  9. 21. pro 2019.

    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 nit
    Poništi
  10. 21. pro 2019.

    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 nit
    Poništi
  11. 21. pro 2019.

    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.

    Prikaži ovu nit
    Poništi
  12. 21. pro 2019.

    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 nit
    Poništi
  13. proslijedio/la je Tweet
    21. pro 2019.

    It’s the before Christmas! (Taffy, 1951, via )

    Poništi
  14. proslijedio/la je Tweet
    19. pro 2019.

    Sean Landers Cyclops in the Garden (of Earthly Delights), 2016

    Ovo je potencijalno osjetljiv multimedijski sadržaj. Saznajte više
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    18. pro 2019.

    The model for, and painting of, Norman Rockwell's 'Tired Salesgirl on Christmas Eve', 1947.

    Poništi
  16. proslijedio/la je Tweet
    Poništi
  17. proslijedio/la je Tweet
    15. pro 2019.

    Greyhound Bus Terminal in LA, 1969.

    Poništi
  18. proslijedio/la je Tweet
    14. pro 2019.

    Our Feline of the Week is Pickles, beloved theater cat. (The Era 1887, via )

    Poništi
  19. proslijedio/la je Tweet
    14. pro 2019.
    Poništi
  20. proslijedio/la je Tweet
    12. pro 2019.

    America, before you tie yourself in knots with Bernie/Corbyn takes, may I recommend this article by outlining some of the ideological differences between the two.

    Poništi
  21. proslijedio/la je Tweet
    13. pro 2019.

    This by 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'.

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·