Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @craigstuntz
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @craigstuntz
-
Prikvačeni tweet
Left, the Mu-loop from FlooP, a 1979 PL invented to illustrate boundaries of Turing completeness. Right, an example from the MySQL manual.pic.twitter.com/97EWXcXjrc
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
Programming languages without garbage collection send us down a long path of design decisions that lead to slow compile times and fragile runtime performance cliffs.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Wow, I'm reasonably well informed about IEEE 754-2008 floats, but I've never seen this before! "We’re going to look at how JSCore uses NaN-boxing… Notably we can store 32 bit integers, and 48 bit pointers…. This means that we can store every value in the language in 64 bits."https://twitter.com/SimonPJByrne/status/1223011673046274048 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The Cloud and DevOps tracks are looking a little lean in terms of the number of submissions; if you have a talk on one of those subjects, I'd like to see your session proposal. You have a good chance of getting in!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The Stir Trek CFP closes *tomorrow!* Get your talk proposals in soon! It's a nonprofit conference led by the community, and it's a lot of fun!https://stirtrek.com/
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Again, demo code, but not a good look from Google. Don't defend your API from SQL injection like this:pic.twitter.com/1ZjzqffloL
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I realize this is demo code, but TBQH I expect a bit more from Google than "retrieve the twitter API token from cache based on a `client_id` passed as a URL query string."
pic.twitter.com/9jEC59wAE2
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Blogged: "Gray Failure" (my summary of a great paper characterizing errors in distributed systems) https://www.craigstuntz.com/posts/2020-01-29-gray-failure.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back.
@TaliaRinger considers where we are now while recapping the distinguished@poplconf panel she organized to discuss POPLmark's impact.https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
The Underpants Problem: Your $4 billion unicorn startup is in an
@awscloud account whose root email is set to the gmail account your founder uses to buy underpants on http://amazon.com .https://twitter.com/QuinnyPig/status/1222511746478268417 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
#enigma2020 quotes: “We’ve been good at persuading folks to not roll their own crypto, but we have been really bad at persuading cryptographers to not roll out their own UI/UX. We’re sorry.”Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
nice blog post by
@benkarel summarizing replies to my question about modernizing a compiler course!https://eschew.wordpress.com/2020/01/26/undergrad-compilers-from-the-hive-mind/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Don't disable zoom on mobile web pages. Just don't.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
Really thorough write-up of the “state of tails calls in .NET”, with lots of interesting, low-level infohttps://github.com/dotnet/runtime/issues/2191 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just got clickjacked on the Mac's Touch Bar as iTunes shifted from the scrubber to an "OK/Cancel" dialog box.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Craig Stuntz proslijedio/la je Tweet
Just finished the ITICSE working group's paper on compiler error messages: https://www.brettbecker.com/wp-content/uploads/2019/12/becker2019compiler.pdf … What an absolutely fantastic piece of work. I'm not new to this space, but I learned a lot!
@brettabeckerHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Had to look twice at this promoted tweet. Regretfully, it's not *the* Bob Harper!pic.twitter.com/SnfILwluor
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Stuntz proslijedio/la je Tweet
This. It's hard to imagine how Apple are going to resolve this, it took a long time to accept that the auditor problems were fundamental, and it's hard to see how itp is any different here. Prediction: after a few failed attempts to rework it, they'll come to the same conclusion.https://twitter.com/justinschuh/status/1220021377064849410 …
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.