How configurator reads C constants
Dune comes with a library to query OS-specific information, called configurator. It is able to evaluate C expressions and turn them into OCaml value. Surprisingly, it even works when compiling for a different architecture. How can it do that?
MirageOS, towards a smaller and safer OS
Presentation about MirageOS in Lambda World Cadìz on October 26th
I'm very happy to announce a new major release of ocaml-git (2.0). This release is a 2-year effort to get a revamped streaming API offering…→ Read more
We are proud to announce the release of OCamlFormat 0.8 (available on opam). To ease the transition from the previous 0.7 release here are…→ Read more
OCaml Workshop 2018
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. OCaml 2018 was held on September 27th, 2018 in St. Louis, Missouri, USA, colocated with ICFP 2018.
Check Tarides' talks: RFCs, all the way down! and The OCaml Platform 1.0.
After a tiny but important patch release as 1.1.1, the dune team is thrilled to announce the release of dune 1.2.0! Here are some highlights…→ Read more
We are thrilled to have been accepted into the Founders Progam's 3rd batch at Station F! Station F is "the only startup campus gathering a whole entrepreneurial ecosystem under one roof" and is providing 3000+ desks and 26 international startup programs. Our Paris offices are now located in that incredible place, close to "métro Chevaleret" (Paris 13).
If you are in Paris, drop us an email to visit our beautiful campus!
MirageOS + Tezos funding
We are excited to announce that the Tezos Foundation will trust Tarides to package Tezos nodes as MirageOS unikernel, which will help participants establish nodes on the Tezos network in a more efficient and secure manner.
OCaml Users in Paris (OUPS)
Thomas Gazagnaire gave a presentation on MirageOS to the OCaml meetup in Paris.
Check the slides for more details.
Irmin usability enhancements
Zach Shipko is working on improving the UI/UX for Irmin. He is looking for feedback to make Irmin more accessible to potential users and clean up the rough edges for existing users.
Invited lecture at ENS
Thomas Gazagnaire gave an invited lecture at the computer science department of ENS, in Paris. This was part of the system and network L3 course.
Check the slides (in english) and the exercices (in french).
Anil Madhavapeddy and Gemma Gordon presented our new operating system for connected buildings: OSMOSE to HotPOST’18. OSMOSE is based on MirageOS and Irmin and we hope to explore that area more in the coming months!
An Architecture for Interspatial Communication
Position paper on “An Architecture for Interspatial Communication” accepted to HotPOST’18.