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

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 protocols enthusiast. IRC developer. Python & Rust. Occasionally plays with Matrix, Elixir, and Linked Data.

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

Game development studio building games for #linux (and other OS's too) using the #bevy engine and #rust #rustlang.

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

Rust expertise since 2019

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

Hamburg, Beach

🔒 Protect data, not just systems.

Index and search encrypted data in PostgreSQL with SQL, from Python, Go, TypeScript, JavaScript, Rust, and Elixir.

Articles, projects and tutorials about #RustLang.

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

Cataloguing the Rust community's awesomeness #rustlang

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.

rust and small computers?

working on heffalump, a mastodon client for #palmOS

Captain Steel India Limited is one of the leading TMT bar manufacturers in India. We manufacture the most trusted steel products like- TMT Bar, TMT Ring, Rust Guard & more.

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.

systems & games programming • unicode • rust

🚀 Follow if you like Svelte or Rust
💡 Building MVPs for a living
👉 Visit http://svelterust.com