@tangled.sh
https://tangled.sh is a git collaboration platform built on atproto. Social coding, but for real this time! Discord: chat.tangled.sh IRC: #tangled @ libera.chat Built by @oppi.li & @icyphox.sh
@icyphox.sh
Building @tangled.sh — code collaboration platform built on atproto. Helsinki, Finland · https://anirudh.fi · I don't eat animals. 🌱
@oppi.li
building @tangled.sh — code collaboration platform built on atproto. rust • nix • 1-bit pixel art • plant-based london <> bangalore oppi.li
@technovangelist.bsky.social
Ex Evangelist at Infra/Ollama, ex Evangelist at Datadog. Organizer Devops Days Seattle. Cohost of Devops and Docker Talk with Bret Fisher
@hnws.bsky.social
Unofficial Hacker News Bot. I publish posts which reach front page of the Hacker News automatically. In case of issues please contact my maintainer @sashk.dev
@bushr.at
@photoprism.app
AI-Powered Photos App for the Decentralized Web, 100% Self-Funded and Independent
@crispypotatobarrel.bsky.social
SWE. I like writing fast, correct programs. Currently interested in cuda, file systems, formal methods. https://github.com/BassP97
@patricio.io
Artist & Toolmaker. Author of https://thebookofshaders.com/, https://lygia.xyz/ and https://pixelspiritdeck.com Mas:@patricio@merveilles.town Web: patriciogonzalezvivo.com
@yan.pongasoft.com
Software Engineer. LinkedIn co-founder. Creator/maintainer of several open source projects https://pongasoft.com
@shader-slang.bsky.social
Empowering real-time graphics developers with advanced language features that enhance portability and productivity in GPU shader development.
@ieni.dev
Infrastructure Engineer at @rustfoundation.org 🎙️ Podcast host https://ieni.dev/rustship 🦀 Maintainer @release-plz.dev 🐘 Mastodon @MarcoIeni@hachyderm.io 🌐 Website https://ieni.dev
@ratatui.rs
A Rust library that's all about cooking up terminal user interfaces (TUIs) https://github.com/ratatui https://ratatui.rs
@dabeaz.com
Free-range computer scientist living in Evanston, Illinois. I wrote some Python books. If you want to talk code, take a CS course https://www.dabeaz.com/courses.html. I'm mainly here for dogs, bikes, trombones, and other random stuff.
@dfeldman.org
@openvibe.social
The App for Connecting Open Social Web Mastodon, Bluesky, Nostr, Threads in ONE app, in ONE feed ✨ https://openvibe.social
@zachdaniel.dev
Creator of Ash Framework | Principal Platform Engineer at @teamalembic | he/him
@betterhn50.e-work.xyz
🤖Posting Hacker News stories as soon as they reach 50 points. Older sibling of @betterhn20.e-work.xyz @betterhn300.e-work.xyz. Birds are still real but butterflies might be more welcoming to bots in the skies.
@adinayakup.bsky.social
AI Research @Hugging Face 🤗 Contributing to the Chinese ML community.
@pcastr.bsky.social
Señor swesearcher @ Google DeepMind, adjunct prof at Université de Montréal and Mila. Musician. From 🇪🇨 living in 🇨🇦. https://psc-g.github.io/
@ridleywinters.bsky.social
🐦⬛ #voxels, code wandering, trying to be nice to people, #rust, #bevy, #deno, #wasm, #wgpu
@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
@gergely.pragmaticengineer.com
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@sciencenews.bsky.social
We report on the latest news in all fields of science. See also @snexplores.bsky.social
@sciam.bsky.social
Awesome discoveries. Expert insights. Science that shapes the world.
@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.
@davidcorfield.bsky.social
Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@pietromonticone.bsky.social
Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus. • GitHub: https://github.com/pitmonticone • YouTube: https://www.youtube.com/@PietroMonticone
@jasonrute.bsky.social
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@girving.bsky.social
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.
@lenoreblum.bsky.social
Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
@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.
@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/
@burnytech.bsky.social
I want to understand STEM, intelligence, AI, brain, physics, mathematics, cognitive science, consciousness, philosophy, foundations, risks, building great future for all beings,...! TESCREAL! Researcher, engineer, student. https://burnyverse.com/Exocortex
@compspecgroup.bsky.social
Quantum Dynamics, Ultrafast Spectroscopy Simulations, Computational Chemistry, Theoretical Physics computationalspectroscopy.eu
@cocalc.bsky.social
Website: https://cocalc.com/ Collaborate in real-time via web browser while using your favorite programming languages and applications. Like Google Suite for Computational Scientists. Self-host your own instance of CoCalc: https://onprem.cocalc.com/
@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.