ProvablySafe.AI
Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.com.
https://provablysafe.ai
@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
@ampdot.mesh.host
@ayegill.bsky.social
Applied algebraic abstractologist. Trying to get the heavens into my head. "Elsk, og berik med drøm, alt stort som var. Gå mot det ukjente, fravrist det svar. Ubygde kraftværker, ukjente stjerner - skab dem med skånet livs dristige hjerner"
@rochelle.bsky.social
Powerful Artificial Intelligence is coming. Society is not prepared. FBPE, Scotland, Canada, Humanism, Human Rights, CooperativeAI, Hygge.
@thetetra.space
@carado.moe
@jmateosgarcia.bsky.social
Impact data analyst at Google DeepMind. Interested in AI, economics, complexity, metascience, research methods, science-fiction.
@anayebi.bsky.social
Assistant Professor of Machine Learning, Carnegie Mellon University (CMU) Building a Natural Science of Intelligence 🧠🤖 Prev: ICoN Postdoctoral Fellow @MIT, PhD @Stanford NeuroAILab Personal Website: https://cs.cmu.edu/~anayebi
@edavidds.bsky.social
I like big ideas: Open borders, charter cities, libertarianism, minarchy, ancap, futurism, AI x-risk. Software engineer. UNIX man. Comedy fan. 🇺🇸🗽🌐🇺🇦
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@girving.bsky.social
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.
@str4d.xyz
Cryptography, privacy, zero knowledge, Rust, Zcash dev, gaming, hardware hackery, art appreciation. He/him. https://str4d.xyz https://abyssdomain.expert/@str4d age18f63qx4gk8x7p4lfuwwglqcan7snvp406q5vmk26g9fmpe9c799qqzzr3w
@eprint.ing.bot
Unofficial bot tracking the IACR Cryptology ePrint Archive (eprint.iacr.org). Maintained by @str4d.xyz. Currently only posts about new papers. Author names are linkified to Bluesky accounts (cryptography.social); contact maintainer for inclusion/removal.
@tentacle.expert
i run the piracy feed here: https://bsky.app/profile/did:plc:zvinwh7vy4tjegch2hxvopdd/feed/piracy signal xor.25519
@arxiv-math-at.bsky.social
Mathematics -- Algebraic Topology (math.AT) source: export.arxiv.org/rss/math.AT maintainer: @tmaehara.bsky.social
@graveolens.bsky.social
Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa Psoeppe-Tlaxtlal, (an undreamt splendour?)
@jacksonmorris.bsky.social
Homotopy theorist and friend https://sites.google.com/view/jacksonmorris/
@ideocene.net
MLIS. Multimodal sensemaking theorist/information designer ideocene.net. Liminality/complex systems. Game design (Hawthorn). Editor @ CJILS and https://bylines.scot; admin @ https://fediscience.org. Writer. 🇨🇦 Support: ko-fi.com/ideocene
@yuichiike.bsky.social
sites.google.com/view/yuichi-ike / 超局所層理論，位相的データ解析 (microlocal theory of sheaves, topological data analysis) / 超局所層理論については http://bit.ly/3lIAFe9
@thalesdisciple.bsky.social
Associate professor of mathematics. Hymn aficionado. Large absent-minded spirit. Resist simple narratives. Cultivate an abolitionist imagination.
@tmaehara.bsky.social
https://tmaehara.gitlab.io/; TCS Researcher & ML Engineer. Brilliant British Foods: https://bsky.app/profile/did:plc:dqxsa5cjfrzulhalom4kuyd2/feed/aaaiqwjhlzavy Bluesky Bots https://gitlab.com/tmaehara/bluesky-newsbots
@bmann.ca
Web tinkerer. Pooling capital and collaboration. What if we made things a little bit better? All my social profiles https://bmann.ca #Vancouver #cooking #restaurant #atproto
@orpheuslummis.info
Building software & events for AI safety, collective intelligence, civ resilience – https://orpheuslummis.info – 📍Montréal
@horizonomega.org
Facilitating AI safety R&D through collaboration and operational acceleration https://www.horizonomega.org/
@arendsyl.bsky.social
junior engineer @clever_cloud - problem solver - distributed systems, logic programming, category theory, algebra - I love automating everything - lvl 2 in FP
@timtro.bsky.social
PhD candidate, Applied systems and Category theory, Computational physicist, Functional programmer, Main langs: C++, Python, Haskell. Family man by night.
@emmacphllps.bsky.social
Graph specialist at Desmos Classroom, former math grad student. Likes algebraic topology, category theory, and justice in math.
@metaphusika.bsky.social
Research interests: mathematics (category theory, mathematical logic, etc.), theoretical computer science, philosophy of computation.
@nimarasekh.bsky.social
Mathematician at @unigreifswald.bsky.social QF Fellow at Zaiku Group Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪 He/Him/His Interested in: homotopy theory, category theory, formalization of mathematics, quantum computation https://nimarasekh.github.io
@ngaastue.bsky.social
Kyoto Japan / KU RIMS D1, CS group/ Math, Categorical Logic,Category Theory, Mathematical Logic, Type theory Homepage: https://hayatonasu.github.io/hayatonasu/
@chester-tan.com
PhD Student at https://www.informatik.uni-wuerzburg.de/ml4nets/ Graph Learning, Network Science, Complex Systems, Physics, ...
@dustingetz.bsky.social
CEO Hyperfiddle: a "CRUD spreadsheet" for building serious cloud GUIs, and Electric Clojure, a new web development paradigm w/ compiler-managed FE/BE state sync https://github.com/hyperfiddle/electric
@rossquantum.bsky.social
Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser. Head of Quantum Software @ Quantinuum
@mmbronstein.bsky.social
DeepMind Professor of AI @Oxford Scientific Director @Aithyra Chief Scientist @VantAI ML Lead @ProjectCETI geometric deep learning, graph neural networks, generative models, molecular design, proteins, bio AI, 🐎 🎶
@taliaringer.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
@agentofuser.com
eucatastrophic myobci cyborgist. here for the coherent extrapolated volition. how fast can you take your time, kid?