David Fox
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@kenwhite.bsky.social
Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Signal: KenWhite.1969
@therickwilson.bsky.social
Lincoln Project and Resolute Square founder. Ad-maker. NYT #1 Bestselling author. Instrument-rated pilot. Beechcraft driver. TheRickWilson.Substack.com
@cydharrell.bsky.social
cyberpunk is a warning, not a manual she/her. dayjob & usual location: City & County of San Francisco (this is a personal account) on the board at Technologists for the Public Good; wrote a small book about doing this: https://cydharrell.com/book/
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@license-token.com
representative of iunera.com #buildInPublic fan! Hunting crazy projects; #java #python #angular; #OpenSource #indiehacker ; #Bigdata and #AI enthusiast; loving #crypto and tokenization/#NFT use cases beyond art. Disrupt #OSS: https://license-token.com
@gfixme.bsky.social
gfixme : (▷ X -> X) -> X Lecturer. Category Theory, Semantics and Type Theory.
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@rob-sz.bsky.social
CS PhD student at the University of Glasgow. Compilers, computer architecture, FPGAs, HLS, Bluespec.
@neilwalkinshaw.bsky.social
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
@profrejones.bsky.social
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@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
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e wendigotyp.es
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@eerkeboiten.bsky.social
Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him. Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@yann-lecun.bsky.social
Professor a NYU; Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate. http://yann.lecun.com
@micahcantor.bsky.social
Software engineer @ Rinse • Grinnell College '24 • Washington, DC https://micahcantor.com
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@mcnuttandrew.bsky.social
Professing at University of Utah vis/hci/programming interfaces (He/his) http://mcnutt.in/
@nadirweibel.bsky.social
Professor of Computer Science and Engineering at UC San Diego; HCI, Design, Ubiquitous Computing, Health Informatics
@shadowserver.bsky.social
Our mission is to make the Internet more secure by bringing to light vulnerabilities, malicious activity and emerging threats. Join our Alliance! https://shadowserver.org/partner
@andygillku.bsky.social
Principal Engineer, AI Compute, at Rain AI. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@reesh-a.bsky.social
@oliverbatch.bsky.social
Computer Vision/Agritech researcher designing a vineyard/orchard many-camera scanner (Gaussian Splatting-based). Radiance fields, 3D recognition, FP fan (Haskell). Running, rock climbing, dog friends. ucvision.org - University of Canterbury, New Zealand
@simeondermaats.bsky.social
Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon and my girlfriend :)
@axman6.au
Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler. Also find me on 🦣 @axman6@infosec.exchange
@sandydoo.me
code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
@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.
@furioussheep.bsky.social
FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they