Evgenii Akentev

@ak3n

Russia
Joined January 2014
157 Photos and videos Photos and videos

Tweets

You blocked @ak3n

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @ak3n

  1. Retweeted
    Aug 24

    One of the most illuminating papers I've ever read. Dimitris Tsementzis's eyeopening and lucid exposition of homotopy type theory that evokes great imagery and develops intuition.

    25 retweets 96 likes
    Undo
  2. Retweeted
    Aug 24

    And they are fantastic lectures. Highly recommended.

    Replying to @chrisamaphone @sigfpe
    Videos of my OPLSS lectures are now at . They cover most of the arXiv paper, but also design of a PL with effects handlers, and the last lecture is about programming with effects handlers.
    7 retweets 10 likes
    Undo
  3. Retweeted
    Aug 21

    A blog post about rod, the theorem prover I'm working on.

    2 replies 7 retweets 32 likes
    Undo
  4. Aug 19

    It's not easy to write Haskell after OCaml, because you design everything with modules in your mind, but you can't express it later.

    1 reply 6 likes
    Undo
  5. Retweeted
    Jul 31

    OPLSS 2018 videos now starting to appear on YouTube:

    5 retweets 25 likes
    Undo
  6. Retweeted
    Jul 27

    I couldn't understand why Socrates was put to death. Then I remembered that dude in philosophy grad school who turned every friendly conversation into a dumb philosophy argument.  And he just wouldn't. let. it. go. And, then, I understood.

    12 replies 165 retweets 649 likes
    Undo
  7. Jul 27

    Goodbye C#. I won’t miss you.

    1 reply 6 likes
    Undo
  8. Retweeted
    Jul 26

    I’ve been making a map. (I like how this seems to be coming together.)

    1 reply 11 retweets 44 likes
    Undo
  9. Retweeted
    Jul 10

    Strong Sums in Focused Logic Karl Crary 2018 [pdf]

    7 retweets 8 likes
    Undo
  10. Retweeted
    Jul 6

    A few details about the switch from jbuilder to dune:

    3 retweets 10 likes
    Undo
  11. Retweeted
    Jul 4

    Interesting post about the history of Twitter's software infrastructure. I'm less convinced by the models at the end, but story makes me feel pretty good about Jane Street's approach of keeping a pretty tight and integrated dev infrastructure.

    2 replies 22 retweets 84 likes
    Undo
  12. Retweeted
    Jul 3

    A post from Leo White on Jane Street's plans for OCaml 4.08.

    1 reply 24 retweets 75 likes
    Undo
  13. Retweeted
    Jul 3

    Cutting-edge compiler research in OCaml.

    This is a potato -
    13 retweets 56 likes
    Undo
  14. Retweeted
    May 16

    Our paper "Mtac2: Typed Tactics for Backward Reasoning in Coq" with , Robbert Krebbers, and Derek Dreyer was (conditionally) accepted to ! :-D Nice feedback from reviews will pay off!

    1 reply 8 retweets 34 likes
    Undo
  15. Retweeted
    Jun 19

    Syntax and Semantics of Cedille Aaron Stump

    1 retweet
    Undo
  16. Jun 16

    Teaching is hard.

    1 reply 2 likes
    Undo
  17. Jun 12

    What field will be an inspiration for Haskell community after mathematics (functors, monads) and physics (lenses, prisms)? Cooking? Chemistry? Gardening? 🤔

    1 reply 1 like
    Undo
  18. Retweeted
    Jun 6

    Oleg's new book "Reconciling abstraction with high performance: a MetaOCaml approach" is available freely until June 10.

    4 replies 103 retweets 206 likes
    Undo
  19. Retweeted
    Jun 2

    🎉 Agda 2.5.4 is out 🎉 Call-by-need reduction, do-notation, machine words, compiler improvements, and more. Full list here: `cabal install Agda` or download from hackage: .

    1 reply 27 retweets 73 likes
    Undo
  20. Jun 3

    ?

    1 retweet 2 likes
    Undo

@ak3n hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·