Artem Pelenitsyn

@ulysses4ever

MSc in Applied Math & CS / FP enthusiast / PhD student / RU:

Boston, MA
Vrijeme pridruživanja: lipanj 2009.

Tweetovi

Blokirali ste korisnika/cu @ulysses4ever

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

  1. proslijedio/la je Tweet

    Has anyone blamed Russia yet? #2020

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

    We don't deserve dogs

    Poništi
  3. proslijedio/la je Tweet
    prije 19 sati

    Our Dagstuhl workshop proposal on Everything Is Secretly Lenses If You Squint A Bit was sadly not accepted. For sure we'll hold it anyway, somewhere at some time, but the wine cellar won't be as good

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

    Deal of the Day February 2: Half off Haskell in Depth. Use code dotd020220au at

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

    I'm not sure how many people appreciate just how much of a maintenance challenge Windows represents for many open-source projects. Before I started working on GHC I had assumed it was bad. However, now I know; no, it's much much worse.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    31. sij

    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!

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet

    Через три часа Великобритания перестанет быть членом ЕС. В Брюсселе уже сняли европейский флаг со здания представительства страны. А это опускают британский флаг у Европарламента. Фото: Francisco Seco / Associated Press

    Poništi
  8. proslijedio/la je Tweet

    Нетленка! Классика абсурда...

    Poništi
  9. 31. sij

    “Recently, a major French bank asked Tweag to help fix a performance problem they had in a large Haskell codebase…”

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

    An Opinionated Guide to Machine Learning Research

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

    Has anyone ever gotten ocamldebug to let you place breakpoints relative to modules (rather than finding the pc points or something)? Every time I attempt this (via ocamldebug-break in emacs), it just tells me "can't find any event there" unless it's in the initial module.

    Poništi
  12. proslijedio/la je Tweet
    30. sij
    Poništi
  13. proslijedio/la je Tweet

    Новый приз для математиков — специалистов в области математической физики — имени Ольги Александровны Ладыженской. Впервые будет вручаться на конгрессе математиков в Петербурге в 2022 году, в год её столетия!

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    30. sij
    Poništi
  15. proslijedio/la je Tweet
    29. sij

    Strict data and lazy functions is the default you should be using for all production Haskell code.

    Poništi
  16. proslijedio/la je Tweet
    29. sij

    This year the conference hosts the first Build Automation and Programming Languages workshop: If you are coming to PLDI or just happen to be in London on Saturday (20 June) morning, please attend and/or submit a talk!

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    24. sij

    open question for compiler people: what should be taught in a modern undergrad compiler class? I'm revamping / modernizing Utah's version of this and would appreciate feedback

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    27. sij
    Poništi
  19. 26. sij

    Old friends, new places /cc (@ College of Computer and Information Science in Boston, MA)

    Poništi
  20. proslijedio/la je Tweet

    A new AI system created by researchers and may be able to tell professors whether or not students are engaged, by video-recording their facial expressions. Read more about this system's weaknesses and potential applications :

    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:

    ·