Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Zelfstandig ondernemer, programmeur c c++ c#, meettechnicus, manager, bestuurder. Samojeden (Nikki en Toro)

Powered by unhealthy amounts of caffeine | Senior tester of pens | Specializes in initial network access | OSINT, Social Engineering, Physical Security, Hardware | FFXIV | MCR | fast cars | Opinions are my own | She/her

(mis)using technology, also known as engineer/graphics programmer/software developer

#coding #programming #softwaretools #research #security #semiconductors #hardware #compilers #rendering #demoscene #math #creativity

🇪🇺 (langs: DE, PL, FR, JP, EN, CHN, #Python, #JavaScript, #Swift, #Rust, #Go, #C, #cpp) 🌈 #polyglot #prochoiceisprolife #childfree #outrovert #dorkyhumor #politicsfromtheeuropeanpointofview

🗣 de / en
🌍 Freiburg / Germany
🛠️ Software Dev / C++ / Linux
❤️ Running / Trail-Running / parkrun

#freiburg #germany #linux #cpp #running #parkrun #tfr #fedi22

Upgrade... Lambda 🐱 歡迎回嘟，不必多禮 🐱 CppTW Group https://t.me/cpp_tw

Bioinformatician & software engineer
#genomics #bioinformatics #fair #code #rstats #cpp #python (he/him)

* leftist,
environmentalist,
anti-capitalist,
anti-fascist pessimist

* senior “Web Engineer”
(mostly TypeScript dev)

* Web Platform, PWA & WebComponents fanboy (a free Web can do more good if it is capable, this includes treating PWAs like first-class citizens in an application environment, i.e. sadly the opposite of Mozilla’s vision for the web)

* dabbling in (sane) IoT & embedded C++

* interested in everything

* ask me stuff!

* he/him

🌹🏳️‍🌈⬆️

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.

I love FOSS and Linux. I want to help make gaming better on Linux desktop. Pan enby. Panby?

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

N.B. very much still a work in progress <insert web 1.0 work in progress animated gif>

GIT d-- s++:++ a++ C++++ US++ P-- L+ E--- W+ N++ o-- K- w O-- M- V- PS+ PE- Y+ PGP t+ 5++ X R+ tv+ b+ DI++ D--- G+ e h--- r++ z?

digital immigrant
geek of all things
infovore
Kassettenkind
lazy man

I am interested in #Science, #Technology, #History, #ScienceFiction, #Books, #GPU, #DL, #CPP (C++), #Python

I read and share from #TheEconomist, #TheNewYorker, #TheAtlantic, #LWN, #ScienceNews, #IEEESpectrum

🦋 My Bluesky: https://bsky.app/profile/codeyarns.bsky.social

This is a personal account. Opinions are my own and not representative of those of my employer.

🇮🇳 🇸🇬 🇺🇸

Bicycling programmer in mostly #embedded #c & #cpp & #python in off-grid #solar (and some #solarpunk). Into road, tour, gravel #bike and #cycling fun with friends; #hiking, #books, #machining, #community building, #ham radio, you name it. Living in the mountains of southwestern Virginia, USA. #fedi22 #nobot

Graphics engineer at Ubisoft Montpellier

Computer Engineer. Radio Amateur (PU2SPY). I talk about SDR, Raspberry Pi, Machine Learning, Parallel Computing, Satellites, Python, C++, and Golang.

Retired software developer, mentor and trainer with 40 years of experience in C, C++, C#, Java, and Ruby (that I’ll admit to😉). Pronouns she/her. Has opinions and not afraid to express them. Hobbies include writing iOS apps, 3d printing, laser engraving, CNC milling, and silversmithing. Owned by two little dogs. Married to a retired sysadmin who keeps changing his Masto handle and server 🤷🏻‍♀️

Language designer and implementer at Apple: Swift, Objective-C, C++, C. Erstwhile editor of the Itanium C++ ABI. Focus on security mitigations and low-level language implementation.

⌨️ Software Engineer at DeepL 🎓
🌐 ISO C++ committee member for Iceland 🇮🇸
😈 FreeBSD user enthusiastic about Software Freedom

This is my main account that covers Science and Computers, and random commentary on the state of the world.

Author of C++ Concurrency in Action.
He/him.

PROGRAMMING / MUSIC / GAMES

C++, music and silly games as Sonny Bonds

Life as Anders

Owner/founder of Kilohearts

Former Meqon, AGEIA and Power Challenge

Somehow can't stay away from build systems.

he/him 🇸🇪

#cpp #audio #programming #gamedev

Indie Developer making things in C++ and Swift.

Mp3tag for macOS (@mp3tag) and Windows (@mp3tag).
@habitboard for iOS, iPadOS, and watchOS.