Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @BenH343
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @BenH343
-
Prikvačeni tweet
Hyperdimensional fun fact: an 11-ball of width (or diameter) d has less than 0.1% of the hypervolume of the 11-dimensional hypercube of width d that it would inscribe. Consequence: if you're doing uniform sampling in an 11-dimensional space (or higher), most points are "extreme".
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
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
#ReinventInfoSec#FormalMethodsNOWHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Learn-by-reading is preferable to learn-by-doing when it comes to fatal mishaps. Here's an essential war story list for safety critical embedded systems. Even better, take turns presenting these case studies at your company's lunch and learn.
#SafeAutonomy https://safeautonomy.blogspot.com/p/safe-autonomy.html …pic.twitter.com/Wyxv5xygYQ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The new Plundervolt vulnerability is an example of the difficulty in using
#formalmethods to prove h/w is secure. Proofs often rely on implicit or explicit assumptions that might be violated in the real world. (Of course, such proofs are still valuable.)https://threatpost.com/intel-cpus-plundervolt-attack/151006/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
strongly agree with this... when doing bug-finding work using model checkers or whatever, say: "false alarm" instead of "false positive" "missed bug" instead of "false negative"https://twitter.com/ciphernyx/status/1201479840823689216 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
(2/2) …make an assumption about the century based on the 2-digit years provided to us. In many cases, that assumption was that if the year was < 20, the change the year to be 2000+year, but if it was ≥ 20, change it to be 1900+year. I wonder if that logic is still being used…
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
(1/2) As the year 2020 approaches, I remember how back when we dealt with the Y2k bug, we had two general techniques: 1) Where practicable, change the year to be four digits (ideal). 2) Where such a change wasn't practicable (usually because the date format was forced on us)…
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Two facts deducible about French bread: • If you toast it, you get French toast. In general, toasted(X bread) = X toast. • It is the same as garlic bread. French bread is synonymous with Gallic bread, which is autocorrected to garlic bread.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This thread reminds me of some software developers…https://twitter.com/tkingdot/status/1192588193398493185 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
For those of you interested in the nitty gritty of model-checking nuclear power plants, this is an excellent dissertation that covers *how* the techniques are applied! https://www.vtt.fi/inf/pdf/technology/2016/S133.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Researchers find bug in Python script may have affected hundreds of studies http://arstechnica.com/information-technology/2019/10/chemists-discover-cross-platform-python-scripts-not-so-cross-platform/?utm_brand=arstechnica&utm_source=twitter&utm_social-type=owned&utm_medium=social … by
@thepacketratHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Fairly certain that crude oil is a genuine eldritch horror. • lied in wait in the Earth's crust for literally millions of years • made from the dead bodies of creatures nobody in recorded history has ever seen alive • almost immediately granted us advanced technology
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Dear policymakers, We know terrorists are bad. We know they depend on encryption. They also depend on gravity. Asking mathematicians to "backdoor encryption for terrorists but make it safe for everyone else" is as dumb as demanding physicists do the same for gravity.
#kthxbaiPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
1. First language: Compucolor II Basic 2. Had difficulties: Coq 3. Most used: PVS, SPARK Ada 4. Totally hate: .NET, JavaScript 5. Most loved: PVS, SPARK Ada 6. For beginners: Rubyhttps://twitter.com/HeidyKhlaaf/status/1180475689755189250 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My 20-month-old son announced “me eat trees”. I don’t know whether to be more concerned about his grammar, his eating habits, or his lack of environmentalism.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Me: How was your day? 8yo: I just worry they are doing it wrong. Me: Doing what wrong? 8yo: They separate everything so we can’t understand anything. Who says music isn’t really math or math isn’t science really? Someone made categories but the world is a mushier than that.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Having fun at
#ElectrifyYourRideVA@SprintPavilion. Oliver loves the@Tesla. Thanks@Gen_180pic.twitter.com/wyw8Ur1Flb
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Let's talk about this hack a second, because this one? This is a problem. He didn't have a bad password, or forget 2FA. Nobody hacked into Twitter. They bribed someone at a mobile carrier to dupe his phone's sim card.https://www.cnn.com/2019/08/30/tech/jack-dorsey-twitter-hacked/index.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
I just had such an affirming experience. On my 8hr intl flight back from a conference, I sat next to a father/son. In broken English, the father began to apologize/warn me that his ~10 yr-old son had severe nonverbal autism, and that this would like be a difficult journey. 1/
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ben Hocking proslijedio/la je Tweet
Design and testing reduce speed. But "velocity" is magnitude AND direction.https://twitter.com/gen_nja/status/1155885352168542208 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.


