Alcides Fonseca @alcides
Typing types. Associate Professor at the University of Lisbon. alcidesfonseca.com Lisbon, Portugal Joined April 2007-
Tweets2K
-
Followers2K
-
Following3K
-
Likes11K
@MechanizeWork In person is a deal-breaker
0
0
1
112
0
View Details
Alcides Fonseca retweeted
I'm looking for a postdoc to work on Separation Logic in Lean. Position in the London Meta office, in the new AI Verification team. Possibly collaborating with or building on external work on CSLib, Iris-Lean and loom.@AIatMeta @leanprover metacareers.com/profile/job_de…
Alcides Fonseca retweeted
Need a summer project? A friend has built a new non-profit program for undergrad, masters, PhD students and recent grads to build fun, impactful projects with public and private sector mentors this summer. It’s free, and open to anyone: hackyoursummer.org Please share!
@ShriramKMurthi @headinthebox Neither are very poignant. (A reference to _why, for the young folks out there)
@headinthebox @ShriramKMurthi Or a love program. Some poets prefer curly braces.
Alcides Fonseca retweeted
I am looking to hire 1-2 interns to work with me in Tokyo at RIKEN, starting October 2026. Topics are in intersection of optimization, DL and Bayesian methods. The internships are fully funded. More details here, please share with interested students: moellenh.github.io/variational.ht…
@LakeShowYo 35-18-9 because there will be 1 or 2 OTs
@simonw has detected another AI inflation point. My thoughts on its implications on the economy of tokens: wiki.alcidesfonseca.com/blog/llm-april…
May SGA get two technicals for flopping in the first quarter.
Querido Dios del basket: que los Spurs ganen hoy, amén.
Alcides Fonseca retweeted
What about this one
Mason Plumlee’s (SAS) foul against Jared McCain (OKC) at 1:39 of the 4th quarter in Game 5 of the Western Conference Finals on 5/26/26 has been upgraded to a Flagrant 1 after league review. nba.com/watch/video/sa…
@PradyuPrasad You can include me in the list.
Alcides Fonseca retweeted
Secure Program Synthesis Fellowship: Applications open. Jun-Sep 2026. Remote, part-time. 14 mentors incl. Erik Meijer & Shriram Krishnamurthi. With Atlas Computing. Apply by May 31: linktr.ee/apartresearch
@jointhebridge Expertise in Logic-based safety for guaranteed ai guardrails (unlike LLM-based guardrails).
Alcides Fonseca retweeted
The Summer of AI Research 2026 is now accepting applications! Work on an open science AI research project between July 13 and August 16. In this fully online event we invite people with little research experience to contribute to open source under the mentorship of experienced researchers.
Se eu tivesse conta no polymarket metia 20 euros em como vão despedir 20% dos trabalhadores em 2027.
A Noesis (@Noesis_Portugal) ultrapassa os 80M€ pela primeira vez e atinge 82M€ em 2025. Dos mais de 1.300 colaboradores, 1.200 estão em Portugal, com a abertura de novos escritórios na Guarda e Castelo Branco. 💼 #TechPT #TI
Alcides Fonseca retweeted
Ha, ha, this has little to do with learning. I effortlessly passed a lot of humanities courses in high-school and college with top grades by simply writing exactly what the teacher wanted to hear, unrelated to what I thought of the topic myself. You should use the same strategy when you write self- or peer-reviews, pitch decks, submit to a particular conference, … if you want to move fast, use sycophancy to trick the gatekeepers. So perhaps it was about learning after all, but at the meta level. And who said LLMs do not have sentience when clearly they learned this approach faster than most of us humans.
For example, in one assignment I asked students to imagine themselves as a Gilded Age laborer – they could choose U.S. born, immigrant, or child – and write from that perspective a letter or diary entry that explained their day-to-day life, their challenges, their fears, and
Alcides Fonseca retweeted
this is KD joining the warriors for people who know linear algebra
SITUATION DETECTED: Andrej @karpathy has joined Anthropic.
Alcides Fonseca retweeted
4 speakers. 5 demo builders. Expect a room full of energy tomorrow with @joaofogoncalves · @pcbo · @MGasperowicz · @fr4nnyp4ck from @cursor_ai Lisbon, this one's yours 🖤 luma.com/7avug0w2 w/ @pixlsandpeople @touchgrassklub @unicornflisboa @monk_io @CTOPortugal
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Yuri Lavinas @yurilav... @yurilavinas
569 Followers 299 Following Associate Professor at @UTCapitole, Toulouse, France. PhD from the @UNIV_TSUKUBA_EN, Japan. Bachelor in computer science from the @UnbCic
CarolaDoerr @CarolaDoerr19
954 Followers 392 Following CNRS research director at LIP6, Sorbonne University, Paris. Interested in black-box optimization (theory, benchmarking, and applications)
Guannan Wei @GuannanWei
2K Followers 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social; Programming languages, formal methods, software engineering.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Marcel Böhme👨�... @mboehme_
7K Followers 1K Following Software Security Group @maxplanckpress PhD @NUSComputing, Singapore Research Group: https://t.co/BRnFNNh6d9
David Ramalho @dramalho
2K Followers 3K Following Geek, father of two humanoids. ex-Idiot abroad 🇮🇪❤️ I fail where others succeed - 👷 https://t.co/PSAQvFGmHy https://t.co/4oesDS1WHL https://t.co/E2NzNAaK7j
Maurício Aniche @mauricioaniche
12K Followers 4K Following CTO @ Alura, ex-{Uber, Adyen, TU Delft, Locaweb}, author of https://t.co/WUAKj72qHb, once in top 20 list of most prolific young researchers in SE
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Aidan Yang @AidanZHYang
634 Followers 541 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
silicognition @silicognition
700 Followers 817 Following research intern (interpretability) @ai4bharat / ex-intern @SarvamAI (dubbing) / beep boop engineering undergrad '28 / 2006 born semi-adult entj
Ariel Monica @ariel45moon
144 Followers 169 Following Soy tú ratoncita 🐭🧀 inofensiva ✨ SUSCRIBETE a mi telegram VIP ✨ exclusivo ve todos mis videos completos perversos 👀😅🤪😋 servicios en CDMX y en otros estado
cammy said oops @CliffClaymore
5 Followers 1K Following loud thoughts, quiet girl 💭 100% follow back
Ricardo Inacio @ricardoinacioas
60 Followers 117 Following Mestre em Ciência da Computação pela Universidade Estadual de Londrina. Adorador de jogos, tabuleiro e video games. Atleticano fanático.
Kumar Garg @KumarAGarg
38K Followers 41K Following 8 yrs @WHOSTP44, 7 yrs with @EricSchmidt, now leading @RenPhilanthropy. https://t.co/ftaXIKFiAb
Malik Piara @casapiara
348 Followers 870 Following Building products that foster connection, enable learning and create more access to opportunities. @LisboaUX @LisboaJS_ @LogicolaThree @AdamastorHQ
Alejandrina GR 🇲�... @alejandrina_gr
8K Followers 4K Following Building something new. Mexican. Magician 🪄. Triathlete. ZFellow. @Stanford CS/AI + Philosophy.
Yoichi Hirai @pirapira
3K Followers 1K Following interested in computation and some logics. https://t.co/V3hvWhmV8T
Cláudio Lemos @_claudiolemos
16 Followers 96 Following building @tensoropsai out of lisbon 🤖🧠 ceo and co-founder
Martinho Correia de M... @Martinho_cm
337 Followers 389 Following Pre-seed and Seed at @ByndVc | Making @lisbonai_
Pedro Martins @nikuscs
11K Followers 3K Following 🇵🇹 Doing stuff. Typescript, React, AI . Building : https://t.co/DILygdVkQj, https://t.co/HzLd4WBtMX, https://t.co/DZo2ZCRQUn, https://t.co/czk5c7iPs0
tsingkeᅠᅠᅠᅠ�... @QK_Zhang
22 Followers 382 Following
The Institute for App... @apoth3osis_io
218 Followers 496 Following Non-profit R&D organization. Thesis: When a mathematical structure is correctly identified, catalogued, and harnessed, it performs computational work for 'free'
duve @jevonduve
364 Followers 370 Following logics and categories. like to play with dependent types. 23. vegan. penn. @logic_int
Espen from @MakePlans @Espen_Antonsen
692 Followers 739 Following I make https://t.co/x7QXVwHB4r 📅 Online booking for appointments, classes and events 📅 I like SaaS, Ruby & food.
ricardo @leeavemealonee
75 Followers 211 Following
Toni Lynn @ToniLyn00n
1K Followers 3K Following
Teamlyzer @teamlyzer
991 Followers 1K Following Descobre como são as entrevistas e o trabalho nas empresas de TI em Portugal. Plataforma livre e independente para informáticos.
João Cezar de Castro... @JCezarCastro
4K Followers 7K Following Esquerdista ( Socialista ) Filiado ao PT desde 01/01/1.983.
Alberto Tonda @alberto_tonda
94 Followers 99 Following Senior permanent researcher (DR2) at @INRAE_France. Machine learning, evolutionary computation, modeling. Main applications to food science and industry.
Miguel Gamboa @gamboacarvalho
113 Followers 198 Following Pa*3 + Programmer + Professor → Paranoia^2
Will Hawkins @hawkinsw
1K Followers 3K Following he/him/his. Trying to do the right thing in spite of my obvious limitations.
Roberto Di Cosmo @rdicosmo
5K Followers 5K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
Vanessa Radford @VanessaRadford6
2K Followers 3K Following
Daniel Lemire @lemire
36K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers. Father, husband.
David Moon @dm_0ney
1K Followers 1K Following PhD @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO
Arukeido @TheArukeido
7 Followers 192 Following Cumpliendo el sueño de ser streamer 🤪 o intentarlo jajaja stremeo en Tiktok y Twitch, Cosas del mundo de videojuegos y vídeo clips de mis partidas 👾
Dominik Tornow @DominikTornow
12K Followers 588 Following Founder @resonatehqio | Distributed Async Await | Think Distributed Systems | https://t.co/TQGtUTQMvY
Dorothy @DiogzDorothy
313 Followers 2K Following Simple people talk about people. Amazing people talk about ideas & life.
Meta Prime 8 @metaprime8
664 Followers 843 Following Neque est alter hujus universi locus quam anima
Gonçalo @goncalossilva
2K Followers 196 Following Building @doist @todoist @twistwork. CTO. Programmer. Portuguese. 🇵🇹
Iterators @iteratorshq
218 Followers 333 Following We Make Ideas Happen #iteratorshq #softwaredevelopment #mobileapps #ux #ui #startups #scala
Vicente Reyes @vreyespue
71 Followers 362 Following 👨💻 software/data engineer 😎 science&tech enthusiast
Carlos Santos @csantos
1K Followers 758 Following Docente no DeCA, Universidade de Aveiro Diretor do Mestrado em Comunicação e Tecnologias Web
I07XNbUI4 @DeepFeed2
44 Followers 7K Following
llvmvsllm @llvmvsllm
52 Followers 1K Following
Bogdan "Bo" Stoica �... @CacheMisses
299 Followers 720 Following Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Retweets are not endorsements.
zF4ke @zF4ked
53 Followers 178 Following just a little bit of magic to end the world https://t.co/YzwSXYsWiV
wuc9521 @wuc9521
85 Followers 1K Following
Aposta Ganhar @GolosEscanteios
135 Followers 2K Following
PPSN 2026 @ppsn2026
30 Followers 94 Following 19th International Conference on Parallel Problem Solving From Nature August 29 - September 2, 2026 Trento, Italy
Alexandre Lemos @lexandrelemos
601 Followers 807 Following
Marc Gris @MarcGris2
99 Followers 1K Following Software & Data Engineer - Lover of Strong Types & All things FP - Former professional Musician - and… (humbly aspiring) Philosopher
Rohin Manvi @rohin_manvi
986 Followers 384 Following phd @berkeley_ai w/ @svlevine, prev undergrad @stanford @stanfordailab
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Celso Martinho @celso
9K Followers 20 Following 👶 From when Mosaic took over Gopher 🏢 VP of Engineering @cloudflare 🦋 https://t.co/Ymq10xTmlO
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Yuri Lavinas @yurilav... @yurilavinas
569 Followers 299 Following Associate Professor at @UTCapitole, Toulouse, France. PhD from the @UNIV_TSUKUBA_EN, Japan. Bachelor in computer science from the @UnbCic
CarolaDoerr @CarolaDoerr19
954 Followers 392 Following CNRS research director at LIP6, Sorbonne University, Paris. Interested in black-box optimization (theory, benchmarking, and applications)
Anastasiia Gaidashenk... @avgaydashenko
378 Followers 222 Following AI Safety → LLM research. Prev @farairesearch (Office of CEO / Tech PjM). Master's in AI Governance @TU_Muenchen. Ex Yandex.
Rosie will be at Less... @RosieCampbell
8K Followers 1K Following Forever expanding my nerd/bimbo Pareto frontier. AI welfare 🤝 AI safety. Managing Director @eleosai, Ex-OpenAI, 2024 @rootsofprogress fellow
Ai2 @allen_ai
84K Followers 438 Following Breakthrough AI to solve the world's biggest problems. › Join us: https://t.co/MjUpZpKPXJ › Newsletter: https://t.co/k9gGznstwj
rod @rodfernn
1K Followers 762 Following scan my brain | co-founder @augustalabs, prev. ceo team @swordhealth
Eleos AI Research @eleosai
2K Followers 52 Following Understanding and preparing for potential AI sentience and welfare.
TensorTonic @TensorTonic
8K Followers 1 Following Run ML & GPU algorithms in cloud-native sandbox at https://t.co/jni5KcSizC
silicognition @silicognition
700 Followers 817 Following research intern (interpretability) @ai4bharat / ex-intern @SarvamAI (dubbing) / beep boop engineering undergrad '28 / 2006 born semi-adult entj
Bogdan Ionut Cirstea @BogdanIonutCir2
2K Followers 3K Following Automated/strongly-augmented AI safety research. Past: AI safety independent research and field-building - ML4Good, AGISF; ML academia (PhD, postdoc).
Andy Wang @andyw_ais
500 Followers 104 Following Technical Research @METR_Evals, AI Safety Research @ Astra @UWCDIS
JetBrains @jetbrains
212K Followers 54 Following On a mission to make software development a more productive and enjoyable experience. Make it happen. With Code.
Apart Research @apartresearch
1K Followers 27 Following Apart Research works on technical AI safety problems and runs events & fellowships to reduce AI risk.
Eleftheria Batsou @BatsouElef
56K Followers 704 Following 💼 Developer Advocate @zeropsio, @uptimerobot 🎤International MC/host 📩I help businesses & individuals to grow on X. DM me 💻Meetup Organizer | Public Speaker
Aniket @Aniket1836020
100 Followers 51 Following AI/ML | Research | PhD Guidance Simplifying research, papers & real-world ML
Dr. Maro @oanuyah
387 Followers 490 Following Computer Science PhD | Researcher @Microsoft | HCI/AI Scientist
Noah Ziems @NoahZiems
4K Followers 2K Following Applied Research @PrimeIntellect. Prev @MIT_CSAIL under @lateinteraction, PhD @NotreDame
Thinking Machines @thinkymachines
154K Followers 1 Following Thinking, beeping, and booping. @tinkerapi
Rosmine @rosmine
3K Followers 567 Following Independent researcher | AI advisor | Distribution Fine Tuning (DFT) for better LLM writing quality
Rémi Leblond @RemiLeblond
2K Followers 161 Following Research Scientist @GoogleDeepMind. #Gemini, #AlphaCode, #AlphaStar. Working on solving hard problems with ML. Contrary to popular opinion, not AI-generated!
Thomas G. Dietterich @tdietterich
62K Followers 650 Following University Distinguished Professor (Emeritus), Oregon State Univ.; Former President, AAAI; Currently Chair CS Section of ArXiv
Ryan Carson @ryancarson
183K Followers 16K Following Dad, Dev, CEO, 4x Founder. Building @HelloUntangle
Jonas Nelle @jonas_nelle
2K Followers 892 Following Building @cursor_ai, prev building digital robots @autotabai @ycombinator S23, @harvard '22, @zfellows, prod 1
Jens Palsberg @jenspalsberg
22 Followers 1 Following
Renaissance Philanthr... @RenPhilanthropy
3K Followers 184 Following Fueling a 21st century renaissance by increasing the ambition of philanthropists, scientists, and innovators.
Kumar Garg @KumarAGarg
38K Followers 41K Following 8 yrs @WHOSTP44, 7 yrs with @EricSchmidt, now leading @RenPhilanthropy. https://t.co/ftaXIKFiAb
DeepComputing @DeepComputingio
1K Followers 276 Following Official account of DeepComputing. Turning RISC-V into Reality! Our community: https://t.co/lPorkbQNdN
⿻ Audrey Tang 唐�... @audreyt
276K Followers 214 Following 🇹🇼 Cyber Ambassador, 1st Digital Minister (2016-2024) & 🌐 1st 🏳️⚧️ cabinet minister.
Gary Marcus @GaryMarcus
226K Followers 7K Following OG GenAI Skeptic; spoke at US Senate. Warned about hallucinations in 2001. Advocating world models & neurosymbolic AI ever since. Author, Marcus on AI & 6 books
Malik Piara @casapiara
348 Followers 870 Following Building products that foster connection, enable learning and create more access to opportunities. @LisboaUX @LisboaJS_ @LogicolaThree @AdamastorHQ
Marcelo Lebre @marcelolebre
8K Followers 869 Following building global payroll infrastructure, co-founder & president @remote
Iain Dunning @iaindunning
12K Followers 506 Following Head of AI @ HRT (@WeAreHRT), Chairman @ New York Transit Museum, Friend of Riverside Park Conservancy
Jiayi Weng @Trinkle23897
12K Followers 183 Following MTS @openai, author of the entire post-training RL infra, core contributor of ChatGPT/GPT4/GPT4o etc. 30U30
Jannik @jannik_stra
3K Followers 326 Following Leading Engineering @PrimeIntellect - Building open superintelligence infrastructure
AI Now Institute @AINowInstitute
58K Followers 1K Following The AI Now Institute produces diagnosis and actionable policy research on artificial intelligence.
Shiyi Zoe Du @zzzoooeee321
446 Followers 192 Following PhD stu at @SCSatCMU working on Agentic RL / AI4Science | AI research intern at Arm | Ex intern/ra at Shanghai AI Lab, West China Hospital, Johns Hopkins U
Sudip Roy @sudip_r0y
2K Followers 128 Following Cofounder & CTO @ Adaption — building efficient AI that learns continuously
Laude Institute @LaudeInstitute
4K Followers 374 Following Laude Institute backs computer science researchers turning research into real-world impact. // @LaudeVentures
Unconventional AI @unconvAI
5K Followers 1 Following Unconventional AI is rethinking the foundations of a computer to bring biology-scale efficiency to artificial intelligence.
DealflowES @dealflowes
3K Followers 1 Following A weekly newsletter to follow the Spanish startup, VC and tech ecosystem. By @jaimenovoa
Prior Labs @prior_labs
2K Followers 13 Following Building foundation models for tabular data. We're hiring: https://t.co/RH6VHsy5EB
AI Socratic @AISocraticOrg
23 Followers 2 Following We're a community of top-tier engineers, founders, and researchers focused on advancing AI
Alejandrina GR 🇲�... @alejandrina_gr
8K Followers 4K Following Building something new. Mexican. Magician 🪄. Triathlete. ZFellow. @Stanford CS/AI + Philosophy.
Bolt Graphics @boltgraphics
3K Followers 68 Following building next-generation GPUs focused on Path Tracing, HPC, and gaming. based in Sunnyvale CA 🇺🇸🇺🇸🇺🇸
ali @endingwithali
30K Followers 444 Following software engineer - content creator @ https://t.co/4vI4dOxzmn - threatwire host @hak5 - nyc - MIT - jewish
Delba @delba_oliveira
74K Followers 701 Following Claude Code • @ClaudeDevs @AnthropicAI | Prev. @VercelTrends for United States
You might like
Celso Martinho
@celso
9K Followers
Joe
@alpha_convert
4K Followers
João E. Batista
@JoaoEdBatista
196 Followers
Konstantinos Kallas
@KonsKallas
1K Followers
Alexandra Silva
@alexandra8silva
2K Followers
Pedro Abreu
@p_droabreu0
1K Followers
Benjamin Júnior
@bjunior
1K Followers
Rafael Jegundo
@rjegundo
1K Followers
José Carlos Joaquim
@jjoaquim
691 Followers
Pedro Sousa
@psousa
994 Followers