Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @arademaker
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @arademaker
-
Alexandre Rademaker proslijedio/la je Tweet
#Coronavirus On a train in Italy. A teenage Chinese boy boards the train. A woman comments loudly: “There you go, we are all going to be infected.” He replies in perfect Italian with a Roman inflection: “Ma’am, in my whole life I’ve seen China only on google maps.” Applauses.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Here's an erroneous opinion: that mathematicians should spend time formalising undergraduate math. That's like telling computer scientists to improve Excel spreadsheets. Instead, we should make it easy to formalise math, so that undergraduates can formalise undergraduate math.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
#lisp There is comparison of various language performances for the n-queens problem: https://arxiv.org/pdf/2001.02491.pdf … They use a special compiler to make Python fast. I have updated the Common Lisp code a bit: slightly faster + parallel map version.https://gist.github.com/lispm/fc0941eae6dfc35a33fff53162ed90b5 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
The liveBook for my book, Grokking Simplicity, is finally available!!https://www.manning.com/books/grokking-simplicity …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
The primary purpose of Common Lisp is to make new test frameworks. (Not trying to pick on this one specifically)https://twitter.com/newlisprepos/status/1223746360270299137 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Mechanized proofs for PL: Past, present, and future. ~ Talia Ringer. https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …
#ITPHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Just released the https://ultralisp.org/ version with full-text search on all symbol’s documentation. In Common Lisp any function, variable or class can have a documentation string. And now it is possible to search in all docstring of all projects added the the Ultralisp.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Cambridge maths PhD student Bhavik Mehta has formalised around 1/3 of the Part III (MSc) combinatorics course https://www.b-mehta.co.uk/iii/mich/combinatorics.pdf … in
#leanprover . Thorough write-up at https://b-mehta.github.io/combinatorics/ . Finite sets are tricky, but this is evidence that the API is now there in Lean.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Two weeks of very busy days! But we really made a lot of progress!https://twitter.com/ibmselfie/status/1220781844309991427 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Javarevisited: The 2020 Java Developer RoadMap — some ideas not useful only for Javahttps://javarevisited.blogspot.com/2019/10/the-java-developer-roadmap.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Worth reading with an open mind: trends and campaigns can sometimes mislead us. Example: in the past, plastic Christmas trees were widely advertised to be "more environmentally friendly" than real trees-today we know that this is wrong.
#environmenthttps://twitter.com/BBCNews/status/1215262821136707586 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Collections of papers and books about Haskell, type theory and category theory. https://github.com/saurabhkukade/Haskell_Study …
#Haskell#TypeTheory#CategoryTheoryHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
@xpinvestimentos o que fazemos com uma tela dessa?pic.twitter.com/wN5sCltthf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Decepção com a
@xpinvestimentos hoje! Atendimento telefônico péssimo! Sistema fora do ar sem nenhum aviso aos clientes! Como podemos confiar? A empresa cresce e a qualidade começa a cair... típico.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Iniciativa conjunta do MJSP (PF e SENASP) e do Ministério da Educação (Capes) do Min.
@AbrahamWeint para disponibilizar bolsas para estudo e pesquisas de mestrado e doutorado na área da Segurança Pública. Cerca de 10 milhões de reais no total em bolsas, recursos do ME e do MJSP.https://twitter.com/JusticaGovBR/status/1214921809033908224 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
https://bibinlp.umiacs.umd.edu/sharedtask.html Build It Break It is a new type of shared task for AI problems that pits AI system "builders" against human "breakers" in an attempt to learn more about the generalizability of current technology. (Unfortunately, links are not working for me!)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
8 biggest AI trends of 2020: “Data synthesis, however, doesn’t eliminate the need for collecting real-world data, el Kaliouby reminds: “[Real data] will always be critical to the development of accurate AI algorithms.”https://thenextweb.com/artificial-intelligence/2019/12/17/8-biggest-ai-trends-of-2020-according-to-experts/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
An apparently largely undocumented feature of ASDF https://common-lisp.net/project/asdf/asdf.html#index-_003abuild_002doperation …. It produces an executable instead of loading the system like load-op. You specify a function to serve as an entry point (similar to a main) and a path where to store the executable.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tentei em uma agência também mas não tem a opção nos caixas eletrônicos
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexandre Rademaker proslijedio/la je Tweet
Nicolas Martyanoff: ASDF in Common Lisp scripts http://snowsyn.net/2019/12/30/asdf-in-common-lisp-scripts/ …
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.