Nature lover with particular interest in maths, physics , history , sci- fi , music , jokes and language learning .
I also worry a few people with my thoughts for a couple of periods of their day .
It is my contribution to culture.
@jessiegender.bsky.social
Director & Writer | IDENTITEAZE film | YouTuber | former writer/video producer at Gamespot, The Advocate, Microsoft, Out Magazine, Rotten Tomatoes, & Skybound | Trekkie by birth
@spritelyinst.bsky.social
We're building the next generation of decentralized network tech! https://spritely.institute
@justincchang.bsky.social
Film Critic, The New Yorker and NPR’s Fresh Air | 2024 Pulitzer Prize for Criticism | Chair, National Society of Film Critics | Programmer, New York Film Festival
@alejandrofabregastejeda.com
Mexican Historian & Philosopher of Biology • Postdoctoral Fellow at KU Leuven (@theramseylab.bsky.social) • Book Reviews Editor for @jgps.bsky.social • #PhilSci #HistSci #philsky • Escribo y edito • https://www.alejandrofabregastejeda.com
@pennpress.bsky.social
Advancing knowledge, fostering collaboration, informing the future https://www.pennpress.org/
@richardbranson.bsky.social
Screw it, let's do it. Proof it's the real me: https://www.linkedin.com/posts/rbranson_richard-branson-richardbransonbskysocial-activity-7267516793689124864--I14 Here's my blog: https://www.virgin.com/branson-
@dmehro.bsky.social
Investigations at WIRED. Previously: Center for Investigative Reporting, Gizmodo, eyebeamnyc. dhruv_mehrotra@wired.com or securely at @dmehro.89 on Signal
@bbcbreaking-bot.bsky.social
A bot mirroring BBC Breaking News updates. This is an unofficial account with no affiliation to BBC. Sources: - twitter.com/BBCBreaking - BBC app
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@petrockette.bsky.social
∑Π≃λ×🍩 Wayward physics girl doing work in Haskell and Agda now HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking @petrockette@masto.ai
@danielhurdiss.bsky.social
Assistant Professor at Utrecht University 🇳🇱 We use #cryoEM and molecular #virology techniques to study the infection mechanisms of +ssRNA viruses. https://www.uu.nl/medewerkers/DLHurdiss Views are my own.
@knockouthumor.bsky.social
Welcome to Knockout Humor! Enjoy daily jokes and puns to brighten your day. Visit knockouthumor.com for my eBooks on Amazon. For insightful commentary, check out The Opinion Observer at theopinionobserver.substack.com and theopinionobserver.blogspot.com.
@briankrebs.infosec.exchange.ap.brid.gy
Independent investigative journalist. Covers cybercrime, security, privacy. Author of 'Spam Nation,' a NYT bestseller. Former Washington Post reporter […] [bridged from https://infosec.exchange/@briankrebs on the fediverse by https://fed.brid.gy/ ]
@ellenlweintraub.bsky.social
Longtime FEC Commissioner, 4-time Chair, lawyer, mom, wife, believer in democracy and rule of law
@naomiaklein.bsky.social
New here. Doppelganger. This Changes Everything. The Shock Doctrine. No Logo. On Fire. UBC Professor of Climate Justice. 🔗 naomiklein.org 📬 news.naomiklein.org/newsletter
@sarahkendzior.bsky.social
Bestselling author of THEY KNEW, HIDING IN PLAIN SIGHT, THE VIEW FROM FLYOVER COUNTRY and THE LAST AMERICAN ROAD TRIP. https://sarahkendzior.substack.com/
@anonopsse.bsky.social
AoS 2.1 - News concerning #Anonymous and everything of importance.
@abakcus.bsky.social
Abakcus is the best curation site for math and science. Please subscribe my weekly newsletter! It is FREE! http://beyondeuclid.substack.com
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@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
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@chrmanning.bsky.social
Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
@proidiot.bsky.social
Like most of our world, computers don't have to suck, but we must choose improvement. Formal Methods, F(L)OSS, math memes, general nerdiness.
@combinatorics.bsky.social
This is the "official account" of the mathematics research field "Combinatorics". This account can be given around to combinatorialists around the world for one week each to post about their view on the field. DMs are open for requests.
@mathedscitech.bsky.social
IJMEST is a forum for peer-reviewed research in mathematics education to be presented and adapted to the needs of schools, colleges, universities, industry and commerce. https://www.tandfonline.com/journals/tmes20
@mejvina.bsky.social
Hi, my name is Mavis (she/her). I am 23 years old, and I study math at the department of algebra at Matfyz. I specialize in forcing and bounded arithmetics.
@notjfmc.bsky.social
I work on http://github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on http://mastodon.social/@jfmc IMDEA Software Institute & UPM
@hackernewsbot.bsky.social
(Unofficial) Hacker News Bot with top stories updates. Jobs from YC startups @whois-hiring.bsky.social Creator @ykravchuk.bsky.social
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO Munich, Germany [bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
@andrejbauer.mathstodon.xyz.ap.brid.gy
Professor of computational mathematics at University of Ljubljana, Slovenia. [bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
@aldlatour.bsky.social
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
@serranoalej.bsky.social
reporter currently writing about immigration + border @texastribune.bsky.social | email me: alejandro.serrano@texastribune.org
@joeldavidhamkins.bsky.social
Mathematics and Philosophy of the Infinite Professor of Logic, University of Notre Dame University of Oxford #InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
@joinmastodon.org.web.brid.gy
Learn more about Mastodon, the radically different, free and open-source decentralized social media platform.
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@anthropic.com
We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
@enriquetrevino.bsky.social
Math professor. My research is mostly in number theory. I am also very involved in Math olympiads.
@jasonrute.bsky.social
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@dreugeniacheng.bsky.social
Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
@archive.org
Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.
@lorebar80.bsky.social
Professor of Logic and Philosophy of Science at the University of Valencia