s='hello;'
echo "${s//;/\;}"

> 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/modshelltovm
#rust #nix , bits of #haskell #ocaml

🦀 The international conference about #RustLang in Italy.

Articles, projects and tutorials about #RustLang.

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

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

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

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

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

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

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

Tecnologia per dare vita ai tuoi prodotti.
Organizza GoLab, RustLab, LinuxLab e QtDay

#software #hardware #embeddedsystems #Python #Linux #Golang #React #Qt #opensource #courses #developer #Rustlang

linktr.ee/develer

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.

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.

Superluminal (https://www.superluminal.eu) is a user-friendly CPU sampling profiler for C/C++, Rust & .NET on Windows, Xbox One, Xbox Series X, PlayStation 4, and PlayStation 5.

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

L'entraide un facteur de l'évolution 😉

systems & games programming • unicode • rust

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.

Cataloguing the Rust community's awesomeness #rustlang

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

E=m×Rust+ChatGPT JPEG AI Native Web 3 SaaS Blockchain Startup CEO