Matthías Páll Gissurarson

@tritlo

An Icelandic mathematician, functional programmer, WASP PhD student & GHC contributor working on synthesis and security. Views are my own. in Icelandic.

Gothenburg, Sweden
Vrijeme pridruživanja: siječanj 2010.

Tweetovi

Blokirali ste korisnika/cu @tritlo

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

  1. Prikvačeni tweet

    Ladies, if he: - complains that you're not his type - keeps his values in a box - is really lazy - doesn't do anything unless you force him - avoids success at all costs He's not your man. He's the programming language Haskell.

    Poništi
  2. proslijedio/la je Tweet

    Why is my script stuck in an infinite loop -- a memoir

    Prikaži ovu nit
    Poništi
  3. Had a checkup for a minor health issue, and the total cost was only $5! Sometimes I forget how valuable it is to live somewhere with proper healthcare 🥰

    Poništi
  4. proslijedio/la je Tweet
    2. velj
    Poništi
  5. proslijedio/la je Tweet
    2. velj

    Maintenance day, including: * Shake: Release for Ghcide, questions * HLint: Release, library upgrades, reviewing * Ghcide: GHC 8.6.4 compat, fixing tests, progress msg * Hoogle: Word16 overflow, JSON queries * Ghcid: ... Maintaining open source is a lot of work!

    Poništi
  6. proslijedio/la je Tweet
    3. velj

    Remember selective functors? Here they show up in the context of probabilistic programming where select :: f (Either a b) -> f (a -> b) -> f b turns into Dist (Either a b) -> Matrix Prob a b -> Dist b Here Dist is a vector i.e. 1-dimensional matrix: Dist a ~ Matrix Prob () a

    Prikaži ovu nit
    Poništi
  7. Not sure how to interpret this abstract on abstract interpretation 😅

    Poništi
  8. 1. velj

    Finally available in a non-disc format! 🥳🥳🥳

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

    It's official! Just got a award to work on type-driven program synthesis! Stay tuned for new ways to magically turn types into programs :) Thanks and the anonymous reviewers!

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

    Sensible, reads like English, standard operator: not . inRange (1, 99) Bad, reads like a fucking joke, hear it in Borat voice inRange (1, 99) >>> not

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

    Mamma er læknir

    Poništi
  12. 29. sij

    Also, yes, our minister of justice is born in 1990... how cool is that!? 😁

    Prikaži ovu nit
    Poništi
  13. 29. sij

    Iceland is going to start giving people the option to get their driver's license in the Apple wallet! 😁😁

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

    this morning in "computer nightmares" i found the ultimate nightmare inside of Nixpkgs: purposefully crafting SHA-1 collisions to support Google Chrome's update mechanism, due to its non-deterministic download URLs. what the fuck

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

    Valid hole fits include uniformR :: forall a (sig :: (* -> *) -> * -> *) (m :: * -> *). (R.Random a, Has Random sig m) => (a, a) -> m a 135 | uniform (Interval mn mx) = traverse _ ((,) <$> mn <*> mx) Nailed it, ghc 👍🏻 cc

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

    1/The announcement 10 years ago today of the "magical" iPad was clearly a milestone in computing. It was billed to be the “next” computer. For me, managing Windows, just weeks after the launch of Microsoft’s "latest creation" Windows 7, it was a as much a challenge as magical.

    Steve Jobs with ipad in chair.
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    27. sij

    controversial opinion(?): pure functional programming still uses state, it's just that that state is reified via the stack and it is often the case that the stack's natural matching call-return structure makes it radically easier to write algorithms correctly.

    Prikaži ovu nit
    Poništi
  18. 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
  19. 26. sij
    Poništi
  20. proslijedio/la je Tweet
    25. sij

    This is the journalistic version of LISP.

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

    open question for compiler people: what should be taught in a modern undergrad compiler class? I'm revamping / modernizing Utah's version of this and would appreciate feedback

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

    ·