André Videla

@andre_videla

I speak Idris, Haskell, Agda, Swift. My views allow dependent pattern matching He/him

Vrijeme pridruživanja: kolovoz 2016.

Tweetovi

Blokirali ste korisnika/cu @andre_videla

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

  1. Prikvačeni tweet
    29. ruj 2019.

    Exciting news everyone! Tomorrow I’m starting a postgrad program in St.-Andrews university! I’ll be working on the Idris 2 compiler for a Msc(Res) and figure out how to use linear types for resources management and efficient executables

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    28. sij

    New paper on guarded Petri nets by and David Spivak to be released very soon ⏱️

    Poništi
  3. 31. sij
    Poništi
  4. 31. sij

    It's finally here! Well not *quite* here but people can toy with it until it finally arrives for real :)

    Poništi
  5. 28. sij

    Today's 200IQ idea

    Poništi
  6. 27. sij

    I'm unsure that replacing plastic straws by glass ones is a net positive for the environnement

    Poništi
  7. 20. sij

    I have a request for code reviews: Put a slider that indicates how picky you want the reviewers to be

    Poništi
  8. 20. sij

    Sometime I wonder why people take me seriously. Sometimes I wonder why they think I'm joking.

    Poništi
  9. 20. sij

    two streams today! one at 6pm for statebox (typedefs) and one at 8pm for busy busy~

    Poništi
  10. 19. sij

    typedefs2good4ram

    Prikaži ovu nit
    Poništi
  11. 19. sij

    This is why 16gb of ram isn't enough for me anymore

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

    Brace yourselves for some pretty awesome and long awaited features on to be released very soon 🤩

    Prikaži ovu nit
    Poništi
  13. 19. sij
    Poništi
  14. proslijedio/la je Tweet

    A lot of you folks might know that I love playing the game go. I play it (almost!) everyday, and I really enjoy showing people how to play. But, go boards are huge, and pieces are heavy! I started making myself travel sets, and realized it might be useful for people as well.

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

    rm -rf derivedData rm -rf **/*.ibc

    Prikaži ovu nit
    Poništi
  16. 18. sij
    Prikaži ovu nit
    Poništi
  17. 18. sij

    After years of writing Idris here is the final insight I can offer to newbie mortals trying to get into the art of dependently typed programs: half the compile errors go away after you clean the project and rebuild

    Poništi
  18. 17. sij

    Stream is doing great tonight! I've been using "getting over it" to get over the compile times…

    Poništi
  19. 17. sij

    My first draft is already 1000 words ;___;

    Prikaži ovu nit
    Poništi
  20. 17. sij

    I just noticed a research proposal is supposed to be about 500 words, the one I wrote last year was 2500 words, yikes!

    Prikaži ovu nit
    Poništi
  21. 16. sij

    Were reached unprecedented level: the music app is getting killed while it's playing in the background

    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:

    ·