Ivan Perez

@IvanPerezKeera

Research Scientist @ NASA/NIA Formal Methods by day. Dreaming in Haskell by night. Founder of mobile Haskell game company - Opinions are my cat's.

Github: http://git.io/vssQD
Vrijeme pridruživanja: veljača 2012.

Tweetovi

Blokirali ste korisnika/cu @IvanPerezKeera

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

  1. 2. velj

    In the last few months, I've had the pleasure to complete a course on astronomy, and learn about our incredible space telescopes, the science behind them, and the vastness of the universe in front of us. 6000 days! Not bad! Good night, Spitzer! 💓

    Poništi
  2. 1. velj

    Does anyone know of a good tool to find duplicated directories (not just files)?

    Poništi
  3. 1. velj

    I am preparing release 0.7 of dunai. I've listed a few very simple issues for beginners who want to start contributing to Haskell projects :)

    Poništi
  4. proslijedio/la je Tweet
    26. sij

    I am looking for a remote job, preferably Haskell, Purescript, Elm, but other languages are of course okay too. I have 17 years of experience, worked with both industry and research. DM's open, RT's appreciated. My CV:

    Poništi
  5. 25. sij

    I'm not sure what's going on, but GHC 8.6 consumes so much memory when I compile my library with tests enabled that the only way to actually finish compilation is -j1. :(((

    Poništi
  6. 25. sij

    I am curious: is anyone still using GHC 7.* for anything at all, commercially or not?

    Poništi
  7. 25. sij

    Delighted to release dunai 0.6 on Hackage. Dunai is a fast implementation of Monadic Stream Functions that supports extensible, purely functional FRP (classic and arrowized), stream programming and reactive programming.

    Poništi
  8. proslijedio/la je Tweet
    24. sij

    Every American should watch ’s closing at Thursday’s session.

    Poništi
  9. 25. sij

    Yesterday during a talk about making the claims we put in papers reproducible, someone asked about what to do with the papers we wrote many years ago, since the framework used may not be easily available anymore, or the interface may have changed. What do you do with your papers?

    Poništi
  10. 22. sij

    On my way to Galois in DC to talk about testing and extending functional reactive systems. :)

    Poništi
  11. 22. sij

    I am one with the force, the force is with me.

    Poništi
  12. 20. sij

    what programming languages besides Haskell have a notion of effectful operation different from pure function, such that the latter is *not* allowed to have side effects and this is marked at the type level?

    Poništi
  13. 19. sij

    To any managers here still thinking of open offices to facilitate interaction: don't. Trust me. Don't. You'll kill the productivity of your best workers. Give them long chunks of time with no email, no phone, no interruptions.

    Poništi
  14. 18. sij

    I just published a new version of bearriver, a Yampa replacement that is API compatible and is based on Monadic Stream Functions :) See also:

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

    Pleased to say that three and a half months later, we have officially switched to using `cabal-install` instead of `stack` at ! 🎉

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

    I am interested in hearing from people who got a PhD based on publications by working with scientists in a field and not by attending classes or enrolling in a course like you normally would.

    Poništi
  17. 16. sij

    Excited to report that I have now completed Essentials of Astronomy for Engineers!! It's actually been really interesting :)

    Poništi
  18. 13. sij

    I am giving a talk at NASA on the 24th about the reproducibility of results in CS papers. What has prevented you from replicating results from papers you've read (or just made it harder)? What have been the sources of errors or inconsistencies in papers you wrote?

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

    If you stabilise the Milky Way it shows you just how much the earth is spinning through space. Full length via Eric Brummell -

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

    I'm looking for people interested in Functional Programming working at .

    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:

    ·