Formal methods PhD student @ CMU, cryptographic auditing @ Cure53
Security, verification, cryptography, applied mathematics, nix, rust

🐍 🦀👨‍💻🖖
Pessoas > Tecnologia
People > Technology

Creator of code and controversial opinions.

#Python and #Rust developer (although I did almost every language around there), #Brazilian #Trekkie. #fedi22

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 https://mastodon.art/@zazi

My posts often include foul language. They also get deleted in 3 months.

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

Ever-learning mathematician trying to do work in maths, AI, game dev, writing and digital art. 🇦🇺

My recent IF comp projects: Hand Me Down (2023), Anne of Green Cables (2025) and Cart (2025).

Interests: #linux, #emacs, #orgmode, #orgroam, #rust, #python, #grouptheory, #algebra, #numbertheory, #mathematics, #maths, #ai, #artificialintelligence, #gamedev, #shortstories, #interactivefiction, #if, #tads3, #twine, #pixelart, #blender3d, #rpg, #ttrpg, #roguelikes, #procgen

#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others

Also learning Japanese 🇯🇵

Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more

Working remotely from Adelaide, South Australia

#softwaredev #ml #synths #gardening #hydroponics
"Be awesome to each other"
❤️ Linux, ML, WebPerf, JavaScript, Python, Rust.
Skeptic, in the sciency epistemology way.
Helpful crew member on starship Earth.
Punks will take the net back.

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.

#ICT for #Renewable #Energy. Born at 318 CO2 ppm. Based in NL.

Working on #privacy for real time aggregation of #smartmeter values. The open source program code is here: https://codeberg.org/privacysamen/enmprv/
#SelfHosting #RustLang 🦀, #python. Goals: privacy for all meter values, de-aggregate balance responsibility, avoid vendor lock-in for energy devices.

Sailor, energy coach, cyclist. Flies only electric. Occasionally exaggerates.

Photos: man with high forehead and grey hair, climate stripes by KNMI

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: https://blog.philsas.one/plc/

I write JS, sometimes Rust & Go, I also build stuff at @techulus

#Bioinformatics Group Leader @Evotec using #Transcriptomics & #Genomics to boost #DrugDiscovery | Toots are my own opinions not that of my employer

Architect, Cloud, OpenSource, Gardening, Travel

#Java #Rust #Python #SpringIO #Microservices #3dprinting #FckAfd #NazisRaus #Leipzig #nobot
#Threema via W7AAXD5V

35
🇬🇱 @ 🇳🇴Bergen
🏳️‍🌈🍳
@ AutismSpectrum
ACⒶB
Programming (mostly) in: C♯🎶/Ruby♦️/Python🐍/Rust⚙️.

Nerd, Not into Blockchain, He/Him/Ey duda

#dnd #webdev #rust #php #python #metal #noise #miniaturepainting #eurorack #solder #electronics #searchable

I work as software architect for magister.nl at Sanoma Learning. I'm married, father of two boys, I enjoy music, bicycling, walking, reading things, family time, tinkering with electronics, and gaming. I'm an occasional fixer of bugs in open source software. I code in Python, Rust, C#, C, C++, JS or Awk, but my favorite language has to be Bash. I use Arch btw.

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

Booster more than Tooter.
Model-transparancy Data Scientist & ML Engineer
Posts auto-delete in a month.

#Statistics #MachineLearning #Physics #Astronomy #Seismology #RemoteSensing #GeneralRelativity #Geodesy #RomanEmpire #FertileCrescent #Art #Architecture #Photography #BW #OpenStreetMap #Linux #Python #Cpp #Rust #OpenSource #FOSS #Privacy #WSPR #Meshtastic #GrapheneOS #DeltaChat #Reticulum #OpenCore

Header Description: 8-channel paper punch tape
Avatar Description: corporate head-shot

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary. CTO of Antifa.
#nix #rust #python #ruby #linux

#Python junkie, #Rust flunkie. I enjoy fast mountain biking and trail running. Currently employed at Las Cumbres Observatory.

Posting from Small Town, central California.

Career long web dev now trying to learn more system level programming. Having a blast with #zig and #rust and generally writing software I don't have to pay someone else to run for me

It's always the year of Linux on the Desktop in my house #arch #linux