Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @_bolt12
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @_bolt12
-
Prikvačeni tweet
I think I polished my laop library enough to publish it! So there you have it: https://hackage.haskell.org/package/laop-0.1.0.0 … I'll try and give updates on its state and development!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
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 () ahttps://twitter.com/_bolt12/status/1223595721888292874 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
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 :)https://github.com/jcp19/SPIDER
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Still need to figure out how to present the type signatures in a less convoluted way! There are too many constraints
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hooray my Relational Algebra module is finally merged! Documentation was improved but can still be better: https://hackage.haskell.org/package/laop-0.1.0.0/candidate/docs/LAoP-Relation.html … I'll probably try and see what I can do with this module soon. I'm excited!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html … for details. With
@cocreature,@alan_zimm and many contributors from both sides.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
Cooking is fun, there are many good tutorials, but the compilation times are a bit highpic.twitter.com/AXkB3xnf8G
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Relational division using the inductive matrix definition:pic.twitter.com/KUYzC7gNgj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
Nós esperamos prof, o que importa é que temos mais um álbum

Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Attempt at modelling the Alcuin Puzzle using Relational specificationpic.twitter.com/OAFruZkrEZ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
Congratulations are in order! Hopkins mathematician
@emilyriehl received the President's Frontier Award today, a $250,000 award that will support her continuing research. Read more: https://hub.jhu.edu/2020/01/16/emily-riehl-mathematics-frontier-award-999-em1-art1-dtd-news/ …pic.twitter.com/qGG8xRizXJJHU Mathematician Emily Riehl Receives President's Frontier AwardHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
RT
@Jose_A_Alonso Linear algebra of programming - Algebraic matrices in Haskell. ~ Armando Santos (@_bolt12). https://github.com/bolt12/laop#FunctionalProgramming#Math#fp#programmingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
What do you guys recommend for setting up a CI environment in Github? I'm a noob, what should be the main concerns?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just opened a PR adding Relations to my LAoP library: https://github.com/bolt12/laop/pull/1 …! There's still a lot of functionalities to add but it's coming together nicely!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
Linear algebra of programming - Algebraic matrices in Haskell. ~ Armando Santos (
@_bolt12). https://github.com/bolt12/laop#FunctionalProgramming#MathHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Armando Santos proslijedio/la je Tweet
Selective applicative functors & probabilities. ~ Armando Santos (
@_bolt12). https://github.com/bolt12/master-thesis …#MSc_Thesis#Haskell#FunctionalProgramming#MathHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.

