🦈
You must have cute sharks!
I like mathematics and Lean language.
- Japan
-
01:27
(UTC 09:00) - https://rxresu.me/seasawher/resume
- https://seasawher.hatenablog.com/
- https://misskey.io/@kitamado
Yosuke Ito
Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)
Sompo Himawari Life Insurance Inc. Tokyo, Japan
Charles Chrismann
Charles-Chrismann
Étudiant en 3e année de Développement Web à l'IIM
Institut de l'Internet et du Multimédia (IIM) Paris, La Défense
jist
george0st
The architect with an overlap into development and analysis. "Almost everything is possible, it's just a matter of time⌚, resources💰 and quality⭐"
Europe, Czech Republic, Prague
Miao
lemorage
LLM Agents Engineer @wondervoy-aws; FP/PL lovers; I ❤️ Open Source
@wondervoy-aws Shanghai, China
Xiyu Zhai
xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.
UW Seattle, WA
kei
thelissimus
FP, PLT, DTT & Logic. Haskell & Lean 4. Versatile, logical, industrious.
Die Toteninsel
AI
AI0228
I am Experienced AI & ML Engineer|| Full Stack Data Scientist with 6 years of experiences.
Backend and Frontend Developer, and BlockChain developer
warmice71
$7tsZkLv1IcQENXgdn0l6M8uPYb
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
Joshua Dagatan
Migueeelski
Entry-level IT support professional seeking a full-time role in Information Technology. Proficient in providing on-site desktop support.
Alp ₿📈🚀🌕
IDouble
🗽 Be greedy when others are fearful and be fearful when others are greedy ☕️ Full-Stack 🖥💻📱⌚️ Finance, Crypto ⛓ (Blockchain, Smart contracts etc.)
IDEX/USD @IDEXio Zurich, Switzerland
Hiroshi Yuki / 結城浩
hyuki
Author of "Math Girls". 30 years into writing introductory math and programming books.
LaTeX / Vim / Ruby / Math / Writing / 数学青春物語『数学ガール』作者。
Tokyo
alhgebraic
RkraclE
Математика, криптография и функциональное/низкоуровневое программирование.
Norilsk, Russia
PreviousNext