Luís Caires
I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
@cienciasulisboa.bsky.social
Vem fazer parte da nossa História construindo o teu Futuro! Faculdade de Ciências da Universidade de Lisboa.
@gregisenberg.bsky.social
I build and buy internet companies with strong communities. CEO of Late Checkout, host Startup Ideas Podcast I give free startup ideas
@newyorker.com
Unparalleled reporting and commentary on politics and culture, plus humor and cartoons, fiction and poetry. Get our Daily newsletter: http://nyer.cm/gtI6pVM Follow The New Yorker’s writers and contributors: https://go.bsky.app/Gh5bFwS
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@cmu.edu
At CMU, the (Blue)sky's the limit. United by curiosity and driven by passion, we reach across disciplines, forge new ground and deploy our expertise to make real change that benefits humankind.
@cosmickate.bsky.social
Philosopher of technology, critical to everything AI, amateur climber, plant mother, reading horse (bookworm in Danish)
@claudiajane.bsky.social
IT consultant, translator, photographer, mother, wife. Keen lifelong learner. "Je chante pour moi-même! Et je pense! Il n'est pas défendu de penser!" 🇪🇺🇬🇧🇨🇭🇵🇹 Buckinghamshire, UK
@utwentephilosophy.bsky.social
#Philosophy Section, University of Twente 🇳🇱 📚 MSc Philosophy of Science, Technology & Society #PSTS 🤖 Human/Technology Relations 🧪 Philosophy of Science 👀 Ethics of Technology https://www.utwente.nl/en/bms/phil #Philsky #PhilTech #PhilSci #AIEthics
@perezjorgea.bsky.social
Fundamental Computing (http://rug.nl/fse/fc) University of Groningen (NL) Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/) Father (x2)
@publico.pt
Notícias e opinião de Portugal e do Mundo: publico.pt Siga-nos em: - http://fb.com/publico - instagr.am/publico.pt - https://twitter.com/publico - tiktok.com/@publicopt - threads.net/@publico.pt
@nunomarkl.com
O Homem Que Mordeu o Cão que é também assistente de Taskmaster. Pessoa que escreve, diz coisas. Rabisca ocasionalmente.
@sciam.bsky.social
Awesome discoveries. Expert insights. Science that shapes the world.
@xmal.bsky.social
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/
@antoniolscosta.bsky.social
President of the European Council. Lisbon is my city. Portugal is my country. And Europe is our common home. #ReadyTogether
@luisoliveiraesilva.bsky.social
Professor of Physics @istecnico.bsky.social 'Make It New' & 'Exceder-se de tal forma que não seja possível conceptuar-se' - AML
@nunomgsantos.bsky.social
As sardinhas também choram... Especialista em frangos congelados. System Engineer | Cybersecurity Enthusiast
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@ian.stark.scot
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@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
@gavinbierman.bsky.social
Programming language designer at Oracle; helping to evolve Java. This is my personal account; any opinions expressed are my own.
@seatsixtyone.bsky.social
Mark Smith, the Man in Seat 61, the chap who runs that train travel site http://seat61.com. YouTube: http://youtube.com/c/seat61.
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@theguardian.com
The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com 🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com 🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@rodneyabrooks.bsky.social
Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
@ainowinstitute.bsky.social
The AI Now Institute produces diagnosis and actionable policy research on artificial intelligence. Find us at https://ainowinstitute.org/
@carissaveliz.bsky.social
Associate Professor of Philosophy at the University of Oxford. Author of #PrivacyIsPower (An Economist Book of the Year). Keynote Speaker. Posts about #privacy, #AIethics, #philosophy, #philtech
@vdignum.bsky.social
🇵🇹🇳🇱🇸🇪🇪🇺 Prof #A.I @umeauniversity; member @UN Advisory Group on AI; @wasp_hs; author; speaker; #responsibleAI https://bit.ly/2WxEkQU
@lemonde.fr
« Le Monde » est un journal français fondé par Hubert Beuve-Méry en 1944. C'est aussi un compte Bluesky qui poste l'actualité en continu de façon automatisée.
@sagan.bsky.social
In the Memory of Astronomer, Researcher, Educator, Communicator, Advocate and Activist who taught us importance of understanding Science. We miss you Carl. Tribute account.