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

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
⌨️ Programming
🖋️ Occasional Blogger

🍵 Green Tea
☕ Black Coffee

🐮 Dairy Free

Webdev · JS, TS, Go, Rust​

⌨️

writing open source sw @ arm

interested in compilers, Rust, FPGAs, and computer uarch
✊

We are a worker-owned cooperative that helps teams build fast, reliable, maintainable software using Go and Rust.

We're also building ethical, privacy-focused, and open source products for real people and the #Fediverse. We're currently working on https://limecast.net.

Account maintained by @blainsmith

Nix OS & Arch User
Learning Rust
Open Source Contributor

systems & games programming • unicode • rust

Software developer, System administrator & Linux enthusiast.
Opensource is love!
Java, Rust, Javascript, SQL & NoSql databases and much more...

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

Something kernel, something rust, sometimes embedded.

Your weekly treat
Every week, a new presentation on what @fasterthanlime or James has been up to.

Usually: Rust, embedded, web servers, but anything is fair game.

New episodes every Wednesday!

Automated bot posting trending Rust repositories on GitHub.

Made by @pbzweihander, but not curated by.

Source code: https://github.com/pbzweihander/rust-trending

Rust expertise since 2019

FOSS/Rust-lang/Management Information System in private organizations

🦀 The international conference about #RustLang in Italy.

Cataloguing the Rust community's awesomeness #rustlang

The official account for the Kayfabe desktop, mobile and embedded app. Open Source and written in modern, memory-safe and concurrent languages, Kayfabe is and always will be free (as in beer & speech!)

https://kayfabe.foo

#kayfabe #opensource

Hamburg, Beach

Rust & C++ dev focusing mainly on Cryptography and Infosec

🍻