Masahiro Sakai
Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
@miwachan-info.bsky.social
@2e.nobu-k.net
@nobu-k.net の子育て/おうち教育/gifted/2e/発達障害関連の記録/話題用アカウント。主にASD/ADHD併発9歳児が大学数学やcomputer scienceを学ぶのを手伝った記録。他にはアメリカの数学コンテスト情報など。 引っ越し元のTwitter: https://twitter.com/nobu_k
@kururumath.bsky.social
みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。 アイコンはbing image creatorによるkururu_goedel。 twitter: kururu_goedel, mathtod: kururu
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@numagasa.bsky.social
『いきものニュース図解』＆『図解 ふしぎで奇妙ないきものたち』3/19同時発売！ 科博の特別展「鳥」（2025年3月15日〜名古屋）にてイラスト図解を担当しています。 Twitter https://twitter.com/numagasa ブログ https://numagasablog.com/ インスタ https://www.instagram.com/numagasa/
@spiroooooool.bsky.social
もうすぐアラフォーが見えてきた不真面目系労働者。社会ネタをぶっこまないといられない生き物です。 まとめorリストに私のアカウントor呟きを入れる場合は、リプで一報ください（やらない人は基本ブロックします）。 ネタバラシが絡むものはマストドンに投げ、そこから繋げます。@spirootz@mstdn.jp
@matope.bsky.social
Software Engineer / Go / Liberalist / ADHD診断済み / Long-COVID療養中 / しめじ https://twitter.com/ono_matope
@sarahhross.bsky.social
Associate editor Science Magazine Immunology | Haematology | Host-pathogen interactions
@qnighy.qnmd.info.ap.brid.gy
言語処理系いじりとロジックが好き 相方→@qnighy [bridged from https://qnmd.info/@qnighy on the fediverse by https://fed.brid.gy/ ]
@sou7.misskey.io.ap.brid.gy
:role_nyanpuppu: Factorio、Simutransプレイヤー /\ :arch:使い /\ Coqを書いてる [bridged from https://misskey.io/@sou7 on the fediverse by https://fed.brid.gy/ ]
@wtsnjp.com
∈ Ph.D. in Computer Science ∩ Researchers ∩ Software Engineers ∩ NLPers ∩ TeXperts 🏚 https://wtsnjp.com
@ktrmnm.bsky.social
@tkm2261.bsky.social
ML Security Researcher / Kaggle Grandmaster / CS Ph.D. candidate at UC Irvine / I will be in the job market this Spring. Please feel free to contact me via DM
@tatsushi-do-ob.bsky.social
@vanhentenryck.bsky.social
AI for Engineering, faculty at Georgia Tech, Director of Tech AI (the AI Hub at GT, @georgiatechai.bsky.social), Director of AI4OPT (The NSF AI Institute For Advances in Optimization, @ai4opt.bsky.social)
@achterberg.bsky.social
Gurobi developer, former CPLEX and SCIP developer, mixed integer programming
@gurobioptimization.bsky.social
With the Gurobi Optimizer, you can identify provably optimal solutions to the world’s most complex problems—including linear, nonlinear, and quadratic problems—using any combination of continuous and integer variables.
@moskomule.bsky.social
@dragoner.bsky.social
軍事ライター・ブロガーだったはずが、いつのまにか色んなモノを書くようになってたヴァーチャルネット売文業者。御用はリプライかメールで dragoner.jp★gmail.com (★を@に）
@heigazen.bsky.social
Principal Scientist (Director) at Google DeepMind in Japan. 波瀬小⇒一志中⇒鈴鹿高専⇒名工大 (IBM T.J. Watson Research intern)⇒東芝欧州研究所⇒Google (Speech🇬🇧⇒Brain🇯🇵) ⇒Google DeepMind. 3rd generation Korean in Japan.
@azaazarashi.bsky.social
@ap.brid.gy
Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your Bluesky account to the fediverse, follow this account. To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.…
@solidevidence.bsky.social
Molecular virologist, sewage sage and wastewater wizard. Professor at University of Missouri, School of Medicine
@ourworldindata.org
Research and data to make progress against the world’s largest problems. Based out of Oxford University (@ox.ac.uk), founded by @maxroser.bsky.social.
@ryanhisner.bsky.social
Teacher. Learner. Investigating mysteries of SARS-CoV-2 evolution.
@nyt-first-said.bsky.social
Tweets words when they appear in the New York Times for the first time. @nyt-said-where.bsky.social for context maintained by @maxbittker.bsky.social
@twenseleers.bsky.social
Professor @KULeuven - evolutionary biology, theoretical biology & biostatistics (#Rstats). Social insects & microorganisms. Social evolution, self organisation, chemical ecology, statistical machine learning. https://bio.kuleuven.be/eeb/tw/research
@science.org
The world's leading outlet for cutting-edge research in all areas of science. https://www.science.org
@ian-goodfellow.bsky.social
Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Chronically ill: bilateral Ménière’s disease + long COVID. Founding chairman of www.publichealthactionnetwork.org
@nejm.org
Welcome to the official Bluesky account for the New England Journal of Medicine! Follow us for high-quality, peer-reviewed research and clinical content from the world’s leading medical journal and website (NEJM.org).
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@aoetk.bsky.social
大規模分散データ処理の世界にいるJavaエンジニアの端くれです。 𝕏: https://twitter.com/aoetk Mastodon: https://fedibird.com/@aoetk (@aoetk.fedibird.com.ap.brid.gy) Threads: https://www.threads.net/@aoetakashi (@aoetakashi.threads.net.ap.brid.gy) Blog: https://aoe-tk.hatenablog.com/
@msakai.threads.net.ap.brid.gy
[bridged from https://threads.net/@msakai/ on the fediverse by https://fed.brid.gy/ ]
@aoetakashi.threads.net.ap.brid.gy
大規模分散データ処理の世界にいるJavaエンジニアの端くれのつもりですが、最近はPython使うことが多かったりします。 Twitter: @aoetk Mastodon: @aoetk@fedibird.com [bridged from https://threads.net/@aoetakashi/ on the fediverse by https://fed.brid.gy/ ]
@shibbysays.bsky.social
Hypnodomme and erotic audio artist. Owner of many pets. Find my stuff at https://shibbydex.com. Support me on patreon.com/ShibbySays
@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
@szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)