Manuel Chakravarty

@TacticalGrace

Lambda scientist ・ dev ・ functional programming evangelist ・ blockchain language architect

Utrecht
Vrijeme pridruživanja: rujan 2008.

Tweetovi

Blokirali ste korisnika/cu @TacticalGrace

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

  1. Prikvačeni tweet
    13. ruj 2016.

    Video of my Compose :: Melb talk on graphics & animations with Haskell playgrounds (slides: )

    Poništi
  2. proslijedio/la je Tweet

    28% of UK transactions in 2018 were made with cash, down from 60% in 2008.

    Poništi
  3. proslijedio/la je Tweet

    26% of US transactions last year were made with cash, down from 40% in 2012.

    Poništi
  4. This is a really interesting idea for oracle based on TLS

    Poništi
  5. proslijedio/la je Tweet
    1. velj

    And just when you've read the 12th article about how enforcement is failing . . . . The Italian DPA fines telco TIM 27.8m euro (2% of 2018 turnover) AND prohibits them from using data from popular apps for marketing/sales purposes.

    Poništi
  6. proslijedio/la je Tweet
    1. velj

    Programming languages without garbage collection send us down a long path of design decisions that lead to slow compile times and fragile runtime performance cliffs.

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    1. velj

    For the first time on record, we had January when Oslo, Stockholm, Helsinki and Copenhagen were above freezing (0°C) every day of the month. In addition, all but Oslo were totally snow-free. Satellite image on 22 Jan 2020.

    Prikaži ovu nit
    Poništi
  8. 1. velj
    Poništi
  9. proslijedio/la je Tweet
    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”

    Poništi
  10. proslijedio/la je Tweet
    27. sij

    In case you guys are interesting in the formal model behind how Cardano handles smart contracts, here is our Extended UTXO model:

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

    I'm going to present the Marlowe paper at WTSC in Kota Kinabalu in February.

    Poništi
  12. 27. sij

    All this stuff is implemented and you can play with it at and

    Prikaži ovu nit
    Poništi
  13. 27. sij

    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”

    Prikaži ovu nit
    Poništi
  14. 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 :

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    18. sij

    The privacy paranoid among us have long worried that all of our online photos would be scraped to create a universal face recognition app. My friends, it happened and it’s here:

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

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

    The Notes team at Apple is looking for Software Engineers! If being a part of a small team that works on a highly-visible, used-by-everybody, productivity app excites you, my DMs are open. I’ll reply here with the job description once it is posted.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    5. sij

    PhD position in Fritz Henglein's group in Copenhagen available - if you're interested in HPC and the application of PL research, this is a really exciting project (not just saying so because we're also involved :)

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

    Hi. I'm in New Zealand. This is bushfire smoke. In case anyone needs reminding that the Australian Government is letting down the world, not just its constituents.

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    4. sij

    En de winnaar van het minst populaire personage van 2019 is... vuurwerk Piet!

    Poništi
  21. proslijedio/la je Tweet
    3. sij

    This video should be playing on every screen on the planet.

    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:

    ·