Oliver Bračevac

@etaconversion

Postdoc-ing in PL . Event Correlation, Algebraic Effects, Incremental Typechecking. Lambda calculist. Free haček included (1x).

Darmstadt, Germany
Vrijeme pridruživanja: lipanj 2016.

Tweetovi

Blokirali ste korisnika/cu @etaconversion

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

  1. Prikvačeni tweet
    20. stu 2019.

    In other news, I will be joining 's group as a postdoc starting January. Exciting times ahead!

    Poništi
  2. proslijedio/la je Tweet

    Yes, I am a programmer. No, I do not install Windows and drivers. No, I don't know what's the best laptop for you. No, I do not know why your internet is laggy. I'm sorry. I'm just a programmer.

    Poništi
  3. proslijedio/la je Tweet

    Camouflage Shield known as Quantum Stealth is a light-bending material that could be used to obscure objects of varying sizes.

    Poništi
  4. proslijedio/la je Tweet
    21. lis 2019.

    The co-author who didn’t do anything

    Poništi
  5. proslijedio/la je Tweet
    12. lis 2019.

    Here's a good mnemonic to convert Miles to Kilometers using the Fibonacci numbers (1,1,2,3,5,8,13,21,...): 3 mi ≃ 5 km 5 mi ≃ 8 km 8 mi ≃ 13 km Also the ratio between 1 mi and 1 km is very close to the Golden Ratio ≈ 1.61

    Poništi
  6. 17. ruj 2019.

    After sufficient sleep, it is settling in that it's over and I finally defended my PhD. I would like to take the time and thank two very important friends, who helped me through lots of hardships: The Pomodoro Technique and Japanese Green Tea :-P

    Poništi
  7. proslijedio/la je Tweet
    14. ruj 2019.

    Applying reviewer 2's minor correction to your manuscript

    Poništi
  8. proslijedio/la je Tweet
    27. kol 2019.

    The infinite gift 🎁is an interesting object where the side of the nth box is 1/√n. As n→+∞, the gift has infinite surface area and length but finite volume!

    Poništi
  9. 23. kol 2019.

    DONE!

    Poništi
  10. 31. srp 2019.

    I fed my thesis abstract into DeepL for a German translation and it worked surprisingly well. It even got compound words right. Stay tuned for "Ereigniskorrelation mit algebraischen Effekten und Effektbehandlern".

    Poništi
  11. 29. srp 2019.

    To be more precise: it's clear how to derive one representation from the other, but is there a work that evaluates the two? Bonus question: what is known about effects+handlers vs. tagless interpreters?

    Prikaži ovu nit
    Poništi
  12. 29. srp 2019.

    Dear Twitter, do you know of any work that investigates the relationship between free monads and tagless interpreters?

    Prikaži ovu nit
    Poništi
  13. 26. srp 2019.

    Session Types!!!

    Poništi
  14. 24. srp 2019.

    "that's beyond my purview" 🤣

    Poništi
  15. 20. srp 2019.

    My hobby: Studying LaTeX sources of papers on arXiv to learn fancy typesetting tricks.

    Poništi
  16. proslijedio/la je Tweet
    18. srp 2019.

    Beautiful paper of the day: Recovering Purity with Comonads and Capabilities, by Vikraman Choudhury and Neel Krishnaswami. . A delightful read.

    Poništi
  17. proslijedio/la je Tweet
    16. srp 2019.
    Poništi
  18. proslijedio/la je Tweet
    14. srp 2019.

    People keep saying learning programming languages makes you a better programmer. It really doesn't. It makes you [better] up to a point. Then it makes you bitter and dissatisfied because you'll never be able to port those ideas to your day job --

    Poništi
  19. 14. srp 2019.

    Good advice I wish I had earlier in my PhD. Things that these advice talks *never* talk about: choice of group, social dynamics/morale within group, shared values. If a couple of these get misaligned, you're in *hell* of a surprise ;-)

    Poništi
  20. 4. srp 2019.

    Not to mention the cool uses of effects and handlers for the tricky callback logic when you join n asynchronous things ;)

    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:

    ·