Hillel

@hillelogram

Formal methods, software history, chocolatiering. Author of Practical TLA+ (). DMs open, ask me questions!

Chicago, IL
Vrijeme pridruživanja: listopad 2011.

Medijski sadržaj

  1. 24. sij
    Odgovor korisniku/ci
  2. 18. sij
  3. 10. sij
    Odgovor korisniku/ci

    They explicitly say that this is an expected prediction of defect differences. They can say it's "small" all they want, but that's not borne out in their data. Any critiques about that are objections to their paper, not me misunderstanding their paper.

  4. 30. pro 2019.
    Odgovor korisniku/ci
  5. 30. pro 2019.
    Odgovor korisnicima

    Next time you accuse somebody of lacking basic knowledge in SE, try to show more effort than googling "Cyclomatic Complexity" and clicking the top link

  6. 30. pro 2019.
    Odgovor korisniku/ci

    Nintendo put games through a very heavy QA process before they could get the Seal of Quality. See this great story about the Sega SoQ:

  7. 19. pro 2019.
    Odgovor korisniku/ci

    Regardless of how much you've internalized "TLA+ is mathematics", this is a bad error message

  8. 18. pro 2019.

    Sometimes life imitates art

  9. 18. pro 2019.
    Odgovor korisniku/ci

    Exactly my point: nobody's ever shown you what specifications can really DO :P Here are some examples! TLA+ finding a bug in 30 minutes that took expert testers 2+ weeks: Alloy catching a year's work of lost work at Rackspace:

  10. 17. pro 2019.
    Odgovor korisnicima

    Drawing a lot of inspiration here from _Data and Reality_ here

  11. 25. stu 2019.
    Odgovor korisnicima

    Their settings UI is on point

  12. 23. stu 2019.

    Just got my old note-taking script working again

    Prikaži ovu nit
  13. 20. stu 2019.
    Odgovor korisnicima

    Also the rebuttal claim that TOPLAS used the FSE data and not the CACM data. TOPLAS asked them for data, and they sent FSE.

  14. 20. stu 2019.
    Odgovor korisniku/ci

    This was a major issue you might not have seen yet, from the replication (The rebuttal claims that most of the false positives were true positives, but I haven't gone through that yet)

  15. 20. stu 2019.

    Gang Fight Gang Fight \ The gang is down to fight, yeah \ Have I brought this chicken for us to eat

    Prikaži ovu nit
  16. 19. stu 2019.
    Odgovor korisnicima

    Question: for this slide, are the the average R² for the models, or the best R²s, or something else? Just having a bit of trouble understanding it!

  17. 19. stu 2019.

    I have become obsessed with this channel

    Prikaži ovu nit
  18. 18. stu 2019.
    Odgovor korisnicima

    Literally watching _right now_

  19. 14. stu 2019.

    And that's just what I've written about it! I also gave a conference talk on it, using TLA+ to find a data corruption issue in a simple ETL. It's IMO the best introduction to how useful TLA+ is for industry programming.

    Prikaži ovu nit
  20. 14. stu 2019.

    We didn't just have a special domain: debuggable designs are just that powerful. In October spoke at StrangeLoop on applying it to a work system. She iterated on a design, using TLA+ to find bugs in each iteration.

    Prikaži ovu nit

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

    ·