So, I think it is mostly ready. The focus has shifted, as the example I had in mind has proven to be harder to implement than anticipated.
Side note: I don’t think I have already read a similar write-up yet.
If the subject is of some interest for you, I am interested in your feedback prior to sharing it more vastly.
Thanks! and <3
Blog post: “A Quick Website for HSCrypt”
HSCrypt got a new small website with examples
… an occasion to re-present this quick hack …
Number 5 of #100daystooffload
Proving Algebraic Datatypes are “Algebraic” in #Coq
It was fun to write, hope you enjoy reading it. I tried to spellcheck it, but tbh I wouldn’t be surprise to find mistakes… If you notice some, feel free to tell me!
Blog post: “Adding an RSS Feed to This Blog”
Quick OCaml hack to generate some old-school XML.
Number 4 of #100daystooffload
Blog post: “Generating OCaml From Michelson Types”
Statically typed interaction between smart contracts and application code:
🖝 code-generator: Michelson-type → OCaml-modules
Post 2 of #100daystooffload
ok, that was fun... developing a traceroute as MirageOS unikernel, and preserving the ttl and timestamp of sent packet inside the UDP header (well, 2 * 16 bit ports is enough for everyone, no) -- https://gist.github.com/hannesm/10ae02dbfd42568b24518fddcb39060f #MirageOS #traceroute
next: figure control flow to properly terminate :)