@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@thephd.dev
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀 ✍ Writing: http://thephd.dev 📷 Avatar KIINGKISMET (https://kiingkiismet.com/) 🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@tonofcrates.bsky.social
@filippo.abyssdomain.expert
RC F'13, F2'17 Cryptogopher / Go cryptography maintainer Professional open source maintainer https://filippo.io / https://github.com/FiloSottile https://mkcert.dev / https://age-encryption.org https://sunlight.dev / https://filippo.io/newsletter
@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 🔥
@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.
@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
@gankra.bsky.social
it's me, the gay cat who writes your docs~! author of the rustonomicon and learn rust with entirely too many linked lists; worked on homestuck, rust-lang, swift-lang, firefox she/her, trans, 30
@meidastouch.com
The fastest growing independent news network in the world. We cover breaking news, politics, law and more. We are unapologetically pro-democracy.
@dieworkwear.bsky.social
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter. If you have a style question, search: https://dieworkwear.com/ | https://putthison.com/start-here/
@xeiaso.net
Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
@pavisuri.bsky.social
Associate Professor, Government Department, LSE Indian politics, state capacity, status politics, historical political economy www.pavisuri.com Editor at http://broadstreet.blog
@debpearlstein.bsky.social
Director, Program on Law & Public Policy, Princeton University School of Public and International Affairs. Charles & Marie Robertson Visiting Professor of Law & Public Affairs. Still teaching Con law, still aiming to get out of the new social media market.
@robertgo.bsky.social
Distinguished Visiting Fellow, McCourt School, Georgetown U. Former White House Domestic Policy Council, HHS, OMB, Michigan DHHS, etc. Government should work for everybody.
@allafarce.bsky.social
Software and complex (not complicated) systems. Pursuing the public good, sometimes with technology.
@pahlkadot.bsky.social
Author: Recoding America, Founder: Code for America, Co-founder: USDS and USDR.
@jaylyall.bsky.social
Prof @Dartmouth. Director, FieldLab. Carnegie Fellow. Diversity and military effectiveness, war, humanitarian aid, USAID, sci fi. Author, DIVIDED ARMIES (2020, http://amzn.to/2Y80f25). 🇨🇦 #FirstGen #VermontZen Website: www.jasonlyall.com
@dburbach.bsky.social
Prof. International Relations & National Security. Space security, civil-military relations. Cats, science, photography for fun. Providence RI; Oregonian at heart. Posts, RTs are personal ONLY. Teach at NWC but dont represent US Navy | Assoc Ed @TNSR.org
@kschake.bsky.social
Leads AEI’s foreign and defense team, author of Safe Passage, contributing writer at The Atlantic. Californian. https://www.aei.org/profile/kori-schake/
@risabrooks12.bsky.social
Marquette Prof studying U.S. and comparative civil-military relations, political violence & armed forces in democracies and non-democracies.
@profjessblankshain.bsky.social
Associate professor, mom, triathlete, dog person, Swiftie. US foreign policy, civil-military relations, & bureaucratic politics. Personal views only. Posts before 9/23/23 are imports from the other place.
@ajosephoconnell.bsky.social
Administrative law & bureaucracy obsessed Stanford Law School professor; former ACUS council member (fired by Trump); writing book, Stand-Ins (on temporary leaders in government, business, & religion); mom of two
@billresh.bsky.social
(Incoming) Chair and Professor of Public Management and Policy; Director, Civic Leadership Education and Research Center; Andrew Young School of Policy Studies I fight monsters.
@nicholasbednar.bsky.social
Associate Professor of Law; Affiliated Professor of Political Science at University of Minnesota. AdLaw, Bureaucracy, Administrative Capacity, and the Federal Workforce. Contributing Editor for Lawfare. Signal: Nbednar.46 Opinions are my own; Not UMN.
@zephoria.bsky.social
STS researcher who likes to look at things sideways. Founded Data & Society. Topics: Census | Youth | Data | Society Microsoft Research -> Cornell (2025) https://made-not-found-by-danah-boyd.ghost.io
@rdanielkelemen.bsky.social
McCourt Chair at the McCourt School of Public Policy @Georgetown University. Non-resident Senior Associate @CSIS. EU politics, policy & law. https://www.rdanielkelemen.com
@tompepinsky.com
Teacher, researcher, globalist, republican. Banned from Russia, because dictators fear the truth. Currently clean on OPSEC. tompepinsky.com
@povertyscholar.bsky.social
Prof @Cornell studying: power, poverty, racism, policy (health & housing) |Author: Fragmented Democracy: Medicaid, Federalism & Unequal Politics |Builder|Believer
@epopppp.bsky.social
Professor @ a large Midwestern univ. Wrote a book about economists + policy, one about academic science + policy. Temporarily on the "government is breaking" beat, but I'd rather be posting about public utility debates from 1906. I support 🏳️⚧️ rights.
@qjurecic.bsky.social
I write about law, democracy, and the internet. Words in @lawfaremedia.org, The Atlantic, Washington Post Book World. It's KWIN-ta. Speaking only for myself on here. signal: qjurecic.32
@sbagen.bsky.social
Personal account. Personal views. Frank G. Millard Professor of Law, University of Michigan Law School & Arlene Susan Kohn Professor of Social Policy, University of Michigan Ford School of Public Policy. Former General Counsel, HHS and OMB.
@chloethurston.bsky.social
Political scientist @ Northwestern. American political development and political economy. Politics of housing, credit, and debt. New Book: The Political Development of American Debt Relief.
@pamherd.bsky.social
Personal Account. Carol Kakalec Kohn Professor of Social Policy. University of Michigan-Ann Arbor. I ❤️ surveys. I 😖Administrative Burden. My views do not represent the views of my lovely employer!
@donmoyn.bsky.social
Policy Professor, Ford School, University of Michigan. Irish immigrant. Administrative burdens guy. Free newsletter, Can We Still Govern?: https://donmoynihan.substack.com
@annagbusse.bsky.social
Professor of political science at Stanford. State formation, religion, political parties, Europe, etc. Amateur electrician.
@himself.bsky.social
http://www.henryfarrell.net and newsletter at http://www.programmablemutter.com Now out with Abe Newman, Underground Empire: How America Weaponized the World Economy (Holt, Penguin). https://www.publishersweekly.com/9781250840554.
@jamellebouie.net
The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group. Send me your mutual aid requests.
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@bnewbold.net
dweb, cycling, snow, big cities, wiki. I like speculating about found objects. protocol engineer @bsky.app. formerly archive.org elsewhere: bnewbold.net / @[email protected]
@lookitup.baby
Kubernetes SIG Security co-chair, container escape artist, aurora chaser, goose in the mainframe. Minneapolis. They/them. Stay punk 🏴 MSP feed info here: https://bsky.app/profile/lookitup.baby/post/3lapkhevr222w
@kto.so
“Life is Study!”; Swift Actors, Concurrency & Distributed Systems @ Previously: Reactive Streams (TCK), @akkateam Actors, HTTP & Streams, @geecon Conference, Java Champion. he/him.
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection → https://sekun.net github → https://github.com/sekunho