|
Tweag I/O
@
tweagio
Paris, France
|
|
R&D Lab at the heart of Europe. We build composable distributed infrastructure.
|
|
|
345
Tweetovi
|
90
Pratim
|
1.968
Osobe koje vas prate
|
| Tweetovi |
| Tweag I/O proslijedio/la je tweet | ||
|
Arnaud Spiwack
@aspiwack
|
31. sij |
|
I recently posted a blog post where I described two functor hierarchies; which I dubbed “data” and “control” to mirror Haskell's module hierarchies.
tweag.io/posts/2020-01-…
I've received quite a few questions, I'd like to try and add complementary information here.
|
||
|
|
||
|
Tweag I/O
@tweagio
|
30. sij |
|
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” tweag.io/posts/2020-01-…
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Manuel Chakravarty
@TacticalGrace
|
27. sij |
|
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” iohk.io/en/research/li…
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Manuel Chakravarty
@TacticalGrace
|
27. sij |
|
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: iohk.io/en/research/li…
|
||
|
|
||
|
Tweag I/O
@tweagio
|
16. sij |
|
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” tweag.io/posts/2020-01-…
|
||
|
|
||
|
Tweag I/O
@tweagio
|
14. sij |
|
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! twitter.com/Eric_Fauman/st…
|
||
|
|
||
|
Tweag I/O
@tweagio
|
10. sij |
|
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. tweag.io/posts/2020-01-…
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Jin
@jin_
|
8. sij |
|
"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."
github.com/google/hrepl
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Jin
@jin_
|
6. sij |
|
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.
github.com/jin/bazel-glos…
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Jin
@jin_
|
14. pro |
|
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.
|
||
|
|
||
|
Tweag I/O
@tweagio
|
26. pro |
|
Fascinating writeup of what he learnt this year, by one of Tweag's 2019 summer interns, @druidoftheclaw: bollu.github.io/#stuff-i-learn….
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Zay
@ZaynahNicolas
|
25. stu |
|
#JFLA20 venez participer aux JFLA 2020!
Programme invité, articles sélectionnés et inscriptions sur :
jfla.inria.fr/jfla2020.html
Avec le soutien de :
@LabosNomades
@CEA_List
@OCamlPro
@IRIF_Paris
@tweagio
@tarides_
@GdrGPL
@OCamlFoundation
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Teme
@Teme
|
18. pro |
|
On behalf of my team at @GroqInc Thank you @tweagio for the delicious chocolate. pic.twitter.com/ZAdE8XaTLT
|
||
|
|
||
|
Tweag I/O
@tweagio
|
19. pro |
|
Procedural art in your browser, in Haskell: tweag.io/posts/2019-12-…. It's a milestone! We can now compile Diagrams and all 115 dependencies compile to WebAssembly.
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Manuel Chakravarty
@TacticalGrace
|
19. pro |
|
A great summary of an amazing line of work: “Runtime Support for Multicore Haskell: a Retrospective” blog.sigplan.org/2019/12/16/run…
|
||
|
|
||
|
Tweag I/O
@tweagio
|
2. pro |
|
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 Tweag tweag.io/posts/2019-11-…
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Lambda Days
@LambdaDays
|
25. stu |
|
2020 #LambdaDays opens on a high note with a keynote by #Haskell researcher @gckeller ow.ly/lOnw50xfW7z Register to see her live on our stage lambdadays.org/lambdadays2020… pic.twitter.com/e65G5k9TN8
|
||
|
|
||
|
Tweag I/O
@tweagio
|
23. stu |
|
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” tweag.io/posts/2019-11-…
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
John Armitage
@johnjarmitage
|
16. stu |
|
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
|
||
|
|
||
| Tweag I/O proslijedio/la je tweet | ||
|
Matthew Pickering
@mpickering_
|
15. stu |
|
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. github.com/mpickering/has…
|
||
|
|
||