@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@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.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@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.io
Heppnasti gaur í heim. Gagnavísindi og vélnám á daginn, körfubolti á kvöldin. // Data Scientist, mostly tweets in Icelandic and R.
@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
@yearprogress.bsky.social
Year Progress Bot. Maintained by @haider.bsky.social Buy me a Coffee: https://buymeacoffee.com/halipunjabi
@andresingi.bsky.social
Þingmaður Pírata. Member of Parliament, Pirate Party, Iceland. Hann – he/him.
@ruv.is
Helstu fréttir af atburðum líðandi stundar, bæði innanlands og erlendis. Latest news from the newsroom of RÚV.
@torunnjakobs.bsky.social
@torunnjakobs.38 on Signal International Project Developer & Programme Administrator @ the Department of Education @ Stockholm University. Isländsk svedofil, bosatt i Uppsala. Hef áhuga á mannshvörfum og Díönu prinsessu. Tjái mig stundum um menntamál.
@clash-lang.bsky.social
A modern functional hardware description language https://clash-lang.org/ https://github.com/clash-lang/clash-compiler
@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
@maranomynet.bsky.social
@reifyreflect.bsky.social
@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
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@jvanbruegge.cerberus-systems.de
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@aslanix.bsky.social
@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/
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@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
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@vokat.bsky.social
PhD student in Computer Science at University of Gothenburg & Chalmers University of Technology | interested in multilingual, multimodal or neurosymbolic NLP, linguistics, cognitive science
@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.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@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.
@tungufoss.bsky.social
Helga er húsmóðir úr #90210GBR með PhD í reikniverkfræði sem elskar #hannyrðir og #gagnavísindi
@berglindfestival.bsky.social
@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.
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI ... now working on colimit.io / @colimit.bsky.social
@steampowered.com
Steam, The Ultimate Online Game Platform. For support: http://help.steampowered.com/en/
@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.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com