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

Unexpectedly jolly sack of bones and tissue. Doing systems biology postdoc at ISTA@Vienna. Open-source, Rust, formal methods, general internet weirdness.

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

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.

prefix.dev software engineer and GNOME foundation member.
I like languages.
Rust, Python and Nushell with 💻,
German, English and Chinese with 🧑.

Projekte: telix | tessera | frankenstein | surd
Linux-Kernel-Schwerpunkt: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t
Sprachniveaus: en:C1 | es:B1 | de:A2 | eo:A2 | lernbereite für weitere Sprachen
Pronomen: ela | ella | elle | lei | sie | она | वह | 她 | هِيَ
📍Berlin, Deutschland

Lover of emacs, hater of parentheses. Yes, I'm fine.

Hit me with: #emacs, #orgmode, #rust

KDE dev by day, hobbyist gamedev by night. Generalist FOSS contributor. Finnish AuDHD neurodisaster. I like metal, industrial and EBM music, and I love FPS, RPG and spacesim games. Pan enby. Panby? ​

I love FOSS and Linux. I want to help make gaming better on Linux desktop.

Does not want to talk about "AI", LLMs, cryptoscams.

My opinions are always my own. Like my shitposts.
Banner by @Neotheta
Check https://scalie.zone/@aks/112251862581578956 for full image
Avatar by [fefairy](https://www.furaffinity.net/view/59975526/)

My posts often include foul language. They also get deleted in one month.

🇫🇮 Tööttään ja paskon välillä myös suomeksi. Sori siitä.

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

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

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

Mod for SariaSlays @ Twitch /
I tinker a lot.
I change interest focus more often than socks.
I once left a friend request on read for 6 years

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

Software development consultant, hobbyist gamedev, and father. I enjoy programming, vintage computers and operating systems, videogames, Warhammer, and miniature painting. I sometimes write at https://patricktcoakley.com.

Try my Friendly Godot Version Manager, fgvm, here: https://github.com/patricktcoakley/fgvm.

日本語でもええんや

Views and opinions are my own.

#gamedev #vintageapple #retrocomputers #cpp #swift #csharp #rust #godot #unity #unreal #warhammer #miniatures

Rust enthusiast, #GNOME developer / foundation member, #TWIG author (https://thisweek.gnome.org) - he/him 🏳️‍🌈

#golang; #rust; #nix; #nixos; #k8s; #docker; #security; #privacy; #foss; amateur socializer; #reader; pet parent; occasionally #gaming; #queer

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

#Astrophotography consultant and Rust developer @ Punished Brains. Tinkering with #Rustlang and diving into homelab stuff.

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

Salvadorian. I also *really* like trains :)

I make software.

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

Programmer who wants to make the world a better place. Trying to help by doing what she's good at: writing efficient code for the long term.

Fascinated by compiler architecture. Well-acquainted with the low-level side of things: memory layouts, concurrent data structures, and SIMD. Privacy advocate. Interested in network protocols, OS design, and programming languages. Dabbling in number theory every once in a while. Looking for ways to bring old hardware back to life---for everyone.

Concerned about ethics. Our _individual_ choices matter.

🏳️‍⚧️ 🏳️‍🌈 |

Working at @nlnetlabs on open-source Rust-based DNS software. Writing a Rust compiler (https://bal-e.org/speed/krabby) on the side.

Trying to cultivate a community of positivity and constructive knowledge-sharing. Follow requests are filtered accordingly. Mutuals: come talk to me!

I do not want to hear about "AI" or cryptocurrency.