Alexandre Rademaker

@arademaker

Researcher at IBM

Rio de Janeiro, Brasil
Vrijeme pridruživanja: veljača 2008.

Tweetovi

Blokirali ste korisnika/cu @arademaker

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @arademaker

  1. proslijedio/la je Tweet
    1. velj

    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 nit
    Poništi
  2. proslijedio/la je Tweet
    1. velj

    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.

    Poništi
  3. proslijedio/la je Tweet
    2. velj

    There is comparison of various language performances for the n-queens problem: They use a special compiler to make Python fast. I have updated the Common Lisp code a bit: slightly faster + parallel map version.

    Poništi
  4. proslijedio/la je Tweet
    30. sij

    The liveBook for my book, Grokking Simplicity, is finally available!!

    Poništi
  5. proslijedio/la je Tweet
    1. velj

    The primary purpose of Common Lisp is to make new test frameworks. (Not trying to pick on this one specifically)

    Poništi
  6. proslijedio/la je Tweet
    30. sij

    Mechanized proofs for PL: Past, present, and future. ~ Talia Ringer.

    Poništi
  7. proslijedio/la je Tweet
    27. sij

    Just released the 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.

    Poništi
  8. proslijedio/la je Tweet
    28. sij

    Cambridge maths PhD student Bhavik Mehta has formalised around 1/3 of the Part III (MSc) combinatorics course in . Thorough write-up at . Finite sets are tricky, but this is evidence that the API is now there in Lean.

    Prikaži ovu nit
    Poništi
  9. 25. sij

    Two weeks of very busy days! But we really made a lot of progress!

    Poništi
  10. 19. sij

    Javarevisited: The 2020 Java Developer RoadMap — some ideas not useful only for Java

    Poništi
  11. 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.

    Poništi
  12. proslijedio/la je Tweet
    10. sij

    Collections of papers and books about Haskell, type theory and category theory.

    Poništi
  13. 9. sij

    ⁩ o que fazemos com uma tela dessa?

    Poništi
  14. 9. sij

    Decepção com a 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.

    Poništi
  15. proslijedio/la je Tweet
    8. sij

    Iniciativa conjunta do MJSP (PF e SENASP) e do Ministério da Educação (Capes) do Min. 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.

    Poništi
  16. 8. sij

    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!)

    Poništi
  17. 8. sij

    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.”

    Poništi
  18. proslijedio/la je Tweet
    Odgovor korisnicima

    An apparently largely undocumented feature of ASDF . 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.

    Poništi
  19. 2. sij

    Tentei em uma agência também mas não tem a opção nos caixas eletrônicos

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    1. sij

    Nicolas Martyanoff: ASDF in Common Lisp scripts

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·