Denis Redozubov

@rufuse

Statically typed FP, formal verification, , guitar player, tea geek, musician. You may experience some occasional tweets in russian.

Moscow
Vrijeme pridruživanja: svibanj 2009.

Tweetovi

Blokirali ste korisnika/cu @rufuse

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

  1. Prikvačeni tweet
    19. srp 2017.

    "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

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

    For anyone dares to try out: This is quite raw. But I'm working on a better/cleaner solution to make GHC codegen/RTS reusable.

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

    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.

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

    New binutils: objdump --visualize-jumps

    Poništi
  5. 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
  6. proslijedio/la je Tweet
    30. sij

    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.

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    31. sij
    Odgovor korisniku/ci

    Switch to another wire format, surprisingly most of them support algebraic types:

    Poništi
  8. 29. sij

    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.

    Poništi
  9. 29. sij

    Tried upgrading 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?

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

    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.

    Poništi
  11. 24. sij
    Poništi
  12. 21. sij

    I’ve decided not to rant on twitter. That’s why I’m so silent.

    Poništi
  13. 19. sij
    Poništi
  14. 19. sij

    A fable about social solutions to technical problems

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

    son of a fucking bitch

    Poništi
  16. proslijedio/la je Tweet
    16. sij
    Odgovor korisniku/ci
    Poništi
  17. 16. sij

    Еще рабочие места для хаскеллистов! Набегайте: и RT конечно же

    Poništi
  18. 15. sij

    PR I’ve totally forgot about got merged into urweb just now, yay.

    Poništi
  19. 15. sij
    Poništi
  20. 15. sij

    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.

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

    When I’ve finally figured out recursion schemes

    Prikaži ovu nit
    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:

    ·