Distributed Denial of Secrets @ddosecrets.org DDoSecrets is a 501c3 journalist non-profit devoted to publishing and archiving leaks and other data in the public interest.
DDoSecrets.org
LibraryOfLeaks.org
https://en.wikipedia.org/wiki/Distributed_Denial_of_Secrets
DonorBox.org/ddosecrets
The C Programming Language @c-official.bsky.social Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
NIA @nia--011.bsky.social cursed software eng 🏳️⚧️
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Evan Czaplicki @acadia.engineering Designer of https://elm-lang.org and https://acadia.engineering
@obsidiansystems.bsky.social @obsidiansystems.bsky.social 
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
@chojyuzim.bsky.social @chojyuzim.bsky.social 
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Ben Orchard @raehik.bsky.social 夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
@andrherr.bsky.social @andrherr.bsky.social 
@alanz.bsky.social @alanz.bsky.social 
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
mod_poppo @mod-poppo.bsky.social Haskell / Standard ML
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
Matti P @tritlo.bsky.social Just making sure I keep the handle, go check out @mpg.is
Tokyo Hacker Girls Ch.✨ @thgirls.yt Welcome aboard the official channel of Tokyo Hacker Girls, a VTuber yuri couple duo spreading love, fun, and positivity! 💕 We’re here to bring you exciting adventures in tech, gaming, and a bit of yuri magic.
🌸 Featuring 🌸
@cyan.yt
@lina.yt
Cyan Nyan 星乃しお 🩵✨ 3D Yuri Wedding 2026 @cyan.yt Hacker Neko Vtuber | xGoogle & 💍 with @lina.yt | https://cyan.yt/magic
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Hillel is on Social Media Break @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
Hoshino Lina (星乃リナ) 🩵 3D Yuri Wedding 2026!!! @lina.yt Hello everyone, Hoshino Lina here! I'm a developer VTuber!
▶️ lina.yt/magic
EN/日本語｜she/her｜🎨 #HoshinoLinArt
My gf: @cyan.yt 🩵｜We are @thgirls.yt
🐘 @lina@vt.social
📨 lina@lina.yt
💲 lina.yt/sponsor | lina.yt/kofi
Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
Open Web Advocacy @open-web-advocacy.org Developers fighting self-serving restrictions imposed on the web by tech giants.
Help us end #AppleBrowserBan & make web apps 1st-class. https://open-web-advocacy.org
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
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
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.
Richard Jones @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.
@andreymokhov.bsky.social @andreymokhov.bsky.social 
Sam Lindley @reifyreflect.bsky.social 
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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.
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
OCaml @ocaml.org https://ocaml.org
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Clash Language @clash-lang.bsky.social A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/clash-compiler
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@mgsloan.bsky.social @mgsloan.bsky.social 
Facundo Domínguez @facundominguez.bsky.social Software engineer, father, based in Uruguay
Framework @frame.work Remaking consumer electronics to respect people and the planet. 💻🪛
For support visit http://support.frame.work
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
@bgamari.bsky.social @bgamari.bsky.social 
Gergő Érdi @gergoerdi.bsky.social Finite tape Turing machine
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
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
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
maralorn @maralorn.chaos.social.ap.brid.gy I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #Haskell and am a member of the #NixOS […]
[bridged from https://chaos.social/@maralorn on the fediverse by https://fed.brid.gy/ ]
Tweag by Modus Create @tweag.io Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
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