-ashamed
-fragile
-unreliable
“A thousand apologies. The relentless slog of time has overtaken my faculties.”
-powerful
-commanding
-honest
-ashamed
-fragile
-unreliable
“A thousand apologies. The relentless slog of time has overtaken my faculties.”
-powerful
-commanding
-honest
We love building real tools in OCaml.
github.com/terrateamio/...
#ocaml #terraform
We love building real tools in OCaml.
github.com/terrateamio/...
#ocaml #terraform
by Sylvain Conchon & Jean-Christophe Filliâtre
usr.lmf.cnrs.fr/lpo/lpo.pdf
by Sylvain Conchon & Jean-Christophe Filliâtre
usr.lmf.cnrs.fr/lpo/lpo.pdf
We are looking for feedback on how to make the updates and content we put out more useful to you!
Here's a survey:
docs.google.com/forms/d/e/1F...
Thanks for your help! 🧡
We are looking for feedback on how to make the updates and content we put out more useful to you!
Here's a survey:
docs.google.com/forms/d/e/1F...
Thanks for your help! 🧡
Especially if you enjoy coding DSA. So why not write them in OCaml!
Especially if you enjoy coding DSA. So why not write them in OCaml!
The project aims to develop tools to automatically rewrite code and identify potential issues during the transition from monadic to direct-style concurrency.
The project aims to develop tools to automatically rewrite code and identify potential issues during the transition from monadic to direct-style concurrency.
$ GOTOOLCHAIN=go1.24rc1 go version
go: downloading go1.24rc1 (darwin/arm64)
go version go1.24rc1 darwin/arm64
This is supported since Go 1.21 (August 2023).
go.dev/doc/toolchain
$ GOTOOLCHAIN=go1.24rc1 go version
go: downloading go1.24rc1 (darwin/arm64)
go version go1.24rc1 darwin/arm64
This is supported since Go 1.21 (August 2023).
go.dev/doc/toolchain