I'm a lecturer at JetBrains and am finishing up my maths & CS PhD at Radboud University Nijmegen. Working on some formal verification stuff in Kotlin. Into maths, books, tea, board games, TTRPGs.

Principled Software Engineer, Gentleman Programmer.

Current #Pachli steward (see link or follow @pachli)

#androiddev #mastodev #kotlin

2:252/21.8

Ego sum, qui sum.
Miluji 🍵 a klid.

Ex #ArchLinux uživatel momentálně pracující v #Ubuntu.

Snažím se vytvářet hodnoty v #Kotlin, #TypeScript, #Python s využitím #Docker, ale mým největším úspěchem jsou tři děti a úžasná manželka.

I love 🍵 and peace.

Ex-#ArchLinux user currently working in #Ubuntu.

I strive to create value in #Kotlin, #TypeScript, and #Python using #Docker, but my greatest achievement is my three children and my amazing wife.

Twitter: @KOKOS250

📷 - https://www.instagram.com/lat3shift/
🌎 - https://osaft.org (currently MIA)
🧑🏻‍💻 - https://github.com/lateshift

Jens C.

Nerd by day - Dreamer by night.

Travels without moving. Android/iOS · 🌱 · Likes /Kotlin/Java/Swift/Rust/Python/JS/TS and Synthesizers + Eurorack + 🐈.

Silicon Valley Veteran, Apple/Android/Unix/Windows/OpenSource software engineer and admin. Swift, Kotlin, Python, Bluetooth, BLE, TCP/IP, plus a long history of Unix server and storage development. Learning next gen AI with DeepLearning.ai and !TrySwiftWorld, plus Kotlin Multi Platform and KMM. Santa Cruz Mountain man. #AI #iosdev #android #appleinteligence #macos #kmp #swift #mtb #golf #biketoot #opensource #deeplearning

I'm a software developer
I love the open source world
I love retro design
I like space
I like old tech

I use arch btw

Functional programming enthusiast | Scala, Java, Kotlin, Typescript developer. Pie eater. FreeBSD user.

Якийсь незрозумілий дженерік слон

Cover by @davidrevoy

[24 y.o | he/they | 🐉♏ (от би я в це ще вірив) | ru/by - DNI]

Primary [ #python | #django | #wagtail ]
Secondary [ #kotlin | #jetpack_compose ]
Other [ #designer | #oldNokiaFan ]

#SoftwareDeveloper C/C++/C#/JavaScript/Java/Kotlin/Swift/SwiftUI/Pascal/Basic

Also a believer of #Science, in definable Actions, not #HocusPocus, or #WishfulThinking

#Advocate against spreading diseases, including Biohazard level 3 pathegons such as SARS-CoV-2.

I create audiovisual artworks with computer code, mostly Kotlin (OPENRNDR) and GLSL these days. No AI. Sometimes openFrameworks, Processing, p5.js, SuperCollider. Always FLOSS.

Click on [media] in my profile to see some of my works and experiments.

Co-organizer of Creative Code Berlin https://creativecode.berlin/ since 2013.

Contributing code, in forums and with video tutorials about Libre creative tools since 2011.

I'm good at closing big-tech accounts.

Kevin writes software,

most often in #python,
learning #rustlang and #kotlin.

I'm on the full stack train. Hopefully we don't derail.

I normally code in c#, dart w/flutter, JavaScript, TypeScript, and some Kotlin.

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

idea incubator
-
chaotic random posts about mostly tech, startups, Kotlin, Rust, TypeScript, PostgreSQL, or anything else interesting
-
will like your cat pictures

Software Developer #Android #Kotlin #Java #React #Typescript #NodeJS | Graz | Home automation enthusiast

Linux enjoyer, (I use Gentoo, Alpine, and CachyOS) framework16 owner, AuDHD, and angry guy who doesn't like the world he lives in. Currently I use Rust, Zig, Python, C and C++, and Java and Kotlin. (and a tad bit of assembly as well!)

Currently working on riscv.zig (more on this soon)

Bluesky users! Follow @ap.brid.gy so I can see you!

Everything I write or say is licensed under the CC BY-SA-NC 4.0 license. Searchable on tootfinder. I do not consent to having my content used for AI training.

Software Consultant. Bestselling Author. Loves rum, alt culture, games & metal. C#, Typescript, OSS, Kotlin... MVP Dev Technologies

Maps/Tech/Splitboard

Tech Lead AI2

#kotlin #maps #rustlang #openstreetmap #golang #geospatial #postgis

Likes old Greek dudes. Uses em-dashes—don't cede them to the homework machines.

CS & Mathematics student, writing in #Rust, #Java, & #Kotlin. Interested in systems programming, #numericalanalysis, #functional programming, and other cool things.

Working on firmware for a company better known for its mechanical engineering work. Fun experience!

Amateur calligrapher and painter; always *almost* happy with my skills! Also lightly interested in astronomy, physics, the defense industry, and more.

Programming language nomad. Trying to find the perfect one. Favourites are currently: D, Typescript and Kotlin. Other candidates are currently Zig and Rust.

Free software enthusiast. I strongly believe in freedom in choosing the right software instead of vendor lock in.

Also like The Netherlands, Dutch language and licorice.

Software Developer: C/C++, #python 🐍, #java, #kotlin, #scala, #golang 💕 Linux 🐧 RasPi 🥧 maker 🤖 IoT enthusiast 🎛️ Jujutsu 🥋