Twitter | Pretraživanje | |
Tweag I/O
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 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. I've received quite a few questions, I'd like to try and add complementary information here.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 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”
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Manuel Chakravarty 27. sij
Odgovor korisniku/ci @InputOutputHK @Cardano @thompson_si
On top of the Extended UTXO Model and Plutus have we got et al.’s Marlowe domain-specific language for financial contracts described in the WTSC companion paper “Marlowe: implementing and analysing financial contracts on blockchain”
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Manuel Chakravarty 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 ’s Plutus smart contracts for :
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 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”
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 14. sij
The amount of human genetic data doubles every 7 months. How do scientists keep track? and 's data team worked on a solution: a search engine called the "Table of Everything". Check out his article!
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 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.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
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."
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Jin 6. sij
Starting a glossary project for 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.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Jin 14. pro
Such a fun and rewarding week in Sunnyvale for , seeing familiar faces from GitHub/Twitter/Slack and meeting new folks. Already looking forward for the next one.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 26. pro
Fascinating writeup of what he learnt this year, by one of Tweag's 2019 summer interns, : .
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Zay 25. stu
venez participer aux JFLA 2020! Programme invité, articles sélectionnés et inscriptions sur : Avec le soutien de :
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Teme 18. pro
On behalf of my team at Thank you for the delicious chocolate.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 19. pro
Procedural art in your browser, in Haskell: . It's a milestone! We can now compile Diagrams and all 115 dependencies compile to WebAssembly.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Manuel Chakravarty 19. pro
A great summary of an amazing line of work: “Runtime Support for Multicore Haskell: a Retrospective”
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 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
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Lambda Days 25. stu
2020 opens on a high note with a keynote by researcher Register to see her live on our stage
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O 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”
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
John Armitage 16. stu
An impressive ensemble of projects at the Digital Geoscience Hackathon : from finding minerals within Raman spectroscopy, predicting well logs, picking faults in bathymetry, and finding storms in seismic noise.
Reply Retweet Označi sa "sviđa mi se"
Tweag I/O proslijedio/la je tweet
Matthew Pickering 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.
Reply Retweet Označi sa "sviđa mi se"