Seb Mondet @smondet@framapiaf.org
Seb Mondet
a partagé
Latest #ocaml weekly news are out
https://alan.petitepomme.net/cwn/2021.05.11.html
Seb Mondet
a partagé
Latest #ocaml weekly news are out
https://alan.petitepomme.net/cwn/2021.04.27.html
Seb Mondet
a partagé
I wrote on elliptic curves, and how to sustainable integrate the verified fiat software into #OCaml and #MirageOS https://hannes.robur.coop/Posts/EC -- feedback welcome. Can't wait to finally write a suckless CA software as a unikernel :D
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.04.20.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.04.13.html
Seb Mondet
a partagé
Latest #ocaml weekly news are out
https://alan.petitepomme.net/cwn/2021.04.06.html
Seb Mondet
a partagé
Friendly reminder that https://github.com/lthms/coq-MiniHTTPServer exists and I am pretty proud of it 💓
Seb Mondet
a partagé
Latest #ocaml weekly news are out
https://alan.petitepomme.net/cwn/2021.03.30.html
Blog post: “TZComet's New Token Viewer”
TZComet and CleanNFTs Metadata: a generic token-viewer ☄
Also new domain tzcomet.io 🌠
https://seb.mondet.org/b/0012-tzcomet-token-viewer.html
Number 12 of #100daystooffload
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.03.16.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.03.09.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.02.09.html
Seb Mondet
a partagé
I made some slides on trying to understand equality https://docs.google.com/presentation/d/1Z1i38i4_mtW11_0KmbYz1o2SwjtlaWHB1j_cZyQ0Mr4/edit
Seb Mondet
a partagé
friday evening 22:00, and I finally have NIST P-256 ECDSA sign and verify up and running with test vectors in #OCaml using no gmp (or other bignum libraries), but only proven (with Coq) code that does computations over p and n in constant time (using https://github.com/mit-plv/fiat-crypto/) \o/
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.02.02.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.01.26.html
Seb Mondet
a partagé
I blogged about #MirageOS and #unikernels in 2021 (and a recap of 2020). https://hannes.robur.coop/Posts/NGI :D #OCaml
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.01.19.html
Seb Mondet
a partagé
Latest #ocaml weekly news are out
https://alan.petitepomme.net/cwn/2021.01.12.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
https://alan.petitepomme.net/cwn/2021.01.05.html
