Pablo Parra @parraman.bsky.social Profesor de Sistemas Operativos y Lenguajes de la
@uahes.bsky.social. Aprendiz. Friki. Cuenta personal.
@annaha79.bsky.social @annaha79.bsky.social Really need to be love wolf ๐บlover ๐ฅฐ
WhaleSignals.APP @whalesignalsapp.bsky.social Real-Time Whale Tracking
https://whalesignals.app/
Tracking 200+ elite whales + 10,000 unknown across 11 blockchains
Stop Chasing the Market.
Follow the Whales, avoid losses, and maximize your profits.
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Adriรกn Arroyo Calle @aarroyoc.bsky.social https://adrianistan.eu
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
The Cyber Show UK @cybershowuk.bsky.social Cybersecurity podcast with top guests, events & banter on Dignity, Education, Surveillance State, Tech, Art, AI, Technofascism & more!
Website: cybershow.uk
YouTube: youtube.com/@cybershowuk
Spotify: open.spotify.com/show/0av5zTSOSIuBBtOjqjJWFc
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Handshake (HNS) @handshake.bsky.social The Open Source Rootzone
Protocol: handshake.org
Guides & Docs: https://hsd-dev.org
Telegram: t.me/handshake_hns
Developer's Telegram: t.me/hns_tech
Repo: github.com/handshake-org
#HNS #Handshake #FOSS
Vishal @vishalbelsare.bsky.social 
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Zsolt Istvรกn @zistvan.bsky.social Prof. at the Systems Group at TU Darmstadt
Ferhat Erata @erata.bsky.social PhD student @Yale โข Applied Scientist @AWS AI โข Automated Reasoning โข Neuro-Symbolic AI โข Alignment โข Security & Privacy โข Views my own โข https://ferhat.ai
@agoender.bsky.social @agoender.bsky.social 
BIFOLD Berlin Institute for the Foundations of Learning and Data @bifold.berlin Groundbreaking foundational research in Big Data Management, Machine Learning, and their intersection. #AI #Research
www.bifold.berlin
๐ฐNews: www.bifold.berlin/news-events/news
๐Data Privacy: www.bifold.berlin/data-privacy
Caterina Urban @caterinaurban.bsky.social 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Stefania Dumbrava @sdumbrava.bsky.social 
Luis Saiz @lsaiz.bsky.social Formalized paranoia
Sophia Walls @sophiawalls.bsky.social World Events in real-time: ๐ต ๐ป ๐งฌ ๐บ๐
Business, Tech, Science, Culture and Politics.
Boris Kรถpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
PrologInfo @prologinfo.bsky.social News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond!
A @llaisdy project.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
@jacintodavila.bsky.social @jacintodavila.bsky.social 
Santiago Zanella-Beguelin @xefffffff.bsky.social AI Security & Privacy Researcher at Microsoft.
Opinions are my own.
https://aka.ms/sz
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Sam Thomas @xorpse.ghost.sh Program Analysis / Reverse Engineering
Website: https://xv.ax
Robert @handle.invalid Be Kind ๐ซถ
Politics, comedy, games, books, culture and sports.
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Yilin Xia @yilinxia.com A Graph Farmer ๐งโ๐พ
Ph.D. student #uiuc
Contributor #Logica #ArviZ
yilinxia.com