Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @tweagio
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @tweagio
-
Tweag I/O Retweeted
I recently posted a blog post where I described two functor hierarchies; which I dubbed “data” and “control” to mirror Haskell's module hierarchies. https://www.tweag.io/posts/2020-01-16-data-vs-control.html … I've received quite a few questions, I'd like to try and add complementary information here.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
A lot gets written about how to write Haskell code, but much less about how to successfully hunt down performance bugs using profiling. That makes our latest blog post all the more interesting: “Locating performance bottlenecks in large Haskell codebases”https://www.tweag.io/posts/2020-01-30-haskell-profiling.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
On top of the Extended UTXO Model and Plutus have we got
@thompson_si et al.’s Marlowe domain-specific language for financial contracts described in the WTSC companion paper “Marlowe: implementing and analysing financial contracts on blockchain”https://iohk.io/en/research/library/papers/marloweimplementing-and-analysing-financial-contracts-on-blockchain/ …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
Our WTSC paper “The Extended UTXO Model” introduces an extension to Bitcoin-style UTXO ledgers that significantly improves their expressive power. This is the basis for
@InputOutputHK’s Plutus smart contracts for@Cardano:https://iohk.io/en/research/library/papers/the-extended-utxo-model/ …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Why is it ‘Data.Functor’, but ‘Control.Monad‘? Linear types help us to understand in “A tale of two functors, or how I stopped worrying and love Data and Control”https://www.tweag.io/posts/2020-01-16-data-vs-control.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
The amount of human genetic data doubles every 7 months. How do scientists keep track?
@Eric_Fauman and@tweagio's data team worked on a solution: a search engine called the "Table of Everything". Check out his article!https://twitter.com/Eric_Fauman/status/1215336187008815110 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
You know Metropolis-Hastings, but now want to sample from multivariate distributions? Gibbs sampling reconstructs a joint distribution from conditional distributions of single variables and lets you choose appropriate sampling methods for each of them.https://www.tweag.io/posts/2020-01-09-mcmc-intro2.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
"hrepl is a tool that lets you interactively develop Haskell code using Bazel. It uses Bazel to compile your code's dependencies, and then loads your modules into an interpreter."https://github.com/google/hrepl
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
Starting a glossary project for
@bazelbuild terminology. It can be complex and daunting to find concise explanations of concepts. The plan is to solidify the glossary, make it easily consumable, and upstream it officially.https://github.com/jin/bazel-glossary …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
Such a fun and rewarding week in Sunnyvale for
#bazelcon, seeing familiar faces from GitHub/Twitter/Slack and meeting new folks. Already looking forward for the next one.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Fascinating writeup of what he learnt this year, by one of Tweag's 2019 summer interns,
@druidoftheclaw: http://bollu.github.io/#stuff-i-learnt-in-2019 ….Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
#JFLA20 venez participer aux JFLA 2020! Programme invité, articles sélectionnés et inscriptions sur : http://jfla.inria.fr/jfla2020.html Avec le soutien de :@LabosNomades@CEA_List@OCamlPro@IRIF_Paris@tweagio@tarides_@GdrGPL@OCamlFoundationThanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
On behalf of my team at
@GroqInc Thank you@tweagio for the delicious chocolate.pic.twitter.com/ZAdE8XaTLT
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Procedural art in your browser, in Haskell: https://www.tweag.io/posts/2019-12-19-asterius-diagrams.html …. It's a milestone! We can now compile Diagrams and all 115 dependencies compile to WebAssembly.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
A great summary of an amazing line of work: “Runtime Support for Multicore Haskell: a Retrospective”https://blog.sigplan.org/2019/12/16/runtime-support-for-multicore-haskell-a-retrospective/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Formal language specifications are super helpful during language design and as documentation…and even better if you can run them! Check out this internship report on how we use Makam to specify languages at Tweaghttps://www.tweag.io/posts/2019-11-28-pcf-makam-spec …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
2020
#LambdaDays opens on a high note with a keynote by#Haskell researcher@gckeller http://ow.ly/lOnw50xfW7z Register to see her live on our stage https://www.lambdadays.org/lambdadays2020/#register …pic.twitter.com/e65G5k9TN8
Thanks. Twitter will use this to make your timeline better. UndoUndo -
You may think that you can’t share your Nix CI caches with developers…you actually can and we show you how! “Untrusted CI: Using Nix to get Automatic Trusted Caching of Untrusted Builds”https://www.tweag.io/posts/2019-11-21-untrusted-ci.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
An impressive ensemble of projects at the Digital Geoscience Hackathon
@IPGP_officiel: from finding minerals within Raman spectroscopy, predicting well logs, picking faults in bathymetry, and finding storms in seismic noise.pic.twitter.com/9ixU01cMd5
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Tweag I/O Retweeted
We are soon going to merge the branch of haskell-ide-engine I started in March into master. It has been an amazing effort from a team of contributors, the end result will be a more general backend based on hie-bios. This issue tracks the last steps.https://github.com/mpickering/haskell-ide-engine/issues/48 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.