Morgunblaðið @morgunbladid.bsky.social Virtasta fréttarit Íslands
https://www.patreon.com/c/ashot1
Sendið fréttaskot í einkaskilaboðum
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social 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 @plrg-bristol.bsky.social 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 @hlynur.art 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 @hlynur.io Heppnasti gaur í heim. Gagnavísindi og vélnám á daginn, körfubolti á kvöldin. // Data Scientist, mostly tweets in Icelandic and R. 
Mary Sheeran @nishiorain.bsky.social 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 @yearprogress.bsky.social Year Progress Bot. Maintained by @haider.bsky.social
Buy me a Coffee: https://buymeacoffee.com/halipunjabi
Andrés Ingi @andresingi.bsky.social Þingmaður Pírata. Member of Parliament, Pirate Party, Iceland. Hann – he/him.
Fréttastofa RÚV @ruv.is Helstu fréttir af atburðum líðandi stundar, bæði innanlands og erlendis.
Latest news from the newsroom of RÚV.
Þórunn Gallagher @torunnjakobs.bsky.social 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 @clash-lang.bsky.social A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/clash-compiler
Alexander Bandukwala @bandukwala.me 💻 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 @maranomynet.bsky.social Fullnægjandi. Stofustáss.
StormlightMemes @stormlightmemes.bsky.social I read and I make memes. Sometimes I'm smart.
GitHub @github.com The AI-powered developer platform to build, scale, and deliver secure software.
Sam Lindley @reifyreflect.bsky.social 
It's The Weekend 😌 @craigweekend.bsky.social Daniel Craig reminds you that The Weekend is here, every Friday evening at 7:00pm Eastern (inspired by: https://twitter.com/CraigWeekend)
Maintained by @young.me
@andreymokhov.bsky.social @andreymokhov.bsky.social 
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
bfredl @bfredl.bsky.social Jobbar med data // Neovim co-maintainer
pirat/frihetlig/kepsvänster
any/all ⬛️🟪⬜️🟨
Jan van Brügge @jvanbruegge.cerberus-systems.de 
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Aslan Askarov @aslanix.bsky.social 
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Andreas Zeller @andreaszeller.bsky.social 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 @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Heather Miller @heathermiller.bsky.social 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 @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
@vignir88.bsky.social @vignir88.bsky.social 
Katya Voloshina @vokat.bsky.social PhD student in Computer Science at University of Gothenburg & Chalmers University of Technology | interested in multilingual neurosymbolic NLP, linguistics, cognitive science
Steve Canon @stephencanon.bsky.social Not-a-number sommelier, purveyor of fine zeros and infinities.
Ingunn Lára @ingunnlara.bsky.social TikTok fréttamaður hjá RÚV.
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
⇢ Anler @anler.me Psycho-framed into void
Christopher Genovese @crgenovese.bsky.social 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 @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Hjalmar Gislason @hjalli.com 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 @tungufoss.bsky.social Helga er húsmóðir úr #90210GBR með PhD í reikniverkfræði sem elskar #hannyrðir og #gagnavísindi
Berglind Festival @berglindfestival.bsky.social 
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
Gary @garytang.bsky.social Recommendation Systems at Netflix
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Steam @steampowered.com Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/en/
Manuel Rigger @mrigger.bsky.social 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. 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
andrii @unorsk.com L∃ⱯN ∩ VEGEMITE
Birna Anna Björnsdóttir @birnaanna.bsky.social Writer. Icelander in New York.
Júlía Margrét Alexandersdóttir @juliamargret.bsky.social 
ceej @ceej.online just here to have fun online
Travis Whitaker (hs/acc) @travismwhitaker.bsky.social I am weaponizing Haskell and Nix.
Auður T. A. @audurta.bsky.social Æ, þarna, borðtennislögmaðurinn.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
ankit @nezubn.com engineering • systems • ml • hobbyist apple developer
website: https://nezubn.com
@bgamari.bsky.social @bgamari.bsky.social 
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Flora.pm @flora.pm Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes.
https://flora.pm
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Ida Bzo (Bzowska) @idabzo.bsky.social Functional Programming Ambassador passionate about fostering connections in tech communities. A marketer with expertise in JVM technologies, and organizing events. Enthusiast of Haskell, Scala, and Lean.
Javi Neira @javineira.bsky.social 
@o1lo01ol1o.bsky.social @o1lo01ol1o.bsky.social 
@svenningsson.bsky.social @svenningsson.bsky.social 
Tobi @tpflug.bsky.social - T Tim Sweeney @timsweeneyepic.bsky.social
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Miriam Petra / ميريام بترا عوض @miriampetra.bsky.social 🇮🇸🇪🇬Friðelskandi flökkukind sem dreymir um að vera skáld 🐏 Stundum fræði ég fólk um fordóma en oftast bara að reyna að halda sönsum.
www.miriampetra.com
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Kwyn 🏳️⚧️ @kwyn.io Maker to the core. Bits and atoms alike.
Rezzbian and won't shut up about it.
My posts and opinions are my own. I don’t speak for any brand or company.
Signal: @kwyn.42
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Steven Murdoch @steven.murdoch.is Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Artin Ghasivand @ei30metry.bsky.social PLT Enthusiast
Theo @t3.gg Full time CEO & YouTuber. Also an investor and developer. More info at t3.gg
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Rick Minerich @rickasaurus.bsky.social Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
Sam Laki @samlaki.bsky.social Emissary at the machine frontier.
this site is green baby
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf