Ron Pressler

@pressron

Views are my own. Retweets are not endorsements.

London
pron.github.io
Vrijeme pridruživanja: travanj 2009.

Medijski sadržaj

  1. 20. pro 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Here's the beginning of the chapter on composition in my TLA+ series

    1 korisnik označava da mu se sviđa
  2. 15. pro 2019.
    Odgovor korisniku/ci

    Also, check this out: Charles Peirce, On the Algebra of Logic, 1880

    1 reply 2 proslijeđena tweeta 15 korisnika označava da im se sviđa
  3. 8. stu 2019.
    Odgovor korisnicima

    You might be interested in this:

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
  4. 12. lip 2019.

  5. 7. lip 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    As a simple example, while most interesting properties of these two very simple routines in isolation is easily determined, determining whether their composition foo bar ever crashes (i.e. whether it's total on Integer ) is, well, hard.

    1 reply 3 korisnika označavaju da im se sviđa
  6. 3. lip 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Consider the two simple routines attached (I usually write this in Java, but seeing you like Haskell…). You can answer most interesting questions about either in isolation. I claim that their composition, foo bar, never crashes for any Integer. Can you prove me right or wrong?

    1 reply 1 korisnik označava da mu se sviđa
  7. 1. lip 2019.
    Odgovor korisnicima

    “It is believed to have been made in Syria in the late 19th c., passing to Nablus, then Israel”

    1 reply
  8. 31. svi 2019.
    Odgovor korisniku/ci

    Here's a trick to make mutations compilation errors:

    6 korisnika označava da im se sviđa
  9. 28. svi 2019.
    Odgovor korisnicima

    See , , and many here:

    2 korisnika označavaju da im se sviđa
  10. 21. svi 2019.
    Odgovor korisnicima

    This didn't catch on (don't know why):

    1 korisnik označava da mu se sviđa
  11. 21. svi 2019.
    Odgovor korisnicima

    The goal is for existing servlets to work in fibers (i.e. nonblocking from the OS's perspective) without code changes (other than necessitated by current limitations) -- only some configuration changes. See 's recent demo:

    1 reply 3 korisnika označavaju da im se sviđa
  12. 29. ožu 2019.
    Odgovor korisniku/ci

    I just added the src dir (I guess you should also add src-gen)

    1 reply
  13. 29. ožu 2019.
    Odgovor korisnicima

  14. 25. ožu 2019.
    Odgovor korisniku/ci

    You might enjoy this talk:

  15. 22. velj 2019.

    or, you could see which other code units are temporally correlated with changes to the unit you want to change. Here’s a talk by about a tool, , that does just that:

    5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  16. 18. pro 2018.
    Odgovor korisniku/ci

    Think what it's doing to the mechanism!

    1 reply 2 korisnika označavaju da im se sviđa
  17. 12. pro 2018.
    Odgovor korisnicima

    When MS studied the issue (although that was over a decade ago) industry reporting tools were found to be more effective than verification in reducing bugs. It will take some time for verification tools to mature and for the industry to judge their impact.

    1 reply 1 korisnik označava da mu se sviđa
  18. 12. pro 2018.

    Yep, and he gave a cool talk about it, too:

  19. 9. pro 2018.
    Odgovor korisniku/ci

    BTW, when Peirce and Schröder developed Boolean algebra into what we call lattice/order theory by making addition and multiplication duals, they defined them using what you may call universal constructions in an algebra containing just implication (as an order). Peirce 1880:

    1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
  20. 16. stu 2018.

    Not one but two recent talks about Behavioral Programming in industry conferences. I've been following BP for some years – it's the closest I've seen to "programming in TLA" – and I'm happy to see it gain some exposure. This one is by

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit

@pressron još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Č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:

    ·