@Dinosaure
Wesh gro bi1? #OKLM #OCaml #MirageOS
Relays (1)
- wss://relay.ditto.pub – read & write
Recent Notes
Je me suis toujours méfié de cette personne dans ses positions et je me suis toujours demandé pourquoi cette personne s'est retrouvé à représenter le parti pirate. Ce thread confirme un peu ma suspicion sur son rapport à l'informatique, son industrie et ses outils.
I found a rabbit-hole about encoding/decoding binary data in #OCaml, it results to a DSL which is the fastest about decoding things (like IPv4 packets). You can see the implementation here: https://github.com/robur-coop/bstr/tree/bin
I will make a release soon!
I will make a release soon!
1
How we've hosted our email "the hard way", by registering our own IPv4 block allocation with RIPE and then going through everything involved in receiving, delivering and accessing email on the modern ...
@nprofile1q... @nprofile1q... @nprofile1q... it's unfortunate that you did not try our new mailing list with unikernels in #OCaml: https://mailingl.st/
I've finally finished my implementation of SSH for unikernels in #OCaml. For this example, I've used @nprofile1q... project to implement a #unikernel that offers a chat service (like IRC) via SSH. So now we have an engine for providing a TUI within a unikernel that doesn’t even recognise the concept of a console (thanks to lwd)!
that's a fact now #OCaml: https://robur-coop.github.io/httpcats/
B · o · B, a universal peer to peer file-transfer in #OCaml with an #unikernel was accepted for the #OCaml workshop. You can see details here: https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml See you in Milan! I'm happy that robur.coop has a place in such event.