Lorenz Leutgeb
PhD student in Automation of Logic at Max Planck Institute for Informatics
@iohkcharles.bsky.social
CEO of Ethereum. SpaceX. First of his name. Advisor to Trump 47. 8830 AC64 17F2 5164 195C 05DE 21E3 E377 13E1 5586
@linuxfoundation.org
A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
@martinthuer.at
Journalist • Reisender • I've got opinions. Facts, too. Foto: Thomas Wunderlich
@web3isgoinggreat.com
tracking only some of the many disasters happening in crypto, defi, NFTs, and other blockchain-based projects since 2021 • created by @molly.wiki web3isgoinggreat.com
@josh.powerlanguage.co.uk
I created Place and The Button @reddit. And more recently Wordle. www.powerlanguage.co.uk
@tiktokinvestors.bsky.social
We curate cringy & funny financial social media content. We are NOT affiliated with TikTok. Posts belong to respective owners. Voted #1 hedge fund.
@githubnext.com
We are a team of researchers and engineers at GitHub who prototype the future of software development. Projects: https://githubnext.com Discord: https://gh.io/next-discord
@peterfilzmaier.bsky.social
digital immigrant | sports only | private account Politikwissenschaftler, doch der Bubentraum war Sportreporter! Sorry, nur privat zum Thema Sport hier. Sportblog https://atemlos.at/
@nycmesh.bsky.social
Community Internet- nycmesh.net We are a diverse group of volunteers dedicated to ending the digital divide and extending high-speed, reliable internet to all New Yorkers.
@randomlywalking.bsky.social
Research Scientist, Google DeepMind / Ex-academic / Deep learning to help people write code / ❤️s:🐱🐶☕️🍕
@determinate.systems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪 https://determinate.systems
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@tonofcrates.bsky.social
@maxschrems.bsky.social
(Luckily not only) Law, Privacy and Politics. #ScheißDaNix 🇦🇹🇪🇺🏳️🌈🇺🇳
@energy-charts.bsky.social
Senior Scientist Fraunhofer-Institut für Solare Energiesysteme ISE https://www.energy-charts.info https://www.ise.fraunhofer.de Impressum: https://ise.fraunhofer.de/de/impressum.html
@hbarbosa.bsky.social
SMT solving for fun and profit. https://hanielbarbosa.com/ Also, movies. https://hanielbarbosa.com/filminhos/
@theowinterhalter.bsky.social
INRIA researcher, dependent types and proof assistants. https://theowinterhalter.github.io/
@letztegenerationat.bsky.social
Wir alle sind die #LetzteGeneration, die den absoluten Klimakollaps noch aufhalten kann. Alle Infos: http://letztegeneration.at/ Unterstütze uns jetzt: http://letztegeneration.at/spenden
@heyandras.dev
Trying to make servers & self-hosting mainstream again by building a free, open-source & self-hostable Heroku / Netlify / Vercel alternative: coolify.io 🔴 Live: heyandras.dev/live 💬 Community: discord.gg/coolify (11k+) 😱 serverlesshorrors.com
@amasad.bsky.social
@lawchenmann.bsky.social
DPO, Privacy, AI, TechLaw | Attorney | Partner @ BHO Legal | Publisher of "Formularhandbuch Datenschutzrecht" | #TeamDatenschutz | Further interests: #TeamWagner, Biking, Sumo Wrestling
@victortaelin.bsky.social
@nikitabier.bsky.social
I make apps grow really fast. founder of gas (acq by discord), founder of tbh (acq by facebook), ex-new products at meta
@adfc.de
Dieser Account ist inaktiv. Folgt uns gerne auf unseren anderen Kanälen: http://adfc.de/socialmedia 🚲🧡
@kayoyin.bsky.social
PhD student at UC Berkeley. NLP for signed languages and LLM interpretability. kayoyin.github.io 🏂🎹🚵♀️🥋
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@geekspace9.bsky.social
Focus. Result. Scaling. Ein neues digitales Produkt entwickeln, alte Systeme modernisieren, IT skalieren oder Daten für AI vorbereiten: Mit uns!
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@techemails.bsky.social
Internal tech industry emails that surface in public records. 🔍 https://techemails.com