×
You are not logged in
Bluesky Follows
Matti Palli
Follows by @mpg.is
Morgunblaðið
Registered:21 Sep 2023 19:01
Follow date:17 Jul 2025 08:44
Virtasta fréttarit Íslands
https://www.patreon.com/c/asho...
Sendið fréttaskot í einkaskilaboðum
One Happy Fellow
Registered:24 May 2025 14:49
Follow date:27 May 2025 21:50
OCaml dev, pondering The Abstract and The Concrete; soft spot for PLT (in recovery), love making computers sweat, trying to write more, a raging nerd
bluesky is just a backup, I’m mostly on twitter
happyfellow.bearblog.dev
TypeHoles
Registered:31 Oct 2024 23:33
Follow date:30 Apr 2025 21:17
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:28 Apr 2025 15:15
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
PLRG :: Bristol
Registered:14 Mar 2025 02:40
Follow date:28 Apr 2025 05:32
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io...
Hlynur Helgason, artist and art theorist
Registered:24 Jan 2025 23:26
Follow date:25 Jan 2025 07:20
Visual artist, art theorist, and Associate Professor of Art History and Theory at the University of Iceland. Works in painting, photography, and video installation. Explores themes of social space, representation, and systemic art creation. Studio at Hólma
Hlynur Hallgríms
Registered:5 May 2023 08:43
Follow date:25 Jan 2025 07:19
Heppnasti gaur í heim. Gagnavísindi og vélnám á daginn, körfubolti á kvöldin. // Data Scientist, mostly tweets in Icelandic and R.
Mary Sheeran
Registered:16 Nov 2024 17:09
Follow date:14 Jan 2025 12:48
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Year Progress Bot
Registered:10 Apr 2023 10:44
Follow date:1 Jan 2025 00:36
Year Progress Bot. Maintained by @haider.bsky.social
Buy me a Coffee: https://buymeacoffee.com/halip...
Andrés Ingi
Registered:30 Jul 2023 15:29
Follow date:24 Dec 2024 00:40
Þingmaður Pírata. Member of Parliament, Pirate Party, Iceland. Hann – he/him.
Fréttastofa RÚV
Registered:15 Nov 2024 13:23
Follow date:12 Dec 2024 18:36
Helstu fréttir af atburðum líðandi stundar, bæði innanlands og erlendis.
Latest news from the newsroom of RÚV.
Þórunn Gallagher
Registered:5 May 2023 07:56
Follow date:10 Dec 2024 20:07
A popular knapsack with many different locations. Glorified PDF skapari.
Internationalisering, utbildning, trams.
Isländsk svedofil, bosatt i Uppsala.
Hef áhuga á mannshvörfum og Díönu prinsessu. Tjái mig stundum um menntamál.
Clash Language
Registered:28 Nov 2024 12:58
Follow date:10 Dec 2024 20:06
A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/...
Alexander Bandukwala
Registered:1 Jul 2023 17:59
Follow date:10 Dec 2024 01:51
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
Már Örlygsson
Registered:15 Aug 2023 12:15
Follow date:9 Dec 2024 23:31
Einfalt og gott.
Rólegt og öruggt.
StormlightMemes
Registered:21 Nov 2024 02:02
Follow date:8 Dec 2024 08:20
I read and I make memes. Sometimes I'm smart.
GitHub
Registered:25 Apr 2023 16:36
Follow date:6 Dec 2024 15:54
The AI-powered developer platform to build, scale, and deliver secure software.
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:1 Dec 2024 21:46
It's The Weekend 😌
Registered:12 Apr 2023 04:06
Follow date:30 Nov 2024 02:00
Daniel Craig reminds you that The Weekend is here, every Friday evening at 7:00pm Eastern (inspired by: https://twitter.com/CraigWeeke...
Maintained by @young.me
andreymokhov.bsky.social
Registered:28 Nov 2024 20:59
Follow date:28 Nov 2024 21:04
Ignacio Ballesteros
Registered:18 Nov 2024 13:46
Follow date:28 Nov 2024 19:47
Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Marcel Böhme
Registered:17 Nov 2024 07:13
Follow date:28 Nov 2024 19:27
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
bfredl
Registered:17 Sep 2023 21:41
Follow date:28 Nov 2024 18:05
Jobbar med data.
pirat/frihetlig/kepsvänster
they/them
Jan van Brügge
Registered:12 Nov 2024 09:51
Follow date:28 Nov 2024 18:04
David Moon
Registered:11 Apr 2023 02:09
Follow date:26 Nov 2024 16:34
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
Aslan Askarov
Registered:12 Nov 2024 07:50
Follow date:26 Nov 2024 16:33
Ross Tate
Registered:14 Nov 2023 18:51
Follow date:26 Nov 2024 16:33
Programming Languages Researcher and Consultant
Andreas Zeller
Registered:22 Sep 2023 05:50
Follow date:26 Nov 2024 16:33
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:26 Nov 2024 16:32
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Heather Miller
Registered:1 Jun 2023 16:07
Follow date:26 Nov 2024 16:32
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:26 Nov 2024 16:32
CS professor at UT Austin, does research in programming languages & formal methods.
vignir88.bsky.social
Registered:24 Nov 2024 19:36
Follow date:25 Nov 2024 21:42
Katya Voloshina
Registered:6 Nov 2024 11:20
Follow date:25 Nov 2024 19:30
PhD student in Computer Science at University of Gothenburg & Chalmers University of Technology | interested in multilingual neurosymbolic NLP, linguistics, cognitive science
Steve Canon
Registered:8 May 2023 16:22
Follow date:25 Nov 2024 16:07
Not-a-number sommelier, purveyor of fine zeros and infinities.
Ingunn Lára
Registered:13 Aug 2023 14:35
Follow date:24 Nov 2024 19:27
TikTok fréttamaður hjá RÚV.
peterb from Tea Leaves Programming
Registered:3 Jul 2023 10:23
Follow date:24 Nov 2024 18:02
effort + coffee = software. See also @peterb@mathstodon.xyz
🌀Anler
Registered:22 Oct 2024 13:38
Follow date:24 Nov 2024 18:02
λ is my aeroplane.
I write nonsense at anler.me
Christopher Genovese
Registered:28 Oct 2024 05:36
Follow date:24 Nov 2024 18:02
Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:24 Nov 2024 18:02
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Alejandro Serrano Mena
Registered:19 Nov 2024 20:03
Follow date:24 Nov 2024 18:02
👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Hjalmar Gislason
Registered:15 Aug 2023 12:52
Follow date:24 Nov 2024 15:05
Bringing spreadsheets to the AI-first era at GRID ( https://grid.is ). 5th time founder. Curious about data, tech, media, life, the universe and everything.
Dr. Helga
Registered:27 Jul 2023 13:32
Follow date:24 Nov 2024 15:05
Berglind Festival
Registered:12 Aug 2023 11:58
Follow date:24 Nov 2024 15:04
Dmitriy Kovalenko
Registered:3 Nov 2024 00:46
Follow date:23 Nov 2024 08:35
Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
Gary
Registered:23 Nov 2024 00:55
Follow date:23 Nov 2024 07:20
Recommendation Systems at Netflix
larrytheliquid
Registered:5 Nov 2024 22:03
Follow date:22 Nov 2024 21:40
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Steam
Registered:21 Nov 2024 23:29
Follow date:22 Nov 2024 20:54
Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/e...
Manuel Rigger
Registered:15 Nov 2024 08:04
Follow date:22 Nov 2024 20:53
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.