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...

Account maintained by @alexband, @benno, @maarten, @jasper, @partim and @terts.

Hamburg, Beach

Infosec, CTFs, Python/Rust, space, video/board/tabletop games

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

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.)

Posting random programming BLOBs and hashes

root@rttf:~


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

🇵🇱

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

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.

Writes Code · Breaks Hardware

🔑 Cyber Security
🐧 Linux
🧰 Electronics
🔬 Reversing
🖋️ Occasional Blogger

🍵 Green Tea
☕ Black Coffee

🐮 Dairy Free

Webdev · JS, TS, Go, Rust​

⌨️

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

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]
Let's build something together
#softwaredevelopment #tech #Programming #assignments

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

rust and small computers?

working on heffalump, a mastodon client for #palmOS

Nerd sniping target. Maintainer of https://kube.rs
Slowly Rewriting #Kubernetes in #Rust.
Timeline is mostly #pixelart, puns, and procrastination.

L'entraide un facteur de l'évolution 😉

https://Play.Rust-Lang.org/?version=stable&mode=deBug&edition=2021
https://Polkadot.polkassembly.io
https://Throne.com/Weldhappy
https://CoinTracker.io
https://JetZero.aero
https://ens.Domains
https://WePlay.run
https://WePlay.id
https://AltStore.io
https://WebSim.ai
https://Tango.me
https://TipLink.io
https://TiBet.net
https://www.Bigo.tv
https://Wgpu.rs
https://sNs.id
https://Vb.me

+++Divide By Cucumber Error. Please Reinstall Universe And Reboot +++