Nathan van Doorn

@Ngevd

I am a maths type person who also does some other things.

Northumberland
Vrijeme pridruživanja: travanj 2009.

Tweetovi

Blokirali ste korisnika/cu @Ngevd

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

  1. 2. velj

    My point is, I think, know your audience, and if you need to change your audience be prepared to change your style and your constraints.

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

    That's not to say that using advanced GHC features was the wrong call, quite the opposite, I would have never gotten quite as far as I did without them, and the whole thing was for me to have some fun, which I did

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

    And because I was doing this for me and me alone, it's tricky to ask for help - it was not written for anyone to understand, and how do I begin explaining it? So I put it down and left it (More recently I think I have out a way forward but haven't been in the right mood to try)

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

    And I hit a wall with it (although it's been long enough that I can't exactly remember where the wall was) that was difficult, or at least not obvious to me, how to get past

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

    But ultimately, I was writing that just for me, and for a world where things like type families and data kinds are taken for granted, a world which doesn't exist yet and maybe never will

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

    In a project I was working on a while back, which I put down and probably ought to pick up again, I was trying to see if we could design a neural network library around the power that GHC language extensions can give us, with partial success.

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

    I wrote this thinking about the Boring Haskell manifesto, which I don't disagree with. But at the same time, I find it difficult to accept its proposal. I think the reason why is that I like writing with crazy type system features and what have you, and I like learning them too

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

    That second question, you should think about who else might be modifying what you write! Not everyone has the same experiences as you, and that's almost certainly a good thing.

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

    I think the two most important questions to ask to evaluate a programming style are: Is it enjoyable (or, do you enjoy) writing code in this style? And, Is it enjoyable (or, would you enjoy) modifying code that was written in this style?

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    29. sij

    Country roads but it’s me wanting to go back to York

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

    things I don't like: 1. this question 2. these answers 3. those fucking eyebrows. stop creeping me out, cat in the hat.

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

    Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See for details. With , and many contributors from both sides.

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

    *Test passes first time* oh hell yes I Iove being a Professional Software Engineer™️ *realises test didn't actually assert anything* wait no

    Poništi
  14. 19. sij

    Fun fact: I haven't used my bike in a year and a half because my shed's lock is broken and I can't get in.

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

    hey, friends, can you help me out? I have a vague memory of a poem about aromantic relationships, called "Cucumber". (It's a riff on zucchini). I think it was published in the Asexual? but I can't find it in their website. Could you help me find it, if it exists?

    Poništi
  16. 13. sij

    Is it bad that the thing that annoys me most about Harry Potter is that there isn't a wall between platforms 9 and 10 at King's Cross?

    Poništi
  17. proslijedio/la je Tweet

    If you had to cast a Wes Anderson movie with 5 actors who have never been in a Wes Anderson movie (to the best of your recollection) but felt like they really SHOULD be in a Wes Anderson movie, who would they be?

    Prikaži ovu nit
    Poništi
  18. 9. sij

    Hot Haskell take: Natural should have been called Wordeger

    Poništi
  19. 4. sij
    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:

    ·