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

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

Articles, projects and tutorials about #RustLang.

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

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

Hamburg, Beach

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

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

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

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

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

Posting random programming BLOBs and hashes

root@rttf:~


#programming #opensource #cpp #rustlang #java #scala #linux #embedded #webdev

🇵🇱

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.

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

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.

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

Writes Code · Breaks Hardware

🔑 Cyber Security
🐧 Linux
🧰 Electronics
🔬 Reversing
🖋️ Occasional Blogger

🍵 Green Tea
☕ Black Coffee

🐮 Dairy Free

Webdev · JS, TS, Go, Rust​

⌨️

systems & games programming • unicode • rust

Building a digital, privacy-first filing cabinet using #Elm and #Rust. Streaming regularly live coding sessions.