Created by @errorcodezero

#snakegame #rustlang

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched

Articles, projects and tutorials about #RustLang.

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

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

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.

Writes Code · Breaks Hardware

🔑 Cyber Security
🐧 Linux
🧰 Electronics
⌨️ Programming
🖋️ Occasional Blogger

🍵 Green Tea
☕ Black Coffee

🐮 Dairy Free

Webdev · JS, TS, Go, Rust​

⌨️

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

The official account for the Kayfabe desktop, mobile and embedded app. Open Source and written in modern, memory-safe and concurrent languages, Kayfabe is and always will be free (as in beer & speech!)

https://kayfabe.foo

#kayfabe #opensource

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

Seems to always loose the way. Something with trees and forest, people telll me!
#Linux #Rust #Angular

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

The KDAB Group is a globally recognized provider for software consulting, development and training, specializing in #embedded devices and complex cross-platform #desktop applications. In addition to being leading experts in #Qt, #C++ and #3D technologies for over two decades, KDAB provides deep expertise across the stack, including #Linux, #Rust and modern #UI frameworks.

With 100+ employees from 20 countries and offices in Sweden, Germany, USA, France and UK, we serve clients around the world.

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

Note: We are not @nlnet, nor are we funded by them or affiliated with them. Lots of 💚 for what they do though!

FOSS/Rust-lang/Management Information System in private organizations

Rust expertise since 2019

Nix OS & Arch User
Learning Rust
Open Source Contributor

writing open source sw @ arm

interested in compilers, Rust, FPGAs, and computer uarch
✊

Your weekly treat
Every week, a new presentation on what @fasterthanlime or James has been up to.

Usually: Rust, embedded, web servers, but anything is fair game.

New episodes every Wednesday!

systems & games programming • unicode • rust

Software developer, System administrator & Linux enthusiast.
Opensource is love!
Java, Rust, Javascript, SQL & NoSql databases and much more...