Dutch #NonProfit foundation proudly serving the Internet community since 1999 with #OpenSource software for #DNS and #BGP. Applied research, open standards advocates, bridging technology and policy.

#Clang origins, now #rustlang aficionados. The people behind Unbound, NSD, Routinator, domain and much more...

Note: We are not @nlnet, nor are we funded by them or affiliated with them. Lots of 💚 for what they do though!

Something kernel, something rust, sometimes embedded.

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht/~carnotweat/morning-rust

Open protocols enthusiast. IRC developer. Python & Rust. Occasionally plays with Matrix, Elixir, and Linked Data.

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched

rust and small computers?

working on heffalump, a mastodon client for #palmOS

Open gamedev company, making games with pixel-sprites and Rust-lang or Godot.

Nerd sniping target. Maintainer of https://kube.rs
Slowly Rewriting #Kubernetes in #Rust.
Timeline is mostly distractions; beauty / jokes / throwaway thoughts.