MirageOS, towards a smaller and safer OS
Presentation about MirageOS in Lambda World Cadìz on October 26th …
Software Engineer
Engineering Blog
#awards#blockchain#business#community#compiler#cybersecurity#devtools#editor#eio#events#functional programming#functional-programming#interview#iot#irmin#memory-safety#mirageos#multicore#ocaml#open-source#partnership#space#sponsor#team#tutorial#wasm#windows
Stay Updated on OCaml and MirageOS!
Subscribe to our mailing list to receive the latest news from Tarides.
By signing up, you agree to receive emails from Tarides. You can unsubscribe at any time.
ocaml-git 2.0
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 a full control over memory allocation. This new version also adds production-ready implementations of the wire protocol: git push and git pull now work very rel…
Software Engineer
OCamlFormat 0.8
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 some highlights of the new features of this release. The full changelog is available on the project repository. Precedence of options In the previous version you…
Senior Software Engineer
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…
Software Engineer
Dune 1.2.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 of the new features in that version. The full list of changes can be found in the dune repository. Watch mode When developing, it is common to edit a file, run…
Principal Software Engineer
Station F
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 inc…
OCaml Users in Paris (OUPS)
Thomas Gazagnaire gave a presentation on MirageOS to the OCaml meetup in Paris. Check the slides for more details. …
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. …
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. …
Senior Software Engineer
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). …
HotPOST'18
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. …