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!

Offering top-notch software development in back-end, front-end Android, IOS, and data analysis. Skilled in Python, Solidity, Swift, Kotlin, Java, Javascript, SQL, .Net and Rust. Expert in system integrations, solution architecture and UI/UX design.
I also offer research assistance across Maths, sciences and business.
Email: [email protected]
W/A : +1(914) 928-9772
Let's build something together
#softwaredevelopment #tech #Programming #assignments

Hamburg, Beach

Something kernel, something rust, sometimes embedded.

Software developer currently building things with Ruby, Rails, Rust and Redis

🕷️ Friend-shaped.
💛 Being kind to people.
🦀 Rust Programming Language.
🤖 Godot Game Engine.
🖊️ NanoWriMo.
🚀 Still in my outer-space-obsessed phase since 2nd grade.
🐈🐈 Two cats.
🌱🌱 Two houseplants.
🧠 Various thoughtful thoughts.

(Profile picture is a stylized colorful representation of a spider web. Header picture is an orange tabby cat.)

> 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

How to be productive in #Rustlang.

Moving from @rust

Unofficial. By @kornel

Official Rust account is @rust

Posting random programming BLOBs and hashes

root@rttf:~


#programming #opensource #cpp #rustlang #java #scala #linux #embedded #webdev

🇵🇱

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

Previously: Rust at Microsoft, Rust core team (and lang, compiler, tools, Cargo, Rustfmt, Rustup, style), distributed DBs at PingCAP, Rust and Firefox at Mozilla, type systems research in academia.

Militant à Generation.s et Solidaires Informatique
Dev Python (un jour Go/Rust) et Data Scientist

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

Writes Code · Breaks Hardware

🔑 Cyber Security
🐧 Linux
🧰 Electronics
⌨️ Programming
🖋️ Occasional Blogger

🍵 Green Tea
☕ Black Coffee

🐮 Dairy Free

Webdev · JS, TS, Go, Rust​

⌨️

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.

Part and Sysadmin of @milliways
Develop in C / C++ / Python / Rust / Nix / ...
Work as Time Lord and known IEEE1588.

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

L'entraide un facteur de l'évolution 😉