Javier Díaz

I'm passionate about functional programming, mathematical logic, category theory, theorem proving, etc.

[Javier Díaz @javierdiazmanzi]

Paper published! https://t.co/ixCy51XhFc

[Javier Díaz @javierdiazmanzi]

@AngelikiKoutso1 So accurate!

[Javier Díaz @javierdiazmanzi]

@TurkySZ @hieuSSR Donald Chamberlin

[Simon Fowler @Simon_JF]

Carla Ferreira is kicking off this year’s ICE with a talk on replicated data types!

[Javier Díaz @javierdiazmanzi]

@perrymetzger @cromwellian @serbantanasa What are the objective criteria you used to affirm that statement?

[Javier Díaz @javierdiazmanzi]

@cromwellian @perrymetzger @serbantanasa And where are the proofs?

[Javier Díaz @javierdiazmanzi]

@haskellhutt Shouldn't its proper name be "fregeing" instead? 🤔

[Lawrence Paulson @LawrPaulson]

Isabelle 2022 is out!
https://t.co/fTOanIzQrz

[Javier Díaz @javierdiazmanzi]

@XenaProject Looks a lot like a slightly more verbose version of Isabelle/Isar.

[Javier Díaz @javierdiazmanzi]

@XenaProject Looks a lot like a slightly more verbose version of Isabelle/Isar.

[Javier Díaz @javierdiazmanzi]

@InputOutputHK @LarsBrunjes ¡Bienvenido, @LarsBrunjes! 🙂

[Lawrence Paulson @LawrPaulson]

Some bedtime reading for Turing's birthday
https://t.co/HskDLa67mF

[Input Output Group @IOGroup]

Tackling the challenges of lambda calculus, free monads and spearfishing - read about two students' experiences of IOHK's Haskell and Cryptocurrency course in Barbados @LarsBrunjes @PhilipWadler #Haskell #blockchain https://t.co/sQLAYds9RK

[James Chapman @jmchapman_]

The fantastic ledger team at IOG is looking for a formal methods engineer to join them. Proficiency in Agda is a plus https://t.co/Qjwj09KRAm

[Jeremy Gibbons @jer_gib]

Richard Bird passed away last night, after a long illness. He was hugely influential in FP, including Haskell, and in MPC. He will be remembered for the elegance of his work and his writing. He was also my supervisor, my colleague, and my friend, and I will miss him greatly.

[Javier Díaz @javierdiazmanzi]

@ChShersh https://t.co/8pbA3ctY4c

[Input Output Group @IOGroup]

NEW VIDEO: Djed - A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.

In this explainer, @DaveLikesCrypto takes us through the core principles of stablecoins and gives you a quick understanding of what it's all about. #Djed #Cardano
https://t.co/sbMaheB7xb

[Input Output Group @IOGroup]

As our engineering teams bring #Alonzo ever closer home, our research team is working hard defining the products & protocols to drive #blockchain’s future. Our Djed algorithmic stablecoin paper is just the latest of over 114 published to our library ⤵️

https://t.co/GLtzjEnUZe

[Input Output Group @IOGroup]

ICYMI: Djed is the first coin to use formal verification to eliminate price volatility.
It is based on algorithmic design. This means it uses #smartcontracts to ensure price stabilization & that the coin will be useful for #DeFi operations.
#stablecoin
https://t.co/BH1A7EEHeo

[Input Output Group @IOGroup]

Today saw the publication of an important new paper tackling these challenges. Find out more about this new breakthrough protocol that behaves like an autonomous bank 2/2 https://t.co/BH1A7EEHeo