Thanks to impermanence all things are possible
Working on a book on topos theory
@robarmstrong.bsky.social
US Financial Commentator, Financial Times. Opinions mine, unfortunately. The pursuit of pleasure is hard work.
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@iris-meredith.bsky.social
Software engineer, trans advocate and general nuisance. Blogs at https://deadsimpletech.com/blog/posts. Support my writing: https://www.patreon.com/c/IrisMeredithandherblog https://en.liberapay.com/iris_meredith/
@decodingfoxnews.bsky.social
Deciphering misinformation and disinformation on Fox JulietJeske #🟦 Newsletter/Podcast at Substack http://linktr.ee/DecodingFoxNews http://decodingfoxnews.substack.com http://patreon.com/decodingfoxnews
@entropydog.bsky.social
Just an annoying dumb physics puppy | she/her ΘΔ literal dog not a person | 20s | NSFW 18+ account no tw | Woof wruff bark!
@mhagenauer.bsky.social
"Ah, I am wandering! Strange how the brain controls the brain!" Neuroscientist at the University of Michigan. Data Sleuth. #ARM. "Confoundoisseur". Unquestionably eccentric. Views are my own.
@zabong69.bsky.social
Armchair Data Scientist and nerd. PhD in automated theorem proving just before AI became a subfield of Linear Algebra. Machine Learning, statistics, data visualisation, biology, recreational maths, computation, old pocket calculators, and video games
@monomere.bsky.social
she/her I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music name may change
@hojberg.xyz
Front-End @unison-lang.org (Leading UCM Desktop and Unison Share) https://github.com/hojberg Web: hojberg.dev Writing: https://programming-is-collaboration.com Dance more!
@giacomocavalieri.me
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
@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.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@bsky.tdunning.com
That spoon is bigger than it looks. And it isn't a fork (in the road) Member of Apache Software Foundation, committer on many Apache projects, Fellow at HPE.
@thomas.advanced-eschatonics.com
AI scientist, roboticist, farmer, and political economist. Governments structure markets. IP is theft. @phytomech.com is my alt. https://odellus.github.io
@rezekjoe.bsky.social
English Prof at Boston University. Gay dad and husband. 2024-2025 NEH fellow for “The Racialization of Print,” under contract with the Omohundro Institute for Early Am History and Culture and UNC Press. https://www.bu.edu/english/profile/joseph-rezek/
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@nparikh.org
Teaching AI policy at Columbia (https://nparikh.org/sipa6545). Previously Director of AI for NYC. https://nparikh.org
@samkuhn.bsky.social
@sagan.bsky.social
In the Memory of Astronomer, Researcher, Educator, Communicator, Advocate and Activist who taught us importance of understanding Science. We miss you Carl. Tribute account.
@wallachlori.bsky.social
Director @ Rethink Trade | #WTO #NAFTA #ISDS #supplychainmess 💗 trade justice 🚫 hyperglobalization, corporate-rigged trade deals, Big Tech monopolies | www.rethinktrade.org
@katerqburns.bsky.social
Christofascism and Extremism researcher Fluent in Sean Feucht Breast cancer community organizer and survivor. Taungurung [-o-] on Tongva/kizh land 📍LA ✍🏼 https://leftcoastrightwatch.org/authors/kate-burns/ More https://linktr.ee/kateburnschad
@fadhelkaboub.bsky.social
Associate Professor of Economics at Denison University, President of the Global Institute for Sustainable Prosperity, Author of Global South Perspectives on Substack https://globalsouthperspectives.substack.com
@nitehawkcinema.bsky.social
Films. Food. Drinks. Nitehawk combines first-run and repertory film programming with tableside food and beverage service. linktr.ee/nitehawkcinema
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
@steveroth.bsky.social
Entrepreneur, progressive sometime 1%er. (Tax me more.) Addictive reader: trash to tomes. National-accounting & econ geek. Evolution and Shakespeare dweeb. Besotted father. From MO; show me the #s. https://wealtheconomics.substack.com/about
@annabower.bsky.social
Just asking questions. Senior Editor, Lawfaremedia.org. Send story ideas and tips to anna.bower@lawfaremedia.org Signal username: annabower.24
@tuomaspernu.bsky.social
PhD and all that. Lecturer in Philosophy of Science and Research Ethics at the University of Eastern Finland (UEF). Publications: http://www.tuomaspernu.london
@benburgis.bsky.social
GTAA host, Jacobin columnist, adjunct philosophy prof, TMBS crew for life
@danii.fi
Mathematical Physics ۞ talk to me about APL ۞ recommended by 4 out of 5 women ۞ the light of truth will shine in my hand ۞ danii.fi it/its ۞ discord: danii.fi
@lessig.bsky.social
Law professor, activist, not convinced we have time, acting as if we do anyway.
@tobiasharris.bsky.social
Japanese politics analyst; author of The Iconoclast: Shinzō Abe and the New Japan; Chicago-born Cubs fan now living in DC; marathoner; RHP + IF ⚾ Substack: Observingjapan.substack.com. Business: www.japanforesight.com
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@ocasio-cortez.house.gov
This account is maintained by federal staff to share services and legislation relevant to constituents of NY-14.
@rachelromeo.bsky.social
Asst Prof @ UMaryland | early childhood experiences and brain/cognitive/academic development | learning variability | SLP & language nerd | she/her 🏳️🌈 #FGLI education.umd.edu/leadlab
@prettyliltakemachine.is-extremely.gay
weird. trans. write, sometimes. “In the salt marshes of the beginning of this century, there is strictly nothing left to hide.”
@gelliottmorris.com
data-driven journalist. author of STRENGTH IN NUMBERS, the book: bit.ly/3OWqEqR and the Substack: www.gelliottmorris.com/welcome. formerly ABC News/538 & The Economist. proud custodian of a small community garden plot.
@raehik.bsky.social
夢を抱きしめろ Embrace your dreams.｜ 日JA (N1)・英EN・λHaskell｜ ｱ▮▮ﾞﾐｽﾄ｜ 音ゲー｜ he/him｜ trans rights
@davidzipper.bsky.social
Senior Fellow @ MIT Mobility Initiative and Contributing Writer @ Vox, focused on transport, cities and tech. Words in The Atlantic, CityLab, WaPo, etc. https://linktr.ee/davidzipper Newsletter, speaking, writing and advisory work: http://davidzipper.com