Vlad Ki

@darkproger

Ґ ⊢learning stuff

Kyiv, Ukraine
github.com/proger
Joined April 2008
492 Photos and videos Photos and videos

Tweets

You blocked @darkproger

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

  1. Retweeted
    Apr 28

    …it turns out that you can just make whatever Github badges you want.

    7 replies 67 retweets 183 likes
  2. Apr 27

    It's my ! I have been on Twitter for 9 years (since 28 Apr 2008). And you?

    1 reply
  3. Retweeted
    Apr 24

    New paper on conformal parameterization with boundary control: "Boundary First Flattening (BFF)": (w/ Rohan Sawhney)

    1 reply 5 retweets 14 likes
  4. Apr 25

    so there's the log to ->

    Lost in type-level land:
  5. Retweeted
    Apr 19
    Replying to

    Been in suspense long enough? Here it is :) Theorem: The fundamental group of the circle is ℤ. Proof: π₁(S¹) ≅ π₀(𝛺S¹) ≅ π₀(ℤ) ≅ ℤ. QED

    1 reply 7 retweets 17 likes
  6. Retweeted
    Apr 20

    Just found this gem : "Calculus Made Easy" (1910). Oh why didn't my high-school book start with ch. 1?! Full pdf:

    336 replies 9,248 retweets 16,362 likes
  7. Retweeted
    Apr 18

    With the Lasp suite, we're giving developers tools to build a new class of distributed applications in Erlang.

    1 reply 8 retweets 24 likes
  8. Apr 18

    There is No Haskell Topology (with a cool cue to coutable, )

    4 likes
  9. Retweeted
    Apr 17

    Using Conal’s category magic, I can now use plain Haskell functions as Z3 equations:

    1 reply 38 retweets 78 likes
  10. Retweeted
    Apr 16

    "Stochastic Gradient Descent as Approximate Bayesian Inference," Mandt et al.:

    16 retweets 53 likes
  11. Apr 10

    Combinatris kudos

    1 like
  12. Apr 10

    Categorical Logic course & notes

    2 retweets 7 likes
  13. Apr 10

    slides for my talk The Programming Language of Mathematics

    2 replies 4 retweets 24 likes
  14. Retweeted
    Apr 9

    Turns out you can generate an induction principle for fold_right automatically in !

    2 retweets 2 likes
  15. Apr 8

    Tetiana: i will now explain neural networks. If you already know how they work, here's a gif of dance moves you shouldn't use

    4 likes
  16. Retweeted
    Apr 7

    I built an Agda keyboard.

    3 replies 22 retweets 70 likes
  17. Vlad Ki followed , , and 9 others
    • @Jose_A_Alonso ‏

      Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

    • @dependent_types ‏

      Mostly an automated feed from the Dependent Types reddit

  18. Apr 7

    Sitting at Szkocka restaurant, I found a page in the The Scottish Book that completely replaces a slide in my tomorrow's talk

    3 likes
  19. Apr 5

    See you on this weekend! Last year I was pitching Calculus, this year I'm pitching Logic. This is going to be jolly good fun.

    1 reply 1 retweet 5 likes
  20. Apr 4

    A Platonist walks into a Constructive bar

    2 replies 1 retweet 2 likes

@darkproger 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

    ·