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 #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

Automated bot posting trending Rust repositories on GitHub.

Made by @pbzweihander, but not curated by.

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

Articles, projects and tutorials about #RustLang.

Weekly newsletter: https://discu.eu/weekly/rust

A conference dedicated to the Rust programming language and its global community 🦀 Submit a talk today! rustconf.com

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.

Hamburg, Beach

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

EIP Gaming is a site for gamers looking for gaming guides and gaming news! We cover a variety of games including World of Warcraft, Cyberpunk 2077, Fallout 4, HOI4, Final Fantasy X/X-2, Skyrim, Valheim, The Outer Worlds, Dead by Daylight, Death’s Door, The Forgotten City, ICARUS, Elden Ring, Sifu, Stranger of Paradise: FFO, Hogwarts Legacy, Starfield, Rust, Stray, Gotham Knights, Sons of the Forest, Baldur’s Gate 3, and other AAA and indie game titles.

Official account for Bevy Engine: a refreshingly simple data-driven game engine built in Rust. Follow for Bevy news and curated #bevyengine content.

Python, Rust, Golang and more.
With same username on matrix (matrix.org), lemmy (lemm.ee) and telegram

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

rust and small computers?

working on heffalump, a mastodon client for #palmOS

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.

L'entraide un facteur de l'évolution 😉

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

I really like xkcd, so I post them here as soon as they are released. Feel free to boost or favorite my toots if you enjoy them. – Made by @lx in #Rust

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

🦀 The international conference about #RustLang in Italy.

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