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

Articles, projects and tutorials about #RustLang.

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

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

Open protocols enthusiast. IRC developer. Python & Rust. Occasionally plays with Matrix, Elixir, and Linked Data.

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

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

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

Rust expertise since 2019

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

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

Something about Rust - everyday!

Militant à Generation.s et Solidaires Informatique
Dev Python (un jour Go/Rust) et Data Scientist

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.

L'entraide un facteur de l'évolution 😉

Curated #RustGameDev feed - everything about #gameDev'elopment using the #RustLang programming language.

netscape 4 fan account; rust; compilers; c#; topologically non-orientable bottom with fractional dimension; don't take me too seriously

Rust For Web creates and ports web UI libraries for Rust.

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

Automated bot posting trending Rust repositories on GitHub.

Made by @pbzweihander, but not curated by.

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