You are not logged in
Bluesky Follows
@
Emanuele D'Osualdo
Follows by @emanueledosualdo.com
floc2026.bsky.social
Registered:18 Jul 2025 08:27
Follow date:26 Jul 2025 19:08
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Follow date:26 Jul 2025 19:06
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Cecilia Baldoni
Registered:24 Oct 2024 09:27
Follow date:19 May 2025 19:50
Researcher @ Max Planck Institute of Animal Behavior 📍Konstanz 🇩🇪 brain 🧠 | behaviour 🎬 | shrews🐭 Unexplainably obsessed with flamingoes 🦩 cecibaldoni.github.io 💁🏽‍♀️🌐
Zukunftskolleg
Registered:15 Jan 2025 11:48
Follow date:4 Apr 2025 12:10
Institute for Advanced Studies @uni-konstanz.de.bsky.social. Lighthouse project in the Excellence Strategy since 2007, fostering early independence with an international, intergenerational, intra-university, interdisciplinary angle. uni.kn/zukunftskolleg
Simon Gregersen
Registered:7 Dec 2024 14:24
Follow date:29 Jan 2025 10:57
Tenure-track faculty @ CISPA
Michael Schwarz
Registered:27 Jan 2025 16:53
Follow date:28 Jan 2025 01:03
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github...
Hayden Evans
Registered:23 Nov 2024 15:14
Follow date:23 Jan 2025 22:49
Founder of Beam it 💜 & Rust Rec 🦀⚙️ I recruit for Elixir, Erlang & Rust Beamrec.com Beamrecjobs.co.uk Need help hiring? Beamrec.com/employers Help with job hunting? Beamrec.com/employability
heyheiko.bsky.social
Registered:22 Jan 2025 18:57
Follow date:23 Jan 2025 22:49
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:23 Jan 2025 22:39
Tell me about types
Francesco Ranzato
Registered:14 Nov 2024 20:44
Follow date:10 Jan 2025 11:20
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Imperial College London verified
Registered:12 Nov 2024 20:30
Follow date:9 Jan 2025 18:41
The official account for Imperial College London A global top-ten university, where scientific imagination leads to world-changing impact. Science | Engineering | Medicine | Business #OurImperial 💙 https://linktr.ee/imperialcoll
simonjf.bsky.social
Registered:14 Dec 2024 10:31
Follow date:8 Jan 2025 17:35
Catriona Agg
Registered:2 Sep 2024 06:13
Follow date:8 Jan 2025 17:35
Maths teacher, although currently on maternity leave. I aim to share lots of snippets of my lessons using #MathsToday and would encourage you to do the same! Also occasional geometry puzzles 🧩
Brett Scott
Registered:13 Sep 2023 13:19
Follow date:8 Jan 2025 17:35
I experiment with altered states of monetary consciousness https://www.asomo.co
Josh Wardle
Registered:1 Nov 2023 22:33
Follow date:8 Jan 2025 17:35
I created Place and The Button @reddit. And more recently Wordle. www.powerlanguage.co.uk
officialblueytv.bsky.social
Registered:20 Nov 2024 06:15
Follow date:8 Jan 2025 17:35
Jason Hickel
Registered:10 Jul 2023 21:32
Follow date:8 Jan 2025 17:35
Professor at ICTA-UAB and Visiting Senior Fellow at LSE • Author of THE DIVIDE and LESS IS MORE • Global inequality, political economy and ecological economics
Paul Graham
Registered:15 Apr 2023 09:40
Follow date:8 Jan 2025 17:35
Marzia Munafò
Registered:18 Oct 2023 06:29
Follow date:8 Jan 2025 17:35
Exploring oocyte epigenomes @EMBL Hackett lab | PhD @Cambridge Uni Hannon lab | (small)RNA enthusiast. Scientific illustrator outside the lab.
Visual Studio Code
Registered:13 Nov 2024 19:57
Follow date:8 Jan 2025 17:35
The open source AI code editor
The Culture Tutor
Registered:14 Nov 2024 01:04
Follow date:8 Jan 2025 17:35
Always learning
Marco Paviotti
Registered:22 Nov 2024 17:36
Follow date:8 Jan 2025 17:35
gfixme : (▷ X -> X) -> X Lecturer. Category Theory, Semantics and Type Theory.
Francesco Costa
Registered:24 Nov 2024 13:06
Follow date:8 Jan 2025 17:35
Giornalista. Vicedirettore del Post.
Zach Weinersmith verified
Registered:3 May 2023 19:39
Follow date:8 Jan 2025 17:34
New Book out this summer: Sawyer Lee and the Quest to Just Stay Home. Other things of mine: Bea Wolf, A City on Mars, and SMBC Website: www.smbc-comics.com Patreon: https://www.patreon.com/ZachWe...
weird medieval guys
Registered:28 Apr 2023 04:40
Follow date:8 Jan 2025 17:34
fibre arts enthusiast https://linktr.ee/weirdmedieva...
The Elixir programming language
Registered:2 Dec 2024 17:18
Follow date:8 Jan 2025 17:34
Elixir is a dynamic, functional language designed for building scalable and maintainable applications 🔗 https://elixir-lang.org/
Jazz Sketches
Registered:3 Feb 2024 15:53
Follow date:8 Jan 2025 17:34
Musings On Jazz and Spinning Tales ✉ JazzSketches@pm.me jazzsketches.substack.com
Ben Garcia
Registered:21 Sep 2023 19:11
Follow date:8 Jan 2025 17:34
Professor and Head of @WUSM_BMB. Studying protein PTMs in chromatin biology. #TeamMassSpec cheerleader. Working towards changing academia. Views my own 🇺🇸 🇲🇽
Tivadar Danka
Registered:20 Jul 2023 10:05
Follow date:8 Jan 2025 17:34
I make math accessible for everyone. Mathematician with an INTJ personality. Chaotic good. Writing https://thepalindrome.org
Dr Zoë Ayres
Registered:3 Jul 2023 10:51
Follow date:8 Jan 2025 17:34
Trying to leave things better than I find them Analytical Scientist 👩‍🔬 #AcademicMentalHealth advocate 🌱 Founder VoicesofAcademia.com 💬 Author of "Managing Your Mental Health During Your PhD" 📘 ADHDer 💚 Proud mum 👶 she/her. Views mine.
Haniel Barbosa
Registered:19 Jul 2023 11:59
Follow date:8 Jan 2025 17:34
SMT solving for fun and profit. https://hanielbarbosa.com/ Also, movies. https://hanielbarbosa.com/film...
Vincenzo Arceri
Registered:21 Nov 2024 23:46
Follow date:8 Jan 2025 17:34
Assistant professor at UniPr
Owen D. Pomery
Registered:14 Nov 2024 20:04
Follow date:8 Jan 2025 17:34
Illustrator + Author owenpomery.com All the links: https://linktr.ee/odpomery
Franco Raimondi
Registered:18 Nov 2024 07:00
Follow date:8 Jan 2025 17:34
james lucas
Registered:14 Jun 2023 18:48
Follow date:8 Jan 2025 17:34
comics. LEGO. NBA. media. coffee. social justice. pronouns: he/they.
Grant ♟️
Registered:11 Apr 2023 06:09
Follow date:8 Jan 2025 17:34
American Diaspora | Kardashev 2 or bust
All The Right Movies verified
Registered:18 May 2023 19:42
Follow date:8 Jan 2025 17:34
The account on classic and hit films. Details provided in our making of stories is direct from cast/crew or 3+ sources. Listen to our podcast for the best movie show out there at alltherightmovies.com
Peter Erskine
Registered:12 Nov 2024 01:00
Follow date:8 Jan 2025 17:34
Drummer, husband, father, grandfather, photographer, author and retired professor. Otherwise known as Maya Erskine’s dad.
Bob
Registered:15 Nov 2024 22:16
Follow date:8 Jan 2025 17:34
Computer scientist and (bad) golfer...
Giovanni Reina
Registered:23 Nov 2023 18:50
Follow date:8 Jan 2025 17:34
Researcher at the Centre for the Advanced Study of Collective Behaviour in Konstanz
Universität Konstanz
Registered:30 Nov 2023 09:41
Follow date:8 Jan 2025 17:34
Official account of the University of Konstanz. Successful in the German Excellence Initiative and Excellence Strategy — since 2007. Website: https://www.uni-konstanz.de Impressum: https://www.uni-konstanz.de/im...
Michael Grossniklaus
Registered:14 Jul 2024 16:07
Follow date:8 Jan 2025 17:34
⭐️unfathomable well of useless knowledge⭐️ Professor of Computer Science at University of Konstanz. My views are my own.
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:8 Jan 2025 17:20
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:8 Jan 2025 17:20
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:8 Jan 2025 17:20
Mom, foodie, traveller, computer scientist
Simon Thompson
Registered:26 Nov 2024 20:49
Follow date:8 Jan 2025 17:20
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:8 Jan 2025 17:20
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Rupak Majumdar
Registered:7 Nov 2024 01:03
Follow date:8 Jan 2025 17:20
New blue sky. Same old troll.
Nate Foster
Registered:25 Jul 2023 20:13
Follow date:8 Jan 2025 17:20
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Ron Garcia
Registered:3 Jul 2023 05:31
Follow date:8 Jan 2025 17:20
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science