@agisociety.bsky.social
Hosting the International Conference on Artificial General Intelligence since 2008. Website: https://agi-society.org Conference Discord: https://discord.com/invite/qW7sPHayPR
@dblp.org
#dblp computer science bibliography Schloss #Dagstuhl LZI * Marcel R. Ackermann ~MRA * Florian Reitz ~FR * Michael Ley ~ML #computerscience #research #opendata #knowledgegraph We are also on Mastodon: https://mastodon.social/@dblp
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@compiler-explorer.com
A website for exploring the output of compilers. aka godbolt.org Supports C, C++, Rust, Fortran, COBOL and many many more. Support us at https://patreon.com/mattgodbolt
@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/
@typescriptlang.org
TypeScript is JavaScript with types and type-checking. Compiles down to JavaScript, runs where JavaScript runs.
@typedfemale.bsky.social
@garymarcus.bsky.social
AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley. Newsletter (50k subscribers): garymarcus.substack.com
@rossmon.bsky.social
@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
@tedder.bsky.social
Philosopher. Logician. Canadian in Germany. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
@skipkey.bsky.social
she/they • 28 • OC and Pokemon hobby artist Website: skipkey.art Check my feed or tags ( #art #pokemon ) to browse my posts!
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app