Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
livellosegreto.it is one of the many independent Mastodon servers you can use to participate in the fediverse.
Livello Segreto è il social etico che ha rispetto di te e del tuo tempo.

Administered by:

Server stats:

1.2K
active users

livellosegreto.it: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#gadts

0 posts0 participants0 posts today
Dinosaure<p>I'm really glad to share my last work about μTCP, <a href="https://mastodon.social/tags/unikernels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unikernels</span></a>, effects and <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> 5. I talk about TCP/IP, <a href="https://mastodon.social/tags/GADTs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GADTs</span></a>, and some useful data-structures. <a href="https://blog.robur.coop/articles/utcp_and_effects.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.robur.coop/articles/utcp_</span><span class="invisible">and_effects.html</span></a></p>
Dinosaure<p>Now, <a href="https://mastodon.social/tags/Bob" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bob</span></a> can be used by anyone who understand the drag'n drop user interface on Windows! To celebrate, robur.io and me wrote an article about our <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> experience and <a href="https://mastodon.social/tags/GADTs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GADTs</span></a> available here: <a href="https://blog.osau.re/articles/gadt_and_state_machine.html" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.osau.re/articles/gadt_and</span><span class="invisible">_state_machine.html</span></a> Bob is usable and our <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MirageOS</span></a> still alives!</p>
SearchLive feeds
About