Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @curtis_dunham
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @curtis_dunham
-
Curtis Dunham proslijedio/la je Tweet
I made a meme about the use of formal methods in the industry.pic.twitter.com/Py1cMwSkm3
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
Why don't we have research bands? I want to be in a research band. We would drop singles (POPL/PLDI papers), B-sides (appendices with meta-theory), and albums (long series of follow-up work, only for devoted fans)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
programs don't ask, "what time is it?" they ask, "how many seconds has it been since 1970?", and i think that's beautiful.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
Due to the recent bug we are removing all jump instructions in the next microcode update.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
To all the grad students of the world working on a paper that has taken much longer to complete than you initially thought: You are still a great scientist. Your paper will still be awesome. Don't let your brain convince you otherwise.
#phdchat#AcademicChatterPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
I am consistently impressed with the quality of the code in Martin Escardo's TypeTopology repository. Both the comments and clarity of code are worthy of imitation. http://www.cs.bham.ac.uk/~mhe/agda-new/index.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
How fast will your code run on the latest Intel chip? Find out with Ithemal (https://github.com/psg-mit/Ithemal ). With only black-box access to a processor, we use machine learning to answer the question (https://bit.ly/2IGDeJO ) with half the error of Intel's own tools.
#icml2019Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
The "classical five" exercise (Coq'Art, ex 5.7, p. 123) is even more fun in Agda than it is in Coq.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
What starts to hit you very hard, once you've listened to a massive load of music and read a massive load of books from the past, is that it's all been done before, with extreme brilliance, but that's no reason not to have a go at doing it again, in your own individual way.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
I’m starting to think there might be a logical flaw in our plan to fix one software vulnerability at a time until they’re all gone.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Curtis Dunham proslijedio/la je Tweet
The long history of failed OS emulation... If this is correct, 2/3 of the major OSes will be frankenmonsters of conjioned OSes. Recall that OSX is freebsd + mach.
#awkwardhttps://twitter.com/justincormack/status/1125629962139131906 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
Really liking copattern syntax in
#Agda It lets you define folds and so on with the usual pattern-matching syntaxpic.twitter.com/gUOXwFh80I
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
Profs. Daniel A. Jiménez and Calvin Lin won the HPCA Test of Time award for their 2001 paper, “Dynamic Branch Prediction with Perceptrons.”pic.twitter.com/3RTTPmyo3c
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
Ever wondered why Chrome and Gmail have become so much more sluggish and memory hungry?pic.twitter.com/6dlitSE0da
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je Tweet
"Consciousness in Humans and other Machines": a presentation at
#HLAI2018https://slideslive.com/38909848/consciousness-in-humans-and-other-machines …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Curtis Dunham proslijedio/la je Tweet
"There’s a reason we are conscious, Bach argues, and computers would do well to have the same capabilities." My profile of the inimitable A.I. researcher
@Plinz for @PsychToday.https://www.psychologytoday.com/us/articles/201809/the-wizard-consciousness …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Curtis Dunham proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Curtis Dunham proslijedio/la je Tweet
"Constructivism: An expert's view" at +plus magazine.https://plus.maths.org/content/constructivists-expert …
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.