lmstr

@lemmster

Morphing into a human model checker after prolonged exposure ()

Redmond, WA
github.com/tlaplus
Vrijeme pridruživanja: rujan 2008.
99 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @lemmster

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

  1. prije 16 sati

    My talk now starts with a more formal intro to TLA+ so people notice it's not just about model checking but about writing specs. ( wrote somewhere that it clicked for him when he stopped thinking in terms of programs).

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. prije 16 sati

    Talked about what's going on with to eecs faculty of psu today. Nice part is that academics let you demo the proof system. :-)

    1 reply 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. 4. velj

    Had a blast visiting and his colleagues at SUNY today to talk about .

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    3. velj

    TLA+ for Visual Studio Code v1.4 released with "Go to Definition" implementation, custom Java class paths support, switching between error traces when `-contunie` is used, and various bugfixes. , ,

    1 reply 1 proslijeđeni tweet 11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    30. sij

    Have you registered for 20 Americas West yet? This year's program includes talks from and many others! View the full program:

    13 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    13 replies 220 proslijeđenih tweetova 537 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 31. sij

    One-liner to install the integration () into the Toolbox: './toolbox -nosplash -application org.eclipse.equinox.p2.director -repository -installIU -roaming'

    Eclipse Egit in the TLA+ Toolbox
    1 korisnik označava da mu se sviđa
    Poništi
  8. proslijedio/la je Tweet
    27. sij

    My group is hiring for RSDE position, which is available for both PhD grads and more senior software engineers. Apply here:

    1 reply 20 proslijeđenih tweetova 36 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    25. sij

    "There are only two kinds of languages: the ones people complain about and the ones nobody uses." - Bjarne Stroustrup

    23 proslijeđena tweeta 52 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    25. sij

    Around 2012 my colleagues and I worked on Intel ME We were bug hunters We read the code Line by line For months 1 team of many Want to tell me formal methods are too expensive? I've done code reviews I've done FM It's time to talk about it

    18 proslijeđenih tweetova 87 korisnika označava da im se sviđa
    Poništi
  11. 22. sij

    Stephan Merz's chapter on is freely available at:

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. 21. sij

    "UNCHANGED e is shorthand for e=e' "

    3 korisnika označavaju da im se sviđa
    Poništi
  13. 21. sij

    A TLA+ variant of the FIFO spec discussed in the foreword is found at:

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 21. sij

    Especially if one wants to go deeper than , the chapter opens the door to more in-depth writings such as Specifying Systems or the Hyperbook.

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. 21. sij

    Stephan Merz's chapter in 's "Concurrency - The works of Leslie Lamport" () brings it to the point what is all about. A formal yet approachable summary of the ideas behind the language. The other chapters create a perfect framing.

    1 reply 2 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. 21. sij

    A beginner's experience with TLAPS (The TLA+ Proof System):

    5 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    20. sij

    Our CACM paper on formal methods at AWS is on Hacker News this morning. It's always great to see interest in formal methods in general, and TLA+ in particular.

    1 reply 13 proslijeđenih tweetova 90 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 19. sij

    "TLA++"

    1 korisnik označava da mu se sviđa
    Poništi
  19. 18. sij

    Finally we know what TLC stands for! (Easteregg, ick hör dir trapsen)

    TLA+ has a TLC model checker, and I'm proving my theorems like...
    1 reply 2 korisnika označavaju da im se sviđa
    Poništi
  20. 18. sij

    Is it possible to somehow have a modular README (includes?) with ?

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi

@lemmster još nije objavio nijedan Tweet.

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

    ·