Camilo Aguilar @c4milo
Moved to BlueSky https://t.co/99G8nxnqVm github.com/c4milo New York, USA Joined May 2009-
Tweets16K
-
Followers2K
-
Following3K
-
Likes78K
@pradeep24 @antirez Does it implement speculative decoding or not yet?
0
0
0
177
0
View Details
@mytechceoo @albertadevs @getaxal TIP: Token Improvement Plan! LOL
@atmoio I had to rewatch it 😂, "my toaster doesn't wonder if you love it..."
Camilo Aguilar retweeted
Claude Mythos is Delusional
Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software. It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans. anthropic.com/glasswing
Camilo Aguilar retweeted
A new milestone in automatic formalization: We translated an entire graduate math textbook into Lean using 30K LLM agents. Open-source, large-scale multi-agent inference that actually works > Blueprint+Lean: faabian.github.io/algebraic-comb… > Codebase+preprint: github.com/facebookresear… 1/7
Camilo Aguilar retweeted
AI is increasingly changing how we do mathematics. Erdős Problem #650, open for over 60 years, was solved a few weeks ago through a collaboration between human mathematicians, an informal reasoning model (GPT 5.4 Pro @OpenAI) and a formal one (Aristotle @HarmonicMath). 🧵
@lennysan Hold my beer says carbonrobotics.com/laserweeder-g2
@leerob same, I’m writing a hypervisor type 2 like firecracker in Go without CGO, and with support also for MacOS VZ. I’m almost done and it has been probably 3 weeks since I started.
MCP’s spec glancing over identity binding to sessions leaves me with a bad taste.
We wrote a bit about how we responded to the #gcp outage at @redpandadata redpanda.com/blog/gcp-outag…
@MarcJBrooker There are 2 rules, no? 1. Multiply SLOs for serial deps 2. Multiply error budgets for parallel deps
@c3l3si4n It seems non functional at the moment but it worked a couple of days ago, nice work!
@Siggis_Man @craigkerstiens Thanks for adding more light. I guess then their approach to architecture isn’t as cellular as AWS’.
@StartupArchive_ This is such as biased advice. It actually hurts quality and productivity: increment.com/teams/the-epis…
@craigkerstiens We all thought that until that outage.
Julián Duque @julian_duque
18K Followers 6K Following AI Advocate | @MuleSoft | @maleja111 husband 💖 | Chaotic Good GM ⚔️ Temple of Baal | He/Him | Opinions are my own | 🇨🇴🇺🇸
Jaana Dogan ヤナ �... @rakyll
167K Followers 1K Following Software Engineer at Google. Simpler platform, better APIs. Simplicity and optimism. Personal opinions.
🕹️ Alexander Gal... @emaxerrno
4K Followers 3K Following Founder & CEO of @RedpandaData. Building the Agentic Data Plane - https://t.co/xyvsqqV5OM. 🇨🇴
Verónica ✨ @maria_fibonacci
15K Followers 1K Following Engineer @multigres (@supabase) 💚 | Tech Lead @ Kubernetes Release Team| yoga teacher | applied mathematician in progress. the limit does not exist ✨
Alvaro Videla - 🇺�... @old_sound
10K Followers 1K Following Local AI. Work at Microsoft. Ex-Apple Applied ML - Ex RabbitMQ core dev - Author - Opinions my own and not those of my employer.
Alex P @ifesdjeen
16K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Stella Miranda @fashionate
4K Followers 1K Following Engineering Leader • MSc in Computer Science • Organizer @RubyConfCo @railsgirlsvan • Ella/She/her • Latina 🇨🇴 in 🇨🇦 • Opinions are my own
Marian Villa 🇨🇴 @Marianvilla
10K Followers 5K Following Devrel @Interledger I GDE Web @googledevs I 👩💼 Community @pionerasdev I 🔺Mentor & Educator 👩🏫 | Prev. @NodeSource @platzi @QoitechWorld
Redpanda Data @redpandadata
5K Followers 181 Following Built to handle the world's most critical data, Redpanda now governs the AI agents that act on it.
Elizabeth R. @eramirem
6K Followers 857 Following Electrical Engineer, Applied Mathematician, ML Engineer, Ramenhead, Noodlebrain, Apartment Bartender 🤓🤖🛰🥊🐶🍜🍸
Henry Robinson @HenryR
7K Followers 468 Following Infrastructure @SlackHQ. Distributed systems engineer. I have of late - but wherefore I know not - lost all my data.
Oscar Barajas Tavares... @gndx
50K Followers 2K Following Software AI Engineer, creando mi primera página web en el 2001 - https://t.co/DJZ64XvQbT 🦞 #JavaScript #buildinpublic #WithAstro #AI - 🇲🇽 🇨🇴
Solomon Hykes @solomonstre
52K Followers 14K Following Making @dagger_io. Before that: founded Docker. "No is temporary, yes is forever".
Khriztian Moreno 👨... @khriztianmoreno
4K Followers 3K Following Educator & Developer 🥑 | #GDE - @GoogleDevExpert 👨🏼💻👩🏻💻
Matteo Collina @matteocollina
57K Followers 4K Following @platformatic Co-Founder & CTO, @nodejs TSC Chair, Lead maintainer @fastifyjs, Board @OpenJSF, Conference Speaker, Ph.D. Past: @nearform. Views are my own.
Tracebit @tracebit_com
333 Followers 4K Following The Assume Breach platform that detects intrusions in seconds. Also on https://t.co/T4VNPGjS2O
Prakash Sangam @MyTechMusings
54K Followers 10K Following Award winning Tech Industry Analyst, @USAToday @Forbes RCR/Fierce & EETime writer, #TantrasMantra host, Quoted on @WSJ @FT @Reuters, Ex @Qualcomm @Ericsson @ATT
fangzhou wang @FangzhouW92771
0 Followers 99 Following
Ivan Prisyazhnyy @joh... @JohnKoepi
884 Followers 407 Following software engineer, distributed systems, open source, linux, cooking, music, and sports. @discuss.systems, @fosstodon.org
God Gifted 🙏. @keshavk99568014
905 Followers 7K Following Mehengaai berojgari Gareebi unprd creminal Gunda Rapist Nashaa Taskari rishwat khori. free india
శ్రీనివ... @srinireddy85
79 Followers 6K Following Learning Machine. Writing is thinking . Pythonista, Engineer, and Software consultant. For hire .
Tobias Ziegler @Tobias__Ziegler
1K Followers 269 Following Optimizing Distributed (Database) Systems @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
Mitchell Franklin @Mitch_UMATR
927 Followers 3K Following Founder of @UMATR_io and Creator of @RustMatters & @ScalaMatters 🦀 Sourcing the best talent across the globe within #Rust, #Scala, and #Python.
Daniela @ADani77972
87 Followers 872 Following
Sylwester Lachiewicz @slachiewicz
278 Followers 5K Following
Lisa Hammack @LHammack98540
3 Followers 163 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/ckjaCoiO8I
George Tsakraklides @99blackbaloons
36K Followers 25K Following Bestselling Substack writer, biologist, author of THE UNHAPPINESS MACHINE. Bioeconomics, Systemic Trauma, Capitalism.
Sairmpes @SairmpeszMY8u
63 Followers 2K Following
Pleaffir @Pleaffirhj0KrH
47 Followers 4K Following
BlancheMaugham @D68wHyiiTZ2J9Yz
71 Followers 7K Following
Dairsoy @DairsoyammVmwS
62 Followers 4K Following
SylviaDunbar @3B5q4jg7E8RR5w
61 Followers 7K Following
Loraine @Photophilelora
58 Followers 2K Following Happiness 🤩 | Spreading love 💚| Living healthy 💪 | Working 👩🏫 I Traveller 🚗| Relaxation 🍷 | Sporting time 🏃♀️| My daily space 📚
Akr B. @CloudDataeng
148 Followers 7K Following Cloud Data Engineering enthusiast | Exploring data pipelines, cloud platforms, and analytics | Lifelong learner 🚀☁️
Duteetaret @DuteetaretcG9X
34 Followers 910 Following
Cicri @CicrixTq
38 Followers 3K Following
RosemaryNell @pf7QsDuQ0UZg6Tc
68 Followers 7K Following
think(x) @thinkx
2K Followers 6K Following Postgres evangelist, open-source ambassador, recovering enterprise architect
Thotouez @Thotouezw9s
38 Followers 3K Following
Ziyaddin Sadygly @ziyaddinsadygly
129 Followers 462 Following Software Engineer · Systems Research / Systems Engineering enthusiast 🦋:https://t.co/lMe0cjY2Vc
Theetho @Theethoire75
88 Followers 2K Following
Elis Ruby @elis_ruby98137
32 Followers 706 Following
Artem Ervits @dbist
512 Followers 766 Following the opinions expressed are strictly my own and not necessarily those of my employer
Desoathysm @desoathysm51076
28 Followers 879 Following
Tessl @tessl_io
1K Followers 177 Following Tessl is a package manager and lifecycle platform for agent skills and context.
après @apres38774
31 Followers 4K Following
jenna @zeigenvector
5K Followers 994 Following frontend performance girlie ⚡️ climbing, cooking, code, crosswords & cog sci 👩🏼💻 she/they 🌿 all cats are beautiful 😻
MavisWalpole @tc2K64rf082JP
11 Followers 1K Following
François Massot 🦀 @FrancoisMassot
2K Followers 2K Following Co-founder @Quickwit_inc, OSS cloud-native search engine for Logs and Traces #rust #maths #chess @[email protected]
Max Morales @MaxMoralesChile
5K Followers 8K Following Copywriter & PR | CEO @andeswines & CMO #AI GreenHouses @ImbertLabs | ex🍷 Wine Specialist #NatGeoExplorer | Veteran’s Business Advisor | Movie Hub in Chile
coroot @corootcom
2 Followers 30 Following Open-source observability platform | Prevent service outages with continuous telemetry audits to pinpoint issues & root causes | Quick setup, no code required
Emily. @nano_bastida
9 Followers 296 Following
Thangamani @thangamanij01
139 Followers 2K Following Software Engineer - Performance & Efficiency @paypal, learner, impatient to patient
LaBrina Loving @chixcancode
4K Followers 2K Following Black Woman saving the world w/ tech | Principal Eng Mgr @Microsoft helping #Startups ❤️ #Azure | @disruptthecloud Co-host | Tweets === mine.
Julián Duque @julian_duque
18K Followers 6K Following AI Advocate | @MuleSoft | @maleja111 husband 💖 | Chaotic Good GM ⚔️ Temple of Baal | He/Him | Opinions are my own | 🇨🇴🇺🇸
Jaana Dogan ヤナ �... @rakyll
167K Followers 1K Following Software Engineer at Google. Simpler platform, better APIs. Simplicity and optimism. Personal opinions.
🕹️ Alexander Gal... @emaxerrno
4K Followers 3K Following Founder & CEO of @RedpandaData. Building the Agentic Data Plane - https://t.co/xyvsqqV5OM. 🇨🇴
Verónica ✨ @maria_fibonacci
15K Followers 1K Following Engineer @multigres (@supabase) 💚 | Tech Lead @ Kubernetes Release Team| yoga teacher | applied mathematician in progress. the limit does not exist ✨
Sarah Drasner @sarah_edo
298K Followers 3K Following Opinions my own Area Tech Lead, AI and Web Ecosystem @chrome, Formerly Sr. Director of Core Infra @google • O'Reilly Author • https://t.co/HhzYWwxYAH
Alvaro Videla - 🇺�... @old_sound
10K Followers 1K Following Local AI. Work at Microsoft. Ex-Apple Applied ML - Ex RabbitMQ core dev - Author - Opinions my own and not those of my employer.
apenwarr @apenwarr
16K Followers 2K Following wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, and now @Tailscale doing WireGuard mesh. Top search result for "epic treatise."
Alex P @ifesdjeen
16K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Stella Miranda @fashionate
4K Followers 1K Following Engineering Leader • MSc in Computer Science • Organizer @RubyConfCo @railsgirlsvan • Ella/She/her • Latina 🇨🇴 in 🇨🇦 • Opinions are my own
Redpanda Data @redpandadata
5K Followers 181 Following Built to handle the world's most critical data, Redpanda now governs the AI agents that act on it.
Jessie Frazelle @jessfraz
133K Followers 258 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
Jarred Sumner @jarredsumner
178K Followers 644 Following building @bunjavascript at @anthropicai. formerly: @stripe (twice) @thielfellowship. high school dropout. npm i -g bun
Kelly Sommers @kellabyte
50K Followers 365 Following 🇨🇦 Backend Brat. Distributed Diva. Relentless Learner.
Erik Meijer @headinthebox
36K Followers 0 Following
Elizabeth R. @eramirem
6K Followers 857 Following Electrical Engineer, Applied Mathematician, ML Engineer, Ramenhead, Noodlebrain, Apartment Bartender 🤓🤖🛰🥊🐶🍜🍸
Luis Serrano @SerranoAcademy
12K Followers 839 Following Author of Grokking Machine Learning, ML and QC popularizer, YouTuber: https://t.co/MGCYjf6M9K, Opinions are my own https://t.co/S1jvXnAa8U
Z.ai @Zai_org
119K Followers 261 Following The AI Lab behind GLM models, dedicated to inspiring the development of AGI to benefit humanity. https://t.co/7a5aSCUNcZ https://t.co/x14hb3klXm
Jonathan Gorard @getjonwithit
46K Followers 18 Following Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
Chris Tate @ctatedev
61K Followers 2K Following @Vercel Labs | Created https://t.co/473Fqx4HKt, https://t.co/ZekOfFeoXF, https://t.co/9MKvOdyxN3, https://t.co/Bnt6dbEdSi, https://t.co/SODeKvPbac | Husband & Dad | He/him | Musician, Space Nerd, Foodie | Vegan
Christian Holler @mozdeco
2K Followers 45 Following Also known as decoder. Firefox Tech Lead and Principal engineer at Mozilla. Fuzzing, lock picking addict, conference speaker, physical security researcher.
Pietro Monticone @PietroMonticone
3K Followers 605 Following AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
Viktor Oddy @viktoroddy
58K Followers 91 Following 🚀 | Founder @ Design Rocket, https://t.co/H4rZk5ZCo0 🤖 | Grab 400+ AI Prompts & Websites
Seth Howes @SethSHowes
9K Followers 781 Following 🩺 doctor defected to tech 👨🏼💻 prev engineer @exolabs | medicine @uniofoxford | ML @imperialcollege
EXO Labs @exolabs
51K Followers 2 Following Frontier AI on local hardware. EXO 1.0 is now open-source (Apache 2.0): https://t.co/SGGGK784Qp
nate parrott @nateparrott
40K Followers 2K Following design @ @anthropicai, previously @browsercompany libposting until further notice
Alex Sexton @SlexAxton
32K Followers 1K Following Fun and cool/strong — onions are my own. Eng @pierrecomputer – prev @stripe @jquery @yayquery
Jacob @fat
39K Followers 795 Following worst engineer at the company, third coolest… created bootstrap 300 years ago… now building things at the Pierre Computer Company.
claire vo 🖤 @clairevo
56K Followers 3K Following building @chatprd • 🎧 host https://t.co/9WUoI4N5GU 👩👦👦 mama 💻 3x CPTO 🧠 pm + eng + ai + startups 😍 @elawless 📱chiefproductofficer on tiktok
Scott Chacon @chacon
17K Followers 1K Following CEO of @gitbutler, cofounder of @SCNE_io, previously cofounder of @github.
GitButler @gitbutler
5K Followers 44 Following The only version control tool built from the ground up for modern, AI-powered workflows.
Paul Solt @PaulSolt
18K Followers 3K Following Building iOS & macOS apps using AI agents (Codex) What works • what breaks • why • ex GoPro, Apple, Microsoft ☕️@BrewCoffeeApp
Lean @leanprover
11K Followers 49 Following Lean is a dependently-typed programming language and theorem prover.
Sam Rose @samwhoo
20K Followers 1K Following That guy who writes visual essays about software at https://t.co/nLO1QnXOPa. Developer Educator @ngrokHQ.
Zane Koch @zanehkoch
4K Followers 357 Following member of technical staff @EdisonSci prev: longevity PhD @UCSanDiego // bioinformatics @loyalfordogs // target ID @matterbio // pathogen ID @TGenResearch
Kinnaird McQuade @kmcquade3
7K Followers 2K Following AI security research. Chief Security Architect @btphantomlabs
Christos Tzamos @ChristosTzamos
23K Followers 138 Following Founding Researcher at Percepta, Associate Professor at University of Athens, Lead Researcher at Archimedes, MIT PhD
Mo @atmoio
72K Followers 18 Following Exploring what AI actually is. Building @shapeworkspace, prev @standardnotes. Talking at https://t.co/814DpgwSzr and https://t.co/vlHyF3gEjn.
LMCache Lab @lmcache
2K Followers 50 Following 🧪 Open-Source Team that maintains LMCache and Production Stack 🤖 Democratizing AI by providing efficient LLM serving for ALL
Yasmine Khosrowshahi @yasminekho
47K Followers 208 Following Founder @Blueticksocial1 | Early-Stage Growth Marketer | I help funds & startups build scalable marketing strategies.
Tanishq Kumar @tanishqkumar07
5K Followers 82 Following CS PhD student @StanfordAILab. prev math undergrad @Harvard.
Avner May @avnermay
1K Followers 249 Following Staff Research Scientist at https://t.co/WEMkSSRVeZ. Formerly research scientist at Google, postdoc at Stanford, and PhD student at Columbia.
Tri Dao @tri_dao
42K Followers 657 Following Asst. Prof @PrincetonCS, Chief Scientist @togethercompute. Machine learning & systems.
Jonathan Chang @j_nadan_chang
4K Followers 580 Following Research Scientist @Databricks. Previously @Cornell. Interested in Reinforcement Learning, Imitation Learning, and Generative Models.
LTX @ltx_model
14K Followers 256 Following This account is no longer active. Please follow @ltx_io for the latest updates.
stdrc @istdrc
10K Followers 652 Following founder of https://t.co/D80NEueS92 @raft_hq | former author of Kimi CLI @Kimi_Moonshot | ex-database kernel engineer @RisingWaveLabs
forloop @forloopcodes
9K Followers 2K Following cargo install safeinstall, お前は tokenmaxxing inferencel looping agents か、あるいは promptchud だ。真実はその中間のどこかにある。雇えるならメールして: [email protected]
Patricia Marins @pati_marins64
403K Followers 768 Following . support my work here 👉🏻 PayPal: [email protected] pix: [email protected] join my Substack: @global21.substack.com
Benji Taylor @benjitaylor
154K Followers 454 Following leading design @x/@xai. prev. head of design @base. founder @family (acq by @aave).
Maybe: Christian Roch... @meowgorithm
2K Followers 399 Following Backward Deployed Engineer • Founder @charmcli • At least 50% notes to self
MiniMax (official) @MiniMax_AI
102K Followers 854 Following Agent: @MiniMaxAgent Token Plan: https://t.co/BDCycxepZw API: https://t.co/fHRdSV7BwZ Community: https://t.co/uhxxfLgkLU
geoff @GeoffreyHuntley
83K Followers 2K Following pondering the ponderoos about AI in application in unhinged ways and doing it. building @latentpatterns and the space loom. i created the “ralph loop”. iykyk
Anthony Morris ツ @amorriscode
31K Followers 2K Following claude code @anthropicAI | ex @stripe → https://t.co/AjndW0qdf0
Anthropic @AnthropicAI
1.5M Followers 2 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
Modal @modal
32K Followers 160 Following AI infrastructure that developers love 💚 Run inference, sandboxes, batch processing, training, and many other things on Modal
Biobot Analytics @BiobotAnalytics
11K Followers 1K Following Public health insights powered by wastewater
Vectara @vectara
6K Followers 2K Following Vectara's AI Assistant/Agent solution is enterprise-ready, focusing on accuracy, explainability of results, and secure access control.You might like
Julián Duque
@julian_duque
18K Followers
MedellinJS
@MedellinJS
8K Followers
J.D. Nicholls is buil...
@jdnichollsc
1K Followers
YuGPT - @yujikiriki@m...
@ykiriki
1K Followers
Khriztian Moreno 👨...
@khriztianmoreno
4K Followers
ॐ Adrián Estrada
@edsadr
2K Followers
Simon Escobar
@sescob27
698 Followers
Juan
@_0x5d
450 Followers
Frank Alejo Betancur ...
@KranK2Me
1K Followers
Sebastian Gomez
@sebasgojs
2K Followers
Yeiner Fernández
@yeinerf
628 Followers