Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
-
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.pic.twitter.com/sKzKXFtntQ
-
Next time you accuse somebody of lacking basic knowledge in SE, try to show more effort than googling "Cyclomatic Complexity" and clicking the top linkpic.twitter.com/oINTIFT6MT
-
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:https://www.youtube.com/watch?v=i9bkKw32dGw …
-
Regardless of how much you've internalized "TLA+ is mathematics", this is a bad error messagepic.twitter.com/lScwEg0g7B
-
-
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: https://hillelwayne.com/post/augmenting-agile/ … Alloy catching a year's work of lost work at Rackspace:https://www.youtube.com/watch?v=FvNRlE4E9QQ …
-
Drawing a lot of inspiration here from _Data and Reality_ herepic.twitter.com/8gypDvruYS
-
-
-
Also the rebuttal claim that TOPLAS used the FSE data and not the CACM data. TOPLAS asked them for data, and they sent FSE.pic.twitter.com/fQFVDNXZSK
-
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)pic.twitter.com/FuI353Nela
-
Gang Fight Gang Fight \ The gang is down to fight, yeah \ Have I brought this chicken for us to eatpic.twitter.com/SgMy0dYwc9
Prikaži ovu nit -
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!pic.twitter.com/hqrHQdbFbn
-
I have become obsessed with this channelhttps://www.youtube.com/watch?v=JyA1lBJl_qM …
Prikaži ovu nit -
-
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.https://www.youtube.com/watch?v=tfnldxWlOhM …
Prikaži ovu nit -
We didn't just have a special domain: debuggable designs are just that powerful. In October
@bellmar spoke at StrangeLoop on applying it to a work system. She iterated on a design, using TLA+ to find bugs in each iteration.https://www.youtube.com/watch?v=oMSmkRGzQ64 …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.