The new #MirageOS 4.0 adds systematic support for cross-compilation to all supported #unikernel targets! Find out more: mirageos.org/blog/announcing… #ocaml
1
8
#MirageOS 4.0 (Beta) released! This is an exciting month for #OCaml. Keep an eye out for more blog posts on MirageOS 4.0 coming soon!
5
19
Wow! Look at this beautiful redesign for #MirageOS! Just in time for the Beta 4.0 release announcement! mirageos.org/ #OCaml
3
21
OCamlLabs retweeted
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
11
65
271
OCamlLabs retweeted
Debian packagers really are the open-source heroes we don't deserve. Check licenses, vendored code, etc. github.com/avsm/ocaml-yaml/i…
1
4
22
Arm64 backend is significant because it reaps the benefits of OCaml's comprehensible yet performant memory model: kcsrk.info/papers/pldi18-mem…
2
9
We encourage all of our followers to also follow @tarides_, so you can keep informed about the release of OCaml 5.0 with multicore and effects handlers support #ocaml #mirageOS
6
12
Multicore OCaml: ✅ Every #OCaml application is easily deployable as a specialised, secure, and energy-efficient #MirageOS #unikernel: Loading… █▒▒▒▒▒▒▒▒▒
📢 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-27-…
1
4
25
The second big merge this month :-) #multicore #OCaml
📢 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-27-…
6
36
OCamlLabs retweeted
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!

ALT Start Over GIF

1
27
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
1
16
38
OCamlLabs retweeted
📢 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-27-…
25
84
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-27-…
13
47
Read this if you want to know how the #MirageOS network stack is transparently used by millions of containers every day! #OCaml #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
19
42