@yomoyomo.bsky.social
雑文書き、翻訳者。1973年生まれ。著書に『もうすぐ絶滅するという開かれたウェブについて 続・情報共有の未来』、『情報共有の未来』、訳書に『デジタル音楽の行方』、『Wiki Way』など
@nerdnitetokyo.bsky.social
Bringing you talks on everything imaginable, live in Tokyo. https://tokyo.nerdnite.com/
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@formalland.bsky.social
Formal verification for everyday-life applications We use math to ensure your code has no vulnerabilities For Rust, Solidity, zk circuits. We use Rocq. https://formal.land/
@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
@cspl-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.PL/new List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
@hideokojima.bsky.kojimaproductions.jp
ゲームクリエイター：僕の体の70%は映画でできている Game Creator: 70% of my body is made of movies.
@rdvquantum.bsky.social
Quantum Computing systems, Quantum Internet, quantum education. Caltech, USC, Keio. West Virginia, LA, Kamakura.
@misuzushobo.bsky.social
みすず書房の新刊、既刊、重版などの情報をご紹介します。 1946年創業。ロングセラーの『夜と霧』をはじめ、人文学・社会科学・文芸・自然科学・芸術・歴史・医学に至るまでほぼ文化の全領域にわたり出版を続けています。毎月初旬更新オンラインマガジンWEB「みすず」、無料メール配信のニュースレターもあります。
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@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.
@schrodcatpost.bsky.social
Sharing the latest developments in the world of quantum science. I am not a bot. In the real life, I am Adrien Devolder (@adriendevolder), research associate in quantum control at the University of Toronto.
@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/
@ichirohasuo.bsky.social
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
@univkyoto.bsky.social
京都大学公式Blueskyアカウントです。京都大学のイベント、ニュース、研究成果など「京大の今」をお伝えします。個別のご質問にはお答えできませんのでご了承ください。部局公認アカウントをフォローしていますので、ぜひフォロー中リストもチェックしてください。
@golden-lucky.net
Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
@gfngfn.bsky.social
https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@nikkei-science.com
『日経サイエンス』はNatureの一般向け科学雑誌『SCIENTIFIC AMERICAN』の日本語版。 わかりやすい説明と豊富な図版で，世界の科学ニュース・注目の研究を日本の皆さんにお届けします。 📗https://www.nikkei-science.com/
@zenn-trending.bsky.social
ZennのTech Trendingを1日3回ほどPostする非公式Botです。 GitHub: https://github.com/yuta-hayashi/zenn-trending-bsky-bot 作者: @yuta.run
@github-trending.bsky.social
GitHub trending auto-post bot.No official GitHub product. Made by: @kawamataryo.bsky.social Code: https://github.com/kawamataryo/bsky-github-trending-bot
@automaton-media.com
AUTOMATON（オートマトン）は、今話題のニュースやコミュニティ発のトピックを深掘りし、Veracity in Gaming、すなわち「ゲームと誠実に向き合い、正しく伝えること」をコンセプトとするゲーム情報サイトです。 https://automaton-media.com/
@eff.org
We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at https://eff.org/social. https://eff.org
@frieren.websunday.net
週刊少年サンデー連載中『葬送のフリーレン』（原作：山田鐘人／作画：アベツカサ）の原作公式アカウントです。更新情報などを編集部員がつぶやきます。第14巻&特装版発売中！TVアニメ第2期2026年1月放送。
@rebuild.fm
@safety.bsky.app
Sharing updates about trust and safety on Bluesky. This account’s mentions are not actively monitored. To report a post or account, use the in-app reporting feature. Community Guidelines: https://bsky.social/about/support/community-guidelines
@nytimes.com
In-depth, independent reporting to better understand the world, now on Bluesky. News tips? Share them here: http://nyti.ms/2FVHq9v
@404media.co
it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
@hacker-news-jp.bsky.social
Hacker Newsのトップ記事を日本語翻訳して定期的に投稿するBot。GPT3.5を使って、記事の要約もスレッドに投稿。 Made by: @kawamataryo.bsky.social Code: github.com/kawamataryo/bsky-hacker-news-jp
@hatena-tech.bsky.social
はてなブックマーク テクノロジーのホッテントリを定期的につぶやく非公式のBotです。 Made by: @kawamataryo.bsky.social Code: https://github.com/kawamataryo/bsky-hatena-tech-bot
@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.