Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @rufuse
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @rufuse
-
Prikvačeni tweet
"As computer scientists, we usually claim that we’re mathematicians, but when it’s too hard, we can claim we’re engineers” (C) Xavier Leroy
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je Tweet
For anyone dares to try out: https://github.com/csabahruska/manual-stg-experiment … This is quite raw. But I'm working on a better/cleaner solution to make GHC codegen/RTS reusable.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je Tweet
Remember, when you are dead, you do not know you are dead. It is only painful for others. It’s the same when you use tabs and not spaces.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Denis Redozubov proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je Tweet
MIDI 2.0 is here, and I wrote about it. I gotta say, I am really excited for what it could mean for electronic music and artistic expression.https://qz.com/1788828/how-will-midi-2-0-change-music/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je Tweet
Switch to another wire format, surprisingly most of them support algebraic types:https://gist.github.com/gelisam/13d04ac5a54b577b2492785c1084281f …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Currently struggling with NIH when I’m thinking of separating concerns into cloud CI, build supervisor for self-hosted builders and deployment manager. We need to implement 2 out 3 things to get there, but it can be prototyped in a fairly lightweight way, I think.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tried upgrading
#github license to start using self-hosted CI action runners, but it’s all horribly broken. GH don’t see machines and builds get stuck. What’s your favorite self-hosted CI solution?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je Tweet
The new coronavirus outbreak is a good time to remind people that going to work while sick is an exceptionally antisocial act. It doesn’t signal toughness. It signals sociopathy. If you’ve got a contagious illness, stay home.
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
-
I’ve decided not to rant on twitter. That’s why I’m so silent.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Great post by
@lexi_lambda on typing fallacies and dynamic/static discussion: http://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A fable about social solutions to technical problemshttps://twitter.com/deech/status/1218897716257939456 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Denis Redozubov proslijedio/la je Tweet
Higher-order Type-level Programming in Haskell https://www.microsoft.com/en-us/research/uploads/prod/2019/03/ho-haskell-5c8bb4918a4de.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Еще рабочие места для хаскеллистов! Набегайте: https://typeable.io/job/haskell-developer.html … и RT конечно же
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
PR I’ve totally forgot about got merged into urweb just now, yay.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Бежать до 60, не иначе.https://twitter.com/DarknessUrals1/status/1217101764480118784 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It’s amazing to me that Weyoun the Vorta and other Star Trek accounts have to mention it’s parody in the twitter account descriptions.pic.twitter.com/oJ8Ob97FEf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Redozubov proslijedio/la je TweetHvala. 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.