Articles, projects and tutorials about #RustLang.

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

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

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

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.

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

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

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

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

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

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

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

Project-jumper open-source contributor
🦀 Rustlang gamedev motivated
Check my work on https://github.com/sponsors/vrixyz 😊

Principal Engineer @ Barclays.
Infrastructure as Code & Rust language owner.
Open Sourcerer

Crack Tunes is a hassle-free, highly performant, host-it-yourself Discord music bot with YouTube and Spotify support. Powered by yt-dlp and Cracking smoking Rust Code.

#rust dev, #hacker, anti-fascist

API, Web & Cloud Experts. API Platform creators. Symfony core contributors and maintainers.

Devs PHP/JS/Python/Go/Rust.

Self-managed and egalitarian company (Scop/co-op).

Smuikje 🚐 reist met Walter Devenijns & Janine Stougie. Het 2️⃣-tal geeft e-reisgidsen uit: Costa dela Luz, Cabo de Gata-Almería. Nieuw: onze speciale Routeboeken📷. 
Laatste uitgave: het Grote Spaanse routeboek (10 routes, over 5500 km, 1000 mooie foto’s, 847 pagina’s, 79 rust- en verkenningsplekken) 29,99€.

A safe, multitasking operating system for low-memory microcontrollers with KBs of RAM. Isolated kernel in #rustlang + HW isolated processes with a familiar API.

Curated #RustGameDev feed - everything about #gameDev'elopment using the #RustLang programming language. Used to be run mostly by @ozkriff.

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.