Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus.

I like computers, Korean, and computers-and-Korean.

Language and keyboard stuff @Google and PhD student in Tokyo.
Georgia Tech -> 연세대학교 -> 東京工業大学.

Interested in high school CS education.

Academic:
- #ML
- #NLProc
- #Automata
- #CJK
- #Tokenization
- #FederatedLearning
- #Compression

Programming:
- #JuliaLang
- #Python
- #OSS

Other:
- High School CS #Education
- #Korean
- #Keyboards
- #Esperanto
- #Chess
- #Coffee

Researcher studying microbial communities. Microbiome 🦠 development is child 👶 development.

Also interested in ⬆️ diversity in computational biology.

Ask me about #julialang

He/Him

We help you make better optimization models in either Excel (using Solver and OpenSolver) or Python (using Pyomo, OR Tools, Pulp, etc).
Learning Julia JuMP to be like the cool kids.
#orms #Python #Excel #optimization #julialang

Linguistics PhD (psycholinguistics, acquisition, pragmatics), now in industry. I write R packages as a hobby (Creator: ggtrace, jlmerclusterperm | Author: openalexR, pointblank).

Mostly here for #rstats, #JuliaLang, 🦆 #duckdb, and 📊 #dataviz. Interested in statistical computing & graphics, metaprogramming, and data stuff. I'm also active on the @R4DSCommunity slack.

professor of psychiatry at the Department of Old Age Psychiatry and Psychotic Disorders, MUL, Poland

developer of NeuroAnalyzer (https://neuroanalyzer.org)

🦡, coffee, music, movies and books, trekking, running, bikepacking, Debian Linux, Julia & R, FOSS, DSLR photography, anti-corporate, vegetarian, European, Partia #Razem, cat and human parent

#neuromodulation #eeg #schizophrenia #consciousness

Juls (Julia), 🎒 Schülerin aus McPomm 🇩🇪, 🚉 Arbeite Teilzeit in einer Buchhandlung 📖. 💖 Liebe mein Bett🥺, hasse Nazis👎. Suche Freunde 🫂 und will irgendwann, irgendwie in die Niederlande 🇳🇱 ziehen.

Fedi-Chef: @Nerd | Fedi-Sister: @miu

██████████████████████████

ㅤ(っ◔◡◔)っ ♥ 🅵🅾🅻🅻🅾🆆 🅼🅴 ♥

██████████████████████████

Lectora y escritora empedernidas. Química en mis ratos libres.

Escribo para mí misma desde que tengo uso de razón, especialmente #poesía y #cuentos.

Ahora experimento con los versos y lo comparto en Mastodon, con el seudónimo de Julia Rojas.

Por supuesto, también vengo a leeros.

ALT perfil: la de mi foto de perfil es la escritota Lucia Berlin, de lado, con expresión pensativa o soñadora, con jersey gris y sosteniendo un cigarrillo con su mano izquierda.

Union data scientist and working parent. Interested in reproducible research methods (#r13y), #RStats, #JuliaLang, living sustainably (bicycling, walking, reducing, and reusing), being outside, and many nerdy hobbies (#TTRPG, #HamRadio).

writer. performer. biologist. author of Sexed Up: How Society Sexualizes Us & How We Can Fight Back, plus Whipping Girl, Excluded, & 99 Erics. current music project is *soft vowel sounds*. more at juliaserano.com. she/her