Armando Santos

@_bolt12

MSc Student @ University of Minho • Haskell • AoP • Formal Methods • λMinho

Braga, Portugal
Vrijeme pridruživanja: listopad 2019.

Tweetovi

Blokirali ste korisnika/cu @_bolt12

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

  1. Prikvačeni tweet
    1. velj

    I think I polished my laop library enough to publish it! So there you have it: I'll try and give updates on its state and development!

    Poništi
  2. proslijedio/la je Tweet
    prije 18 sati

    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
  3. proslijedio/la je Tweet
    29. sij

    The tool that I co-developed during my Master's is now freely available. If you're into data race detection from runtime traces, let me know what you think :)

    Poništi
  4. 29. sij

    Still need to figure out how to present the type signatures in a less convoluted way! There are too many constraints 😰

    Poništi
  5. 29. sij

    There's still a lot of ground to cover wrt Calculating with Relations, next steps might be to explore Relators and Relational cata/hylomorphisms... I'm also excited to see what this can bring to the table regarding relational specification, and contract oriented programming

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

    Hooray my Relational Algebra module is finally merged! Documentation was improved but can still be better: I'll probably try and see what I can do with this module soon. I'm excited!

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

    Cooking is fun, there are many good tutorials, but the compilation times are a bit high

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

    Relational division using the inductive matrix definition:

    Poništi
  10. proslijedio/la je Tweet
    21. sij
    Odgovor korisniku/ci

    Nós esperamos prof, o que importa é que temos mais um álbum 🔊🎧

    Poništi
  11. 22. sij

    Attempt at modelling the Alcuin Puzzle using Relational specification

    Poništi
  12. proslijedio/la je Tweet

    Congratulations are in order! Hopkins mathematician received the President's Frontier Award today, a $250,000 award that will support her continuing research. Read more:

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

    RT Linear algebra of programming - Algebraic matrices in Haskell. ~ Armando Santos ().

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

    Managed to make a nice profit in the group chat today 💰

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

    What do you guys recommend for setting up a CI environment in Github? I'm a noob, what should be the main concerns?

    Poništi
  16. 12. sij

    Just opened a PR adding Relations to my LAoP library: ! There's still a lot of functionalities to add but it's coming together nicely!

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

    i just realized that the three musketeers of typeclasses - Functor, Applicative, Monad - spells out FAM that's almost too perfect my FAM got me you gotta learn about your FAM the jokes just write themselves

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

    Linear algebra of programming - Algebraic matrices in Haskell. ~ Armando Santos ().

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

    Selective applicative functors & probabilities. ~ Armando Santos ().

    Poništi
  20. 10. sij

    here you have! 😁

    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:

    ·