Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @zeeshanlakhani
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @zeeshanlakhani
-
blahblahblah proslijedio/la je Tweet
Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!http://colimit.net/posts/normalisation-by-evaluation/ …
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
-
blahblahblah proslijedio/la je Tweet
Today’s breakfast reading: Alan Bawden. Quasiquotation in Lisppic.twitter.com/iymzw6oQRO
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
blahblahblah proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
blahblahblah proslijedio/la je Tweet
New Jepsen analysis! We talk about etcd's kv operations, watches, and locks. KV ops look strict serializable, and watches deliver all changes in order (with a minor undocumented edge case around revision zero). As usual, distributed locks aren't real: https://jepsen.io/analyses/etcd-3.4.3 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
reaaaaally not ready for this show to end. this show has made us laugh and cry, especially at times when we needed it most
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
Interested in software engineering for AI/ML-enabled systems? After teaching a course on the topic last semester, I finally managed to compile a reading list in the form of an annotated bibliography: https://github.com/ckaestne/seaibib … (PRs welcome)
#SE4ML#SE4AIHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
I remain, as I am every day, so grateful for the continued existence of
@rob_rix.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
Lazyweb: best book on the early days of Sun Microsystems?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
In my team at GitHub, we'd like to study examples of "nefarious commits" in open source, which introduce a bug on purpose. Can you point me at such commits? Could it have been detected by analysing the committer's behaviour as well as the code change itself?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
Help out with the research via this link: https://twitter.com/tvdstorm/status/1223256043058278401 …pic.twitter.com/qesbXK7GUj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
blahblahblah proslijedio/la je Tweet
Our team at
@DeepMind is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure! https://deepmind.com/careers/jobs/1796254 … https://deepmind.com/careers/jobs/470166 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
Let folks run arbitrary Racket code on my server? Why not! https://try-racket.defn.io
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
Are you ready for this, Hollywoo??? The final episodes of BoJack Horseman are now streaming on
@netflix.pic.twitter.com/xL91KvZUh9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
Build Automation and Programming Languages (BAPL 2020) ... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software. At PLDI 2020 Contribute! https://pldi20.sigplan.org/home/bapl-2020
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
We still have open positions, let me know if you are looking for an internship in Program Synthesis this summer! Preferred: experience with deep learning, NLP, and search. Current (or accepted) PhD enrollment required.https://twitter.com/Skiminok/status/1199452372201697280 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
The Profunctor Optics n-category cafe post is up! https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
blahblahblah proslijedio/la je Tweet
"how do i systematically go from a type theory to a bidirectional system suitable for implementation?" most anyone interested in type-systems design/implementation could learn a few things from Dunfield and Krishnaswami's "Bidirectional Typing" (2019): https://arxiv.org/abs/1908.05839
Prikaži ovu nitHvala. 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.