🇫🇷 Cybersécurité et systèmes embarqués. Passionné de logiciels libres et de #Rust. Employé par @nitrokey Improvisateur avec les @imprhorizon sur mon temps libre

🚴‍♂️ https://umap.openstreetmap.fr/en/map/vive-le-velo_955962#7/48.360/2.153

🇬🇧 Cybersecurity and embedded systems. I love #FLOSS and #Rustlang. I work at @nitrokey

rust, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

Software Development - web / app / backend
Scripter of Java and Type
TypeScript, Python3, Rust, Dart
HedgeDoc Developer 🦔

Profilbild by https://chaos.social/@Cheatha

Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Occasional Rust standard library contributor.

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Excited about practical applications of formal methods. Type theorist at heart.

Developing http://spade-lang.org, https://surfer-project.org/ and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München

Predicting and mitigating the burden of epidemics via maths, data, and writing code ...

My Python packages include:
+ https://pypfilt.readthedocs.io
+ https://epifx.readthedocs.io

#PublicHealth #HealthPolicy #InfectiousDisease #Epidemics #Epidemiology #Influenza #Population #Behaviour #Surveillance #Computational #Mathematics #Modelling #Bayesian #Inference #SMC #Research #Academia #Python #RStats #Rust #OpenScience #DataScience #ReproducibleResearch #FOSS #OpenSource #Linux #Emacs #OrgMode

Hi, ich bin Pascal, ein Schüler aus Ludwigshafen am Rhein.

Ich
- fotografiere gern
- nutze #NixOS
- programmiere in #Python, #RustLang , #Kotlin & #JS

https://socialfolio.me/Cameo007

https://keyoxide.org/aspe:keyoxide.org:UMQXUAGZD2FKDDS4ZROP3XHXIE

Das ist nur für #Keyoxide:
$argon2id$v=19$m=512,t=256,p=1$5yi1Ae3rShdIUkDtt6l2kA$r/Kwm0dOTQlnjY2jKuZGQcKA27r5CN5omVn0Zx5UKMg

Tootfinder darf hier suchen.

hobby and job: IT-Security
just hobby: space, programming (currently rust, not enough time), A(G)I (also not enough time) and hiking

#ITSecurity, #space, #programming, #rust, #hiking, #outdoor, #AI, #AGI

💻 Software Engineer

🌍 Location: Vienna, Austria #WienLiebe
🏷️ Identity: upper middle class, 80% male, white, 80% straight, cis, dya
💼 Work: Jobiqo, #Drupal, #PHP, #D7Security
🎓 Education: Computer Science, soft skill focus on Gender Studies
💡 Interests: tech, politics, infosec, #rustlang, ethics, social justice
🚩🏴 Politics: somewhere on the left, drawing from anarchism, communism, liberalism
🗣️ Languages: German, English
🏳️‍🌈 Pronouns: He/him or they/them
🏳️‍⚧️ Support: trans and nonbinary people

Full time:
* indie developer (#webdev)
* small business owner
* board gamer (unnecessarily large collection of games)
* TTRPGer
* GM/DM for RPGs

Part time:
* Software Consultant
* Miniature painter

#BoardGames #ttRPG #DnD #TypeScript #Stargate #ReactJS #DotNet #Swift #SwiftUI #RustLang #Svelte #SvelteKit #CSharp #Rust #JavaScript #FOSS #OSS #WebDev

Rust & Python developer, mountaineer, paraglider.
Choose distributed.
he/him
#iroh #deltachat

Hi, I'm tpaau - a self-taught autistic dev from Poland!

I do various projects, mainly open-source, mainly in Rust, and I frequently shift my attention between them based on my current hyperfixation.

Very much into stuff like information security, anime (especially Frieren), The SCP Foundation, and sometimes video games.

I'm also a little bit of an audiophile, music stimulates me when I'm working on da 'puter.

If buying isn't owning, piracy isn't theft.

Privacy is a human right.

Functional safety with @rustlang
MD @ferroussystems

Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.

I mostly talk about 🦀 Rust and 🧑‍💻 Open Source. Host of 'Rust in Production'.
Reach out for Rust contract work / consulting!

https://corrode.dev

Some of my other projects:
https://search.corrode.dev
https://tools.corrode.dev
https://analysis-tools.dev
https://openpodcast.app
https://lychee.cli.rs

Spelar #bluegrass på #mandolin i @crowmountaingrassgang . Skriver dataprogram. Mest i #rust. Jobbet gäller ljudplattformen på Sveriges Radio. Läser serier. Stockholm. (han / honom)

Plays #bluegrass on #mandolin with the Crow Mountain Grass Gang. Writes computer programs, mainly in #rustlang. The work is about sound at Swedish public service radio, SR. Reads comics. Stockholm, Sweden. (he / him)

Fuck evil Czar Putin, Trump, Orban, Erdogan, Assad, Xi, Kim, and every dictator and all dictator-fellators.

s/climate change/fossil-fueled global heating/g

- Linux, Rust,
- Electric Conversion, PV, LiFePO, Hybrid Inverter,
- Billions of pairs of county-size counter-rotating open-air solid-earth habs for solar system carrying capacity of quadrillions of souls.

There is a Friend closer than a brother.
God created persons in His own image.
Let us reason together.

Rust, Python, Go, JavaScript, Java, Kotlin, C, CPP n00b.

#genes #cells #algae #periphyton
#rust #wasm #informatics #ai
#space #biology #future #art #literature #poetry
#wolfram #zirconium #standardmodel #relativity

Writing code.

I love Rust 🦀

I make software.

#privacy #tech #technology #opensource #programming #developer #arch #archlinux #sway #swaywm #hyprland #wm #bspwm #osm #rust #fedi22