Code and sleep @codeandsleep
low latency guy San Francisco, CA Joined June 2009-
Tweets4K
-
Followers175
-
Following2K
-
Likes10K
Code and sleep retweeted
Opus 5.5 is the result of your feedback. It communicates clearly, it's cheaper per token than Opus 5.0 with the intelligence of Fable 5.1, it’s very token efficient and works across every effort level. We're also increasing 5h rate limits & giving you a banked reset.
Introducing Claude Opus 5.5, the first model in our new Claude 5.5 family. It performs at the level of Claude Fable 5.1 for most tasks, and costs 40% less to run than Opus 5.
3K
9K
94K
23.5M
13K
Code and sleep retweeted
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?
Crazy prediction from 2021: in 5 years you'll be programming in a terminal and switching between multiple sessions. Not gonna happen, of course.
@rosslazer Google is a toothless tiger
@GergelyOrosz What are they, like 5?
@adeoressi One hell of an open space.
Code and sleep retweeted
@arvidkahl Perfectly fine in good tools
Code and sleep retweeted
It snowed in San Francisco in 1976
Where has snow fallen at any point since 1940?
@platoff Так везде и всегда платят за решение проблем. Его и надо пушить. Проблема если этого навыка нет.
@gunnarmorling this does not work if you use claude code in the cloud)
@WarrenPies Should have been inflation adjusted
@nastyhobbit Опять же не в динамике цен дело
@nastyhobbit Т.Е. это проблема не цен а конкуренции и ее отсутствия
@nastyhobbit Не вижу в чем проблема с убером
Warren Pies Private @WarrenPiesPvt
8K Followers 251 Following Market intelligence for discerning minds. Deep stock research, price action, and timely insights-shared selectively with trusted few. MAIN PAGE: @warrenpies
M. V Cunha✪ @Mvclnvestling
2K Followers 3K Following Long-term investor. BSc in Economics, MSc in Finance. Equity Analyst with a focus on Fundamental Analysis and Valuation. Not a financial advisor.
AnastelleStone @Nuna8316458
20 Followers 376 Following Choosing happiness every day Sharing kindness wherever I go.
David Dalcu @ddalcu
2K Followers 798 Following I build OpenSource things, local LLM engines & UI’s. Created https://t.co/qxuPXH75o1 for Desktop and iOS - https://t.co/nWiKjj7pAt
Tobias Ziegler @Tobias__Ziegler
2K Followers 487 Following Optimizing Distributed (Database) Systems @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.
hualin wu @wu_hualin
8 Followers 911 Following
Seva Ustinov @sevaustinov
1K Followers 1K Following Founder & CEO @ https://t.co/0jzJQcjTtf — AI agents for Google, Meta & TikTok ads; Ad spend under management: $500M/y, next target – $1B; Backed by DVC, Altair, YR
Sir К нига Жа�... @complaints_ru
10K Followers 4K Following Вы оскорблены, унижены, обижены? Нужно выплеснуть свои эмоции? пишите сюда, всех выслушаем
david johnson @Good_will_01
293 Followers 5K Following I’m Dave Johnson, Powerball winner of $298.3M. Giving back $30,000 randomly Main account was hacked this is my official page❤️
Samriddho @sam_ridd_ho
2K Followers 4K Following Building something tacit. Prev built AI agents for GTM (acq. by @oracle) also a close up magician. @ucberkeley 🦁
Vanguard Digital Oil ... @Vanguardio__
200 Followers 5K Following Securing the world's strategic petroleum reserves through institutional-grade custody and management. Applications go live April 7.
AnnCode Solutions @AnncodeHub
915 Followers 6K Following 🚀 Anncode Solutions | Transforming ideas into innovative solutions. Empowering businesses with cutting-edge tech and creative strategies. #Anncode
sagakwong @sagakwong
3 Followers 97 Following Hong Kong & Singapore & US CPA. Company Secretarial, Accounting, Audit, Tax, Immigration @bofacpa.com
ORBYX @orbyx9
134 Followers 708 Following Living Intelligence. Worn. A privacy-first smart wearables. Designed for modern cognitive load.
Gwen (Chen) Shapira @gwenshap
30K Followers 11K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cp
Jeffrey Emanuel @doodlestein
50K Followers 14K Following Former Quant Investor | My Open Source Projects: https://t.co/9qbOCDlaqM | Try https://t.co/oCtjI2mBIl , my collection of agent coding tooling.
Pat Corwin @pat_corwin15254
131 Followers 5K Following
No_titles33 @No_titles33
1K Followers 1K Following Family, God, Country, single s, enjoy sports, love my church, Love good wine, ! Love to travel. Love to invest.
Taylor Salazar @TaylorMsalazar
34 Followers 316 Following
Matthew@Public @BuildwithPublic
2K Followers 3K Following Director of API trading @Public Helping traders build better execution infrastructures on our API. Not financial advice.
𝕖𝕝𝕝𝕒.🌨 @btsmasjimin
1K Followers 3K Following Law of Conservation of Energy: Energy cannot be created or destroyed — only transformed.🔺
Hamdan Bin Mohammed F... @HamdanBinFaz3mo
3 Followers 25 Following standing tall is not just about standing for yourself…
SwagMaster @Diego_Velasco2
64 Followers 399 Following
Ivan Tert @ivantert
107 Followers 617 Following
Mikhail Batin @MikhailBatin
2K Followers 2K Following What do you think is the most underestimated task in life extension? I tried to answer this question in the book Transhumanism. See link below
Rohit Korrapolu @ReddyKorrapolu
100 Followers 1K Following Training orbital small models to power soul conversations 🦀 ( https://t.co/pkqBxm1iEk • https://t.co/594brJknLr )
BuffettStyle🇺🇸 @Irhouju15893
52 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
スマホで簡単投... @Peanal6997
58 Followers 2K Following 【完全無料】 25年の株式投資プロチーム（運用資産500億円以上）が提供：毎日の市場分析レポート ＋ 優良成長株のピックアップ。プロの情報を無料で。まずはお気軽にお問い合わせください。
Johnpaul West-McLaugh... @WestJohnpa52976
44 Followers 3K Following
Sidhartha Mani @utter_babbage
933 Followers 3K Following Co-founder & CEO, https://t.co/pMpcUygqvZ | prev. Apple Containers, MinIO, Kubernetes, Docker
Yuri Trukhin @trukhinyuri
399 Followers 695 Following Yuri Trukhin on Software Director of Infrastructure | CloudLinux Inc
🦙🎇🌉🏗️�... @UplandMetanomy
1K Followers 7K Following 🏡 #MetaverseNFT 🪙⛏️ 🧩 https://t.co/QlNPvpkMdf 🇩🇪🇬🇧 🇯🇵🗾🇫🇷 🏁 🇧🇷 🧢🐲🇵🇹 @FIFAe ⚽️🥅 @afa🇦🇷 🐐🏆🏟️ 🦩 🦙@UplandMe 🇺🇸🌉 🍏 ⛓️ 🕸️3⃣ #Web3 🥽
🧠 Ahmet KALAYCI �... @akalayci34
3K Followers 7K Following @agenticarcstra #AgenticAI #CoordinationCapital Pine roars with boughs 𐰴𐰍𐰣 #MetaWeb🕸️3⃣ الزهور https://t.co/pf4d9J6h1g 🦊🪙⛓️🏦🥽
Ytwoucaw @Ytwoucaw382836
22 Followers 587 Following
Dmitry /Undefined Beh... @Nekrolm
7K Followers 367 Following ex-AWS CloudFront. VP в банке. C/C++, Rust, Гитарные каверы средней паршивости std::raise(SIGSEGV)
Marty Kovacek @MartyK91503
41 Followers 807 Following
Rivet @rivet_dev
5K Followers 2 Following infrastructure for the agentic era. Orchestrate agents. Operate their environment. Automate workloads. Deploy what they build.
Anemll @anemll
5K Followers 819 Following ANEMLL (pronounced like "animal") Artificial Neural Engine Machine Learning Library, Open Source Project
renji @brickroad7
11K Followers 10K Following AI Optimist. Empiricist, not 'rationalist'. Anti world government.
Tim Wijaya @itsTimWijaya
10K Followers 990 Following Tech founder with 300k users and 13m views. Sold my first startup at 24. @BrownUniversity alum.
Nicholas Fabiano, MD @NTFabiano
161K Followers 550 Following Making brain science practical Contact: [email protected]
Tommy Mc @downtoad
265 Followers 309 Following code ninja. intoxicant enthusiast. russian roulette world champion. @a16z @speedrun SR007.
Ivan Velichko @iximiuz
76K Followers 566 Following Software Engineer. Educator. Entrepreneur. Bootstrapping https://t.co/9b6sZ2UVQj - a learning-by-doing platform to master Linux, Containers, and Kubernetes 🚀
“paula” @paularambles
49K Followers 4K Following playing with words. creating whimsical ai @ https://t.co/khnCIsqbhL. built iOS apps @xAI, @Spotify, and co-founded @imagilabs.
Thorsten Ball @thorstenball
54K Followers 1K Following Working on @ampcode. Writing https://t.co/0SZD6dbLes. Once authored https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON.
P Equity Research �... @pequityresearch
55K Followers 847 Following Research 📃 & News 🗞️ | Semiconductors & Tech | Sharing my knowledge & insights with the world 🌍 | Deep dives, research, discord in my substack!📍| PMs Open 👇
OpenFGA @OpenFGA
1K Followers 115 Following A flexible Fine-Grained Authorization system inspired by Google's Zanzibar, designed for reliability and low latency at scale. @CloudNativeFdn Incubation proj.
фронтенд пу... @Kotkoa
1K Followers 745 Following Програмист и строитель – живу в 🇪🇸 Испании. Делаю евроремонт в своей квартире. Машинист электрички. Frontend engineer: https://t.co/e06UntEDFe
0xfufu @0xfufu_d667
2K Followers 769 Following 我爱fufu！ 分享23岁的退休生活 长住酒店的酒店爱好者 全职交易员 只会hello world的cs本 舒适旅行专家 电子硬件发烧友
Mahesh Sathiamoorthy @madiator
17K Followers 2K Following CEO @bespokelabsai. RL/Envs/Posttraining/Agents. Created Generative Retrieval at @GoogleDeepMind.
Dr. Alok Kanojia @HealthyGamerGG
116K Followers 859 Following I’m Dr. K. Harvard-trained psychiatrist, creator & owner of Healthy Gamer 💚 mental health resources for modern life.
Ammanichanda @Arkasiraee
9K Followers 395 Following I write about engineering Industrial Systems | Energy | Aviation | Metallurgy | Defense
Phoenix Yin @Phoenixyin13
21K Followers 962 Following 🇺🇸 04美本 | 计算机科学&认知科学 ⚙️AI, cognition, crypto, and the future of intelligence. ✨相信好奇心驱动。相信人永远可塑。
Mirai Labs @trymirai
1K Followers 33 Following Frontier on-device AI lab. Models, runtime & infrastructure to make on-device AI interactive, ambient & continuous.
DevOps ToolBox @devopstoolbox
3K Followers 179 Following You are absolutely, 100% correct. My instructions were bad. I am so sorry. You are 100% right to be angry. I have been completely and utterly wrong.
Oren Yomtov @orenyomtov
5K Followers 2K Following security researcher; RSAC, Black Hat, and DEF CON (2 times) speaker
Alok @analogalok
6K Followers 235 Following Mechatronics Engineer AI belongs on your device. • Offline inference • No subscriptions. Teaching you to own your AI Intelligence Stack
Mike Taylor @hammer_mt
11K Followers 4K Following 🧪 Head of Evals @Every 📕 O'Reilly author: Prompt Engineering & DSPy 🎓 400k students on AI Udemy course 🤖 AI engineer since 2020 📈 Built a 50 person agency
Ethan ZumBrunnen @Zumbrunnenethan
45 Followers 156 Following ⚓️Student at The United States Naval Academy 🛩️🚀Aero/AstroSpace Engineering Major ✈️Private Pilot 🪂Skydiver 🚀High Powered Rocket Designer WebApp Developer
Salesforce @salesforce
583K Followers 203 Following Salesforce is the #1 Agentic CRM — bringing humans, agents, and platforms together to drive customer success. Tweet @AskSalesforce for help.
Diogo Almeida @CompleteSkeptic
144K Followers 94 Following Sane + 🌶️ takes in an insane AI world... AI capabilities researcher: co-created RLHF/ChatGPT @ @openai now trying to right the wrong 🤭 (ceo @typesafeai)
Teva Pharmaceuticals @TevaUSA
11K Followers 1K Following We’re a leading innovative biopharmaceutical company, enabled by a world-class generics business. Guidelines: https://t.co/sOC1rpJ9tr
boris @boristane
19K Followers 3K Following chief on-call officer @polylanehq | prev @cloudflaredev, @baselimehq (acq), physicist
Πλάτων @platoff
5K Followers 4K Following инженер-алхимик // COMPVTO·ERGO·SVM Consurgite, fabri. Aedificate, create. Ex nihilo aedificium surgat… ∴ dum gigno, consumo; dum deleo, creo
Peter Wang @BrainsAndTennis
13K Followers 248 Following Founding scientist @fundamental co-founder and chief science officer @tryshortcutai
cocktail peanut @cocktailpeanut
36K Followers 31 Following Creator https://t.co/Wgwpl7lJ4I, run AI apps on your local PC, for free.
Vlad Berrry @vgrichina
18K Followers 5K Following Building https://t.co/whXujeyMNt Play old games on https://t.co/JXbGRXZwFx @club_homebrew member.
gabriel @gabriel1
125K Followers 606 Following co-founder @getenergy_, previously research at @OpenAI & @midjourney solving future of computer work with @getenergy_
Side Pulse @SidePulse
320 Followers 17 Following Ambient display for the MacBook Pro SD Card slot. Shows AI Agent Status, battery… Shipping now.
Kyle ✌🏻❤️ @kylecoolky
1K Followers 1K Following Apple nerd, EV/AV Research Analyst, 10 year Tesla shareholder, ‘22 Model 3 Long Range AWD 🏳️🌈 Use this link when ordering for free Tesla perks⇩
Abril Zucchi @abrilzucchi
51K Followers 4K Following growth fundamentalist, part-time shitposter and sometimes writer. member of staff @usecorgi.
Roberto Nickson @rpnickson
60K Followers 1K Following Forever exploring the world of technology and creativity.
Evan Hubinger @EvanHub
60K Followers 4K Following Alignment Science lead @AnthropicAI. Opinions my own. Previously: MIRI, OpenAI, Google, Yelp, Ripple. (he/him/his)
Kenton Varda @KentonVarda
21K Followers 295 Following Tech lead for @Cloudflare Workers, https://t.co/bFUDCZ7BUc, https://t.co/Hjf1slmJqs, https://t.co/oIKxYZA4LW. 🦋 https://t.co/8QKY5gf1BK
Trian Xylouris @TrianX
78 Followers 192 Following deep learning | math phd | record holder for linniks' theorem on prime numbers (https://t.co/M21Z09pjdm)You might like
alireza from🇮🇷
@alirezanamazi53
102 Followers
alex
@zmjios
27 Followers
heitham
@heitham
353 Followers
A.Caleb
@city_pabs
566 Followers
TonyLiu
@TonyLiu41092016
6 Followers
Shantaram Kokate
@shantaram10
52 Followers
Rahul Dev
@meetrahuldev
2K Followers