Secure your digital life with Open Source. Made in Germany. With strong community focus. For secure authentication, data encryption, and key management.
Impressum: https://www.nitrokey.com/de/impressum
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
The next generation Web and mobile framework.
Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
✝️Husband and father
https://samhuckaby.com
https://origins.fm
Always esoteric, always clever.
❄️ Nix Devotee
🐫 OCaml Evangelism Strike Force
🎨 Catppuccin Enjoyer
📝 Emacs Fanatic
I code stuff
Ocaml Based atproto tools - https://github.com/david-engelmann/atproto
Sponsor - https://github.com/sponsors/david-engelmann
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Hacking on OCaml stuff at Tarides.
Previously - Research Engineer at IIT Madras, Tech at Northern Arc Capital, Undergrad at SSNCE. Interests - open source software, test cricket, books, ARR music, functional programming.
Open Source SW Engineer @ IBM/Red Hat & Nitrokey - Go, Ocaml, Unikernel, Trusted Computing, Cryptography, Samba-Percussion, Sailing, Paragliding, ... any/any
»Believe those who are seeking the truth. Doubt those who find it.« (André Gide)
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Fishing, Kyoto, OCaml, No Phishing
釣り、京都