André Videla

@andre_videla

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

Vrijeme pridruživanja: kolovoz 2016.
131 fotografija ili videozapis Fotografije i videozapisi

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

    6 replies 5 proslijeđenih tweetova 107 korisnika označava da im se sviđa
    Prikaži ovu nit
    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 ⏱️

    1 reply 8 proslijeđenih tweetova 37 korisnika označava da im se sviđa
    Poništi
  3. 31. sij

    It's pretty good!

    NEW VIDEO! ‘Data’ 🔨🤖🔨
    Prikaži ovu nit
    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 :)

    We are happy to announce a new feature coming up for Typedefs along with a developer preview available on : specialised types! More info on
    3 korisnika označavaju da im se sviđa
    Poništi
  5. 28. sij

    Today's 200IQ idea

    1 korisnik označava da mu se sviđa
    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.

    Odgovor korisniku/ci @bryanl
    No no no you don't understand! I'm an Idris developer because I love creating problems for myself
    1 korisnik označava da mu se sviđa
    Poništi
  9. 20. sij

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

    3 korisnika označavaju da im se sviđa
    Poništi
  10. 19. sij

    typedefs2good4ram

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. 19. sij

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

    Brace yourselves for some pretty awesome and long awaited features on to be released very soon 🤩
    Prikaži ovu nit
    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    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 🤩

    7 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 19. sij

    2am mistakes

    2 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    18. sij

    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.

    3 proslijeđena tweeta 59 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. 18. sij

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

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

    Wait no, that's for XCode…Or is it?

    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
    Prikaži ovu nit
    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

    1 reply 1 korisnik označava da mu se sviđa
    Poništi
  18. 17. sij

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

    1 korisnik označava da mu se sviđa
    Poništi
  19. 17. sij

    My first draft is already 1000 words ;___;

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    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!

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    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

    The performance on my phone is letting me down. Can someone with an iPhone X, XS or 11 tell me if they can hold in memory more than 5 apps at a time without killing them in the background and having to relaunch them?
    Prikaži ovu nit
    1 reply 1 korisnik označava da mu se sviđa
    Poništi

@andre_videla još nije objavio nijedan Tweet.

Č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:

    ·