tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Dysthesis @dysthesis.bsky.social 
www.civimus.eu @civimus.bsky.social Demokratie braucht Würde für alle.
20 Bio. Vermögen. 13 Mio. Arme. Ein Promille würde alles ändern.
Worauf kannst du verzichten, ohne zu verzichten?
👉 @civimus – folgen, teilen, unterstützen.
@tarena.bsky.social @tarena.bsky.social 
@terrorjack.bsky.social @terrorjack.bsky.social 
Anupam λ≡ @haskman.bsky.social “It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage against walled gardens"
#Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism
mod_poppo @mod-poppo.bsky.social Haskell / Standard ML
Harish Chandramouleeswaran @harish1108.bsky.social Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
@jane2-06.bsky.social @jane2-06.bsky.social 
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
nhatanh @nhatanh02.bsky.social 
Maris Ozols @marisozols.bsky.social Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
Science HR @sciencehr.bsky.social A career network featuring science jobs in academia and industry.
Visit our platform at www.science.hr
Javi Neira @javineira.bsky.social 
Jiří Beneš @jiribenes.com Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
Engineering HR @engineeringhr.bsky.social Engineering Human Resources. A job board and career portal for engineers, researchers and developers. Our website: https://www.engineering.hr
TBD @nesbloom.bsky.social 
@streamlight.bsky.social @streamlight.bsky.social 
@kephasp.bsky.social @kephasp.bsky.social 
@chloroauric.bsky.social @chloroauric.bsky.social trans 🏳️⚧️, web, javascript, p2p, decentralisation, activitypub, rust, c, c++, browsers, react, design systems, linux
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
Ben @kaleidawave.bsky.social Mathematics and compilers. https://kaleidawave.github.io
@gaussgivenorder.bsky.social @gaussgivenorder.bsky.social Aspiring TCS researcher
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
@aadaa-fgtaa.bsky.social @aadaa-fgtaa.bsky.social 
Ulises Rodriguez @ulisesr.bsky.social I like science 🧪🔭⚗️🔬🧬
former software engineer
fascism is bullshit
angry army veteran
Eric St-Laurent @ericst-laurent.com Musician, GNU-linux enthusiast.
Bordel de merde, nur die wurst hat zwei
Toronto, 🇨🇦
http://ericst-laurent.com
#cumbia #reaper #supercollider #GNU_linux #vim #bash #awk #sed #mutt #calcurse #sd-im #plain_text #openSource
Philipp Pohl-Krüger @matheus23.com Building iroh with the amazing folks at number 0 (n0.computer).
Generally striving to increase user agency and excited about commons networks.
Only works for Canadian CEOs, apparently.
Rust, cryptography, CRDTs & more on my feed
James @types4life.bsky.social he/him. Lover of type theory and functional programming. Also, comedy and politics. Not super optimistic.
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
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
@alanz.bsky.social @alanz.bsky.social 
Théophile فهيل (ꈍ ᴗ ꈍ✿) @theophile.choutri.eu Trade unionist, musician, professional software victim.
🇫🇷/🇩🇿
Séparatisme Numérique at @solinfonat.bsky.social
Project lead at @flora.pm
93 est mon indice d'octane
@midirus.bsky.social @midirus.bsky.social 
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@doyougnu.bsky.social @doyougnu.bsky.social 
@proustian.bsky.social @proustian.bsky.social 🐫
John Ericson @johnericson.me https://github.com/ericson2314/
Also volunteer member of @etany.org
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Sebastian Ullrich @derkha.bsky.social makes Lean at Lean FRO
Munich, Germany
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Michael Schröder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io- H @handle.invalid @handle.invalid Writes (Code)QL, is a program analysis and a formal methods tourist. Applies LLMs to scale application security.
@shorsher.bsky.social @shorsher.bsky.social 
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Otmar H. Mayr @otmarmayr.bsky.social Kein Mitglied einer politischen Partei, beschäftigt sich intensiv mit Ahnenforschung. Betreiber der Ahnenforscher-Webseite www.verwandten.info
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Guillaume Bogard @guillaumebogard.dev (he/him) Developer (Haskell, Rust). Enjoys FP and static typing. Interested in databases and distributed systems. Theme park enthusiast 🎢 🏳️🌈 🇪🇺
SE Scherbeck Energy @scherbeckenergy.bsky.social Unabhängiger Berater in der Energiewirtschaft.
https://www.scherbeck-energy.com
Portfoliomanagement und Spothandel für Strom und Gas.
https://www.fse-gmbh.com
Entwickler des ENERGY Trading Cockpits.
https://www.energy-trading-cockpit.info- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
fy5zl @at.fy5zl.workers.dev 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Joe Cutler @alphaconvert.bsky.social cutler.pl
Borzoo Bonakdarpour @borzoo.bsky.social Associate Professor of Computer Science at Michigan State University
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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.
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
🇨🇦 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.
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
buster @axionbuster.com constant, yet volatile
@dubious-brackets.bsky.social @dubious-brackets.bsky.social 
📎🐸🕊️ZhSigma@332ppm≅Σx,x∈S={🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat;🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴;Nno🇮🇸🇫🇴
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux