Christoph Hegemann

@kritzcreek

Compilers & Types, PureScript, Haskell, Emacs

Vrijeme pridruživanja: prosinac 2014.
Rođen/a 1992.

Tweetovi

Blokirali ste korisnika/cu @kritzcreek

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

  1. Prikvačeni tweet
    21. lis 2017.
    Poništi
  2. Last time went well, so I'll do another Haskell Programming stream. We'll continue to work on PureScript's IDE starting in 45min at

    Poništi
  3. 2. velj

    Done for today, thanks for hanging out!

    Prikaži ovu nit
    Poništi
  4. 2. velj

    Planning to stream some Haskell programming, I'll be working on some PureScript IDE stuff. Come say hi!

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

    Putting together some high quality slides on PureScript

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

    A worry junior engineers and new hires frequently have is that they ask too many questions. The most common advice I've heard is to try to figure it out yourself for 30 min, and if you're still stuck, ask. This is reasonable advice, but I don't think it's actually very good.

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    23. sij

    I feel like if we put a bot in the purescript slack which answered every single question with “typed holes” it would probably be correct most of the time

    Poništi
  9. proslijedio/la je Tweet
    19. sij

    I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.)

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

    07. – 09. Februar 2020 noch nichts geplant?

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

    . was able to spot and find a fix which cuts build times nearly in half. Took about 10 minutes of looking at GHC prof output with Profiteur by . An essential tool in your Haskell arsenal!

    Poništi
  12. 7. sij

    If writing your own inference-capable typechecker in Kotlin sounds fun to you, and you happen to be around Cologne this evening, you should come hang out:

    Poništi
  13. proslijedio/la je Tweet
    5. sij

    Just two more days to the fourth event, and the first event of 2020! Join us when shows us how to build a small language with from scratch using !

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    30. pro 2019.

    Q: How do engineers use their holiday downtime? A:

    Prikaži ovu nit
    Poništi
  15. 28. pro 2019.

    Many people lost precious years :( In 2020, let's stop tricking people into getting PHDs by building up their hopes on finally being able to understand Haskell.

    Poništi
  16. 23. pro 2019.

    Making your own little testing DSLs in Kotlin seems to work out nicely

    Poništi
  17. proslijedio/la je Tweet

    Finally got `ghcide` working... and hole fits work beautifully!

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

    I built a "full-stack" Web application in featuring type-level routing with automatically-derived server and client functions.

    Poništi
  19. 12. pro 2019.

    I wonder if today will be remembered as the day the next war in Europe became inevitable. And it's really scaring me

    Poništi
  20. proslijedio/la je Tweet
    11. pro 2019.

    Me after 5min of writing Java in an IDE: "A method? A whole new method? Pah! I. am. not. typing that. Where's the button for that? There has to be a button! *claps hands* IDE! Make me a new method! Yes and I shall name it ..."

    Poništi
  21. proslijedio/la je Tweet
    11. pro 2019.

    Wolltet ihr schon immer mal ein Hindley-Milner Type System selbst implementieren? Dann kommt zum vierten Treffen der Lambda Cologne am 07.01. mit bei :

    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:

    ·