@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @[email protected]
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@julialang.org
Julia is a high-level, dynamic programming language built for technical computing. Official Bluesky account of the Julia Language Project #JuliaLang
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@devoxx.uk
7-9 May 2025 | A Developer Community Conference Watch all the recorded talks from previous years on our YouTube channel: http://youtube.com/DevoxxUK
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@leecamp.bsky.social
Host of Dangerous Ideas / former host of Redacted Tonight / most censored comedian in America
@compiler-explorer.com
A website for exploring the output of compilers. aka godbolt.org Supports C, C++, Rust, Fortran, COBOL and many many more. Support us at https://patreon.com/mattgodbolt
@the-compiler.org
Writing #qutebrowser, #pytest core maintainer, and doing lots of other stuff in #Python. Python/pytest trainings via https://bruhin.software
@spritelyinst.bsky.social
We're building the next generation of decentralized network tech! https://spritely.institute
@flockofbirbs.bsky.social
CTO @ Spritely Institute building distributed social tech https://spritely.institute Worcester, MA area - he/him Blog: https://dthompson.us/ I'm on the fediverse at https://toot.cat/@dthompson
@daviwil.bsky.social
Lisp and Scheme hacker, writer, game developer, and Emacs inhabitor living in Athens, Greece. I make videos about GNU Emacs, GNU Guix, and related topics on the System Crafters channel on YouTube. https://systemcrafters.net https://daviwil.com
@lispyclouds.bsky.social
Ⓐ λ 🏳️🌈 🫖 #anarchy #clojure #babashka #golang #sre #neovim https://github.com/lispyclouds https://mastodon.online/@lispyclouds
@posetteconf.com
🐘 Free & virtual developer event ✨ Organized by #PostgreSQL team at Microsoft. Schedule is out! Keynotes coming soon. Save the Date! https://aka.ms/posette-cal Hashtag is #PosetteConf 🌎 https://posetteconf.com/
@elixirconf.bsky.social
🚨 Join the waiting list for exclusive ticket prices: https://www.elixirconf.eu/ 📆 15-16 May 2025 📍 Kraków (Poland) & Online
@codebeam.bsky.social
The family of tech conferences focused on BEAM languages: #Erlang, #Elixir and #Gleam 🇸🇪 Code BEAM Lite Stockholm: 02 Jun codebeamstockholm.com
@membrane-swmansion.bsky.social
RTC & Video Streaming Experts @swmansion 📹 🧑💻 Creators of the Membrane Framework, Elixir WebRTC, Live Compositor & Fishjam Cloud 🚀 Organizers of RTC.ON conf & Elixir Stream Week
@elixirjobs.net
The biggest Elixir job board directly on your timeline. 🔗 https://elixirjobs.net
@borkdude.bsky.social
#clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * http://github.com/borkdude
@fogus.me
bibliophile, occasional programmer, Clojure core https://www.fogus.me https://blog.fogus.me
@oreilly.bsky.social
Gain technology and business knowledge and hone skills with learning resources created and curated by O'Reilly experts
@gotocon.com
#GOTO Presents the Brightest Minds in Tech. Check out GOTO Conferences. https://gotopia.tech https://www.youtube.com/@GOTO-
@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
@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.
@gleam.paris
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@margeditor.bsky.social
Book lover, sailing enthusiast, baker. I 💗 cats, so bring on the pics.
@bilki.bsky.social
Software Engineer @ Xebia I like Scala and functional programming. https://github.com/bilki 📍Murcia, Spain
@mreinhold.org
Chief Architect, Java Platform Group, Oracle · Views are my own · https://mreinhold.org
@openjdk.org
The place to collaborate on an open-source implementation of the Java Platform and related projects · https://openjdk.org
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Book your spot and see you soon: 12-13 June 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@scala-lang.org
A programming language that scales with you: from small scripts to large multiplatform applications. https://www.scala-lang.org
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/