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

#unikernels

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>And, yes, this is the end of my vacation! After one year of doing some <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> stuff at <a href="http://robur.coop" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="">robur.coop</span><span class="invisible"></span></a>, I would like to synthesis what is going on about <a href="https://mastodon.social/tags/unikernels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unikernels</span></a> and <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MirageOS</span></a>!</p>
Aaron A. Glenn<p>Hi. I'm a long time (<a href="https://bsd.network/tags/ethernet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ethernet</span></a>/#IP) packet <a href="https://bsd.network/tags/networking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>networking</span></a> nerd. I am easily excited by functional programming (<a href="https://bsd.network/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a>, F#), <a href="https://bsd.network/tags/unikernels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unikernels</span></a> (any kind!), ISAs that aren't x86 or ARM (PowerPC &amp; MIPS), and domain specific languages for domains I'm interested in (think packet forwarding &amp; control planes -- <a href="https://bsd.network/tags/P4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>P4</span></a>, propane, cocoon, <a href="https://bsd.network/tags/NetKAT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NetKAT</span></a>).</p><p>I'm working on affordable, alternative (to google, cloudflare, etc), turn-key infrastructure built exclusively on F/OSS with a focus on Mastodon instances.</p>
SearchLive feeds
About