Romain Calascibetta @dinosaure@mastodon.social
software release, hype Show more
@Sylvhem b2o:
(montage by @dinosaure)
Late night @dinosaure hard at work compiling his GADTs
Experience report: Merlin, a Language Server for #OCaml
(Submitted to ICFP 2018)
#OCaml #MirageOS #Hackarnaval and #uDNS of course by @hannesm
Merging path to reconstruct git objects from a PACK file to control memory allocation and optimize it for a server context, this is my life ...
No candy for you - 3 years Bitcoing Piñata https://hannes.nqsb.io/Posts/Pinata #MirageOS #OCaml #Bitcoin
If you interesting about `diff` algorithm specially as internal stuff of #Git, you should be interesting by Duff, an implementation of libXdiff in #OCaml - https://github.com/dinosaure/duff
#MirageOS & #RaspberryPi - Make a rocket with #OCaml?
Reached my hackathon goal: Minimal IEC-60870-5-104 implementation in ocaml running on ukvm mirage an talking to an external server. Thx to all the helpful friendly people #MirageOS
I will update soon a better quality photo - I just see some "bad pixel" in this photo.
Nothing here #Essaouira #MirageOS
I just create a topic to talk about #OCaml #Git while my #MirageOS retreat - https://discuss.ocaml.org/t/ocaml-git-git-design-and-implementation/1718 - feel free to participate!
#MirageOS retreat weather update: Weather day 4 & Sunrise this morning
https://social.wxcafe.net/media/QkajDU7RjSKcoMvF128
https://social.wxcafe.net/media/9IOeEDMqbqE5642ZeWo
https://social.wxcafe.net/media/axWtKe-y3_PPGTqVU2Y
https://social.wxcafe.net/media/J4iS47kmGkIONLzgHBI
This project is going to be interesting to follow. Per Vognsen is going to build a computer from scratch meaning the hardware and software:
