×
You are not logged in
Bluesky Followers
Lean Focused Research Organization
Followers of @lean-lang.org
Tristan McDermott
Registered:28 Nov 2025 17:30
Senior at UMass Lowell | CS and Math | Programming languages, formal verification, and systems
Willem Vanhulle
Registered:7 Dec 2024 18:46
R&D Software Engineer - Electromagnetics
@ Keysight Ghent, Belgium
Victor Escorcia
Registered:16 Nov 2024 21:10
Father. AI Freelancer @ 🇮🇹. Ph.D. @KAUST_AEx. @AdobeResearch @Qualcomm_EU @samsungresearch Wandering Caribbean 🇨🇴, ☮️❤️❌⚔️
danielaricatt.bsky.social
Registered:30 Oct 2025 15:31
Martin Haynes
Registered:11 Feb 2025 16:07
Senior Full Stack Engineer, building with #Typescript / #Javascript, #Ruby and some #PHP.
I am currently learning #dotNet and #CSharp.
Long-form posts at https://articles.dotmh.dev/
metalbottle.bsky.social
Registered:20 Feb 2026 18:03
Nikos Karagiannidis
Registered:20 Feb 2026 16:58
Senior Data Zookeeper | Data Eng Lead @Chubb | I solve business problems with data solutions - Views are my own
qandyshaa.bsky.social
Registered:19 Nov 2024 03:53
Khalspi
Registered:21 Oct 2024 06:18
Finance/Accounting/Tech. Interested in cognitive and social psychology, neuroscience, and policy.
Jamaican 🇯🇲 | White Room Student | True Neutral
Lemuel
Registered:8 Sep 2023 19:27
᚛ᚔ ᚁᚏᚓᚐᚉ ᚈᚆᚔᚅᚌᚄ᚜ • github.com/lemueldls
alejandrop2325.bsky.social
Registered:3 Dec 2023 02:57
Marco Razzano
Registered:15 Jan 2025 13:15
Saurabh Singh Rajput
Registered:15 Nov 2024 02:48
I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
VP(WP)
Registered:15 Jul 2023 18:52
ミカヅキモ
Registered:4 Jul 2023 00:07
ミカヅキモ
Masahiro Sakai
Registered:23 Jun 2023 05:05
Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
esmung.bsky.social
Registered:22 Feb 2025 14:13
Jorge FdCD
Registered:22 Oct 2023 20:30
CNRS researcher working at the Institut de Physique Théorique (IPhT) in Paris-Saclay. Interested in statistical physics, machine learning, and biological data modeling.
Website: https://sites.google.com/view/...
Gabriel Wagner
Registered:14 Mar 2024 03:39
bird-in-a.bsky.social
Registered:14 Jan 2026 22:25
₱₳ɆⱫ Ɽł₵Ɇ
Registered:20 Oct 2024 13:28
juggling q!ʇs && qʎʇǝs
Kai Koike
Registered:12 Jan 2025 11:12
A mathematician working on analysis of PDEs
Gabriel
Registered:28 Nov 2023 15:14
code artisan.
internet hippie.
techno optimist.
eu/acc advocate.
[🧑💻...💥](https://codeberg.org/gm0stache...
えちゅうど
Registered:26 Dec 2023 01:14
雑多
あんまり呟かないかも
freewill1729.bsky.social
Registered:1 Jan 0001 00:00
Dr. Ruchira Datta
Registered:22 Nov 2024 15:59
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
Veaceslav Molodiuc
Registered:6 Feb 2025 09:22
Tomàs Ortega
Registered:2 Oct 2023 16:41
EECS PhD candidate @ UCI
tomasortega.net
✍️ anon feedback @ admonymous.co/tomasortega
Cathal
Registered:1 Sep 2023 01:01
(it's pronounced ka-hill)
Developer from Derry,
Interests include Nix and Rust.
Currently working on https://github.com/DuskSystems
123456789009909800090345678900980123456789009800001023456789009900500012345678900234567800090009009123456789009809
NT 5.2 Pyongyang Official™︎
Registered:14 Nov 2024 16:06
I like hacking, she/her
https://nyet.su [website + atprotopds and matrix homeserver]
https://meow.jp.net
https://7bool.sbs
https://codeberg.org/1casie
ReactOS is nice
Kosmonautix
Registered:24 Nov 2024 14:34
Oficiální BS profil českého popularizačního webu informujícího o novinkách a zajímavostech v kosmonautice a souvisejících tématech.
Web: https://kosmonautix.cz/
YouTube: https://www.youtube.com/@kosmo...
Tento profil nespravuje Dušan Majer!
Sander Vandenhaute
Registered:21 Oct 2023 15:11
Computational physics/chemistry, and some ML
prev: PhD @ Ghent University 🇧🇪, AI researcher @ Orbital Materials 🇬🇧
now: postdoc @ Rotskoff group (Stanford University)
Tyler K
Registered:14 Nov 2024 23:28
Just trying to figure it out.
luizgadelha.bsky.social
Registered:2 Jan 2026 08:37
Computer Scientist at Heidelberg University https://lgadelha.github.io
randyisrandom.bsky.social
Registered:29 Dec 2025 13:53
0x0fab.bsky.social
Registered:24 Jan 2025 11:52
hist102.bsky.social
Registered:18 Nov 2024 03:59
darrenzae.bsky.social
Registered:14 Nov 2024 03:09
basilcheer.bsky.social
Registered:31 Mar 2025 18:43
Danyal
Registered:10 Aug 2025 11:20
Deeply enganged and interested in teaching and communicating physics and mathematics. Particularly interested in theoretical physics and differential geometry.
Artur Lojewski
Registered:5 Nov 2023 10:16
Vaishnavi S
Registered:28 Sep 2023 16:55
Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
