The new #MirageOS 4.0 adds systematic support for cross-compilation to all supported #unikernel targets!
Find out more:
mirageos.org/blog/announcin…
#ocaml
English
OCamlLabs
460 posts
Wow! Look at this beautiful redesign for #MirageOS! Just in time for the Beta 4.0 release announcement!
mirageos.org
#OCaml
English
OCamlLabs retweetledi
Stay tuned for more exciting announcements and large-scale gaming and sports activations as the future continues to be built on @Tezos, one block at a time.
#Tezos #BlockchainEvolved
For those who missed /RESPAWN: The Future of Gaming on Web3, visit:
tezos.com/events/respawn
English
OCamlLabs retweetledi
Debian packagers really are the open-source heroes we don't deserve. Check licenses, vendored code, etc. github.com/avsm/ocaml-yam…
English
OCamlLabs retweetledi
OCaml 5.00 (multicore + effect handlers) Arm64 support PR is now open: github.com/ocaml/ocaml/pu…. I can finally start hacking on Multicore OCaml on my M1 Mac :-)
English
OCamlLabs retweetledi
Arm64 backend is significant because it reaps the benefits of OCaml's comprehensible yet performant memory model: kcsrk.info/papers/pldi18-…
English
OCamlLabs retweetledi
Multicore OCaml: ✅
Every #OCaml application is easily deployable as a specialised, secure, and energy-efficient #MirageOS #unikernel:
Loading…
█▒▒▒▒▒▒▒▒▒
Tarides@tarides_
📢 We are very excited to share the news with you: @ocamllabs is joining @tarides_! 🐫❤️⛵️ 🤝Our shared mission: empower developers, communities and organisations to adopt #OCaml as their primary programming experience. ▶️ Read the announcement: tarides.com/blog/2022-01-2…
English
Now that we've officially united with @tarides_, read about our 2022 focus and goals, especially the release of #OCaml 5.0 with multicore and effect handlers support.
tarides.com/blog/2022-01-2…
English
OCamlLabs retweetledi
The second big merge this month :-) #multicore #OCaml
Tarides@tarides_
📢 We are very excited to share the news with you: @ocamllabs is joining @tarides_! 🐫❤️⛵️ 🤝Our shared mission: empower developers, communities and organisations to adopt #OCaml as their primary programming experience. ▶️ Read the announcement: tarides.com/blog/2022-01-2…
English
OCamlLabs retweetledi
As for myself, I am gladly stepping back to becoming an individual contributor to OCaml and MirageOS again, and professoring over at @trustedcarbon. Time to do it all over again for climate change!
GIF
English
OCamlLabs retweetledi
The Cambridge Centre for Carbon Credits aims to create a trusted marketplace for carbon credits!🌱
Hear from the newly launched center’s @Tomswinfield and @avsm on the Cambridge carbon offset seminar on 1/2/22.
Read more & join: bit.ly/3FmGVQ4
English
Our very own Gemma Gordon (@em3r4ld6) steps up as CEO after OCaml Labs joins Tarides, and Thomas Gazagnaire (@eriangazag) will lead the technological vision and strategy as CTO.
Join the discussion:
discuss.ocaml.org/t/ocaml-labs-j…
#ocaml
English
Join the discussion about OCaml Labs officially becoming part of @tarides_ on #OCaml Discuss:
discuss.ocaml.org/t/ocaml-labs-j…
English
OCamlLabs retweetledi
📢 We are very excited to share the news with you: @ocamllabs is joining @tarides_! 🐫❤️⛵️
🤝Our shared mission: empower developers, communities and organisations to adopt #OCaml as their primary programming experience.
▶️ Read the announcement: tarides.com/blog/2022-01-2…
English
We are thrilled to announce that OCaml Labs is joining forces with our colleagues over at @tarides_ !
We've worked closely on #OCaml projects for many years. Now we've made our collaboration official!
Read about our alliance on the Tarides Blog:
tarides.com/blog/2022-01-2…
English
OCamlLabs retweetledi
Read this if you want to know how the #MirageOS network stack is transparently used by millions of containers every day! #OCaml #Docker
Docker@Docker
Unless you've been living under a mid-oceanic ridge, you know that #developers don't want to spend all day debugging network settings. Learn how things work "under the hood" of #DockerDesktop, where developers can spend more of their time building apps: dockr.ly/3IC803N
English
Read all about how the #MirageOS networking code works with #Docker Desktop in this post by @mugofsoup
docker.com/blog/how-docke…
#ocaml
English