← 2026-05-27

Daily Edition

2026-05-28

2026-05-29 →

AI Builders 日报 — 5月28日

追踪 AI 领域真正在做事的人,而不是空谈者。

今日思考

今天的信号非常集中:Anthropic 发布了 Opus 4.8,直接对标 GPT-5.5,并在多个关键基准上实现超越。这是 Claude 系列发布节奏的一次提速——从 4.7 到 4.8 的周期被压缩,功能改进却覆盖了编程、写作、情感智能三条核心赛道。与此同时,Visa 对 Replit 的战略投资揭示了另一条主线:AI Agent 要真正普及,必须解决支付和资金流动问题。2026 年下半年,"Agent 原生基础设施"的竞争正在从模型层扩展到资金层。


产品与发布

Claude Opus 4.8

Anthropic 发布了 Opus 4.8,评价称"本可以直接叫 Opus 5"。在资深工程师基准测试中,Opus 4.8 得 63 分,GPT-5.5 得 62 分,Opus 4.7 仅 33 分——这是 30 分的跨越。写作基准得分 79.6,超越 GPT-5.5 六分,AI 味更少。Fast 模式速度提升 2.5 倍,价格降至三分之一。已登陆 Claude Code(输入 /fast),API 已开放候补。faviconx.com

Replit Canvas

Replit 推出 Canvas,一款 Agent 原生设计工具,可在画布上生成图片、视频、音频并混合 remix,支持拖拽式编辑和协作。Rauchg 评价:"最好的设计工作不在聊天框里完成——你需要空间去探索、创造变体、迭代。" faviconx.com

Vercel CLI 原生二进制

Vercel CLI 现支持实验性原生二进制包,零外部依赖,体积缩小约 80%,启动更快,凭证更安全。Rauchg 透露 Vercel 早在数年前就收购了 pkg 以服务这一愿景,现在"每天听到客户通过 OpenClaw、Claude Code、Codex 接入 Vercel"。faviconx.com

ChatGDPR on Replit

Replit 开发者构建了 ChatGDPR,称"终于有了一种安全使用 AI 的方式"。faviconx.com


观点与判断

Amasad (Replit CEO)

Visa 是 Replit 的重度企业客户(1000+ 员工使用),也是战略投资人。此次合作将扩展至 R&D,目标是为开发者打造"用 Agent 移动资金"的无缝体验。Amasad 表示:"我们多年来一直痴迷于可编程价值,进行过若干集成支付的早期实验,但当时时机未到。与 Visa 合作给了我们实现这个梦想的机会。" faviconx.com

Alex Albert (Anthropic)

Opus 4.8 重点改进了思考努力校准。Anthropic 团队在发版后向用户征集"思考过多或过少"的案例,以继续优化模型。faviconx.com

Garry Tan (Y Combinator CEO)

YC 展示了 Paper Club 线下读书会,首期视频将上传 YouTube。Garry 表示 YC 正在资助大量 PhD 研究者,"这对行业很重要"。关于 AI 与就业,他援引澳大利亚 CSIRO 研究指出:"采用 AI 的企业发布职位数量更多,要求技能更广——AI 正在创造就业,而非取代。" faviconx.com

swyx (AI Engineering)

与 ACM 主席会面,宣布 AIE 会议论文和 OpEx 演讲将亮相 aiDotEngineer 会议,并暗示可设立"AI 工程 Turing 奖"。同时分享了 Latent Space 对 Cerebras M.1/XS.2 技术报告的深度解析。faviconx.com

Peter Yang

反思 HTML 幻灯片的局限:手动编辑困难、无法协作、P图定位麻烦。判断"HTML 幻灯片适合个人演示,不适合团队协作"。faviconx.com

Rauchg (Vercel CEO)

亲历团队用 AI 设计静态稿,然后在 WebGPU shaders 中一天内实现出来。"2026 年的软件开发怎么会不让人兴奋?你可以直接交付漂亮的东西。" faviconx.com


技术动态

Yann LeCun (Meta)

Meta AI 宣布 ATLAS:迄今最大规模的自动化数学形式化项目之一。将 25 本以上数学教材的命题和证明用 Lean 4 形式化,共 50 万行代码,对外开放贡献。同时发布了 stable-worldmodel 开源平台,面向 JEPA 和世界模型研究。faviconx.com

Yann LeCun (Meta)

Aleph Prover 形式化了 OpenAI 对保罗·埃尔多斯平面单位距离问题的证伪,将其作为开源发布,供研究者检验和复现。faviconx.com

X / Twitter

64
petergyang
petergyang @petergyang
Never manually create slides again.

Here's a quick video showing how you can use my /slides skill to create a beautiful animated presentation in minutes.

HTML really is the solution to everything.

📌 Watch the full tutorial here: https://youtu.be/vbChRIIlSPE


Peter Yang: I got tired of making PowerPoint slides so I built an AI skill to do it for me.

Here's my new tutorial on how to build a /slides skill that turns a rough outline into a beautiful HTML deck in minutes.

I walk through how to:

→ Use 12 slide formats and 3 templates
→ Add live
petergyang
petergyang @petergyang
Retweeted
Peter Yang Peter Yang
Never manually create slides again.
Here's a quick video showing how you can use my /slides skill to create a beautiful animated presentation in minutes.
HTML really is the solution to everything.
📌 Watch the full tutorial here: https://youtu.be/vbChRIIlSPE
Peter Yang: I got tired of making PowerPoint slides so I built an AI skill to do it for me.
Here's my new tutorial on how to build a /slides skill that turns a rough outline into a beautiful HTML deck in minutes.
I walk through how to:
→ Use 12 slide formats and 3 templates
→ Add live
petergyang
petergyang @petergyang
Retweeted
Sarah Yang Sarah Yang
HTML is becoming the new way of expression
Peter Yang: Never manually create slides again.
Here's a quick video showing how you can use my /slides skill to create a beautiful animated presentation in minutes.
HTML really is the solution to everything.
📌 Watch the full tutorial here: https://youtu.be/vbChRIIlSPE
garrytan
garrytan @garrytan
Retweeted
Tyler Bosmeny Tyler Bosmeny
YC is quietly building a counter-drone ecosystem.
@PerseusDefense - Guided missiles to shoot down drones
@9Mothers - AI machine guns to shoot down drones
@surtrdefense - Open OS that fuses every sensor into one threat picture
Milliray - Spots drones too small for legacy systems
Arlo Industries - Passive aerial sensing mesh for drone detection
Three years ago, I couldn't get the best defense founders to apply. Now I can barely keep up 🇺🇸💪🇺🇸
garrytan
garrytan @garrytan
Retweeted
Jelani Nelson Jelani Nelson
As I pointed out back in January: many UC Regents spoke in favor of keeping the SAT on May 21, 2020, only to unanimously vote to ban it later in the same meeting. They succumbed to the fad of the moment, despite the taskforce report the UC itself commissioned showing that it was a bad idea (https://senate.universityofcalifornia.edu/_files/committees/sttf/sttf-report.pdf).
Neetu Arnold: University of California STEM professors want standardized tests back due to severe math deficiencies among students:
“We now observe preparation gaps so severe that instructors must reteach middle school mathematics”
“The current admissions metric, based primarily on GPA &
gdb
gdb @gdb
please report any ChatGPT bugs in the thread below — team (and codex) working super hard to resolve them:

Justin: Every bug in @ChatGPTapp is getting fixed

With the help of codex (and the rest of the lovely team and their codexes) along with a 7pm iced americano there will be zero bugs

This is a formal request for tiny nits, error states, broken ui, etc

The tinier the better!
ylecun
ylecun @ylecun
Retweeted
Cuckturd Cuckturd
Elon Musk: If Kamala wins she'll hide the Epstein files, & be a threat to democracy.
If Trump wins he'll release the Epstein files, & focus on the people.
This idiot has NEVER been right about anything. 👇
drfeifei
drfeifei @drfeifei
It’s a real honor to receive an honorary doctorate of science from @BrownUniversity . 😍


Brown University: At its 258th Commencement on Sunday, Brown conferred honorary doctorates on six candidates who have achieved great distinction in a variety of fields, including economics, civil rights, artificial intelligence, national security, business and community leadership.
garrytan
garrytan @garrytan
Retweeted
AI Will AI Will
🤯 Y Combinator 的 CEO,回斯坦福上了一堂课。
课程标题:一个创始人,如何变成 1000 倍工程师。
他讲的不是预测。
是他过去六个月,一个人亲手做出来的事。
为什么这堂课值得认真看👇
ylecun
ylecun @ylecun
Retweeted
Kosta Derpanis (sabbatical in Zurich) Kosta Derpanis (sabbatical in Zurich)
.@ylecun making his usual impassioned case for LLMs and RL 🍒 for world models ... just kidding 🤓
Thanks Yann for the thought-provoking talk.
ylecun
ylecun @ylecun
Retweeted
Yann LeCun Yann LeCun
Re @Nature NSF secretly blocking grants to Duke, Harvard, Yale, Princeton ...
And they will call that meritocracy 🙄🤬
swyx
swyx @swyx
Retweeted
Leonie Leonie
Took some inspiration from @vboykis and converted my first ever talk into a blog post.
I talk about the role of agentic search in context engineering.
Together we build an intuition on the strengths and weaknesses of a selection of search tools.
🔗 https://leoniemonigatti.com/blog/agentic-search-for-context-engineering.html
AI Engineer: Agentic Search for Context Engineering
@helloiamleonie's hot take: context engineering is about 80% agentic search. The arrow from context sources to context window is doing most of the work.
https://www.youtube.com/watch?v=ynJyIKwjonM
The workshop covers the full tool landscape: shell tools,
amasad
amasad @amasad
ChatEU

jordwalke: Built ChatGDPR on Replit. Finally, a safe way to use AI.

amasad
amasad @amasad
Retweeted
Andrey X Andrey X
A few months ago I was sitting on a bench in Tel Aviv with a colleague, and an older Israeli man came up to us and asked if he can sit with us. We said yes, so he asked what we were working on. We said we're making a film about the West Bank.
"What do you think about the Arabs?", he asked. Instead of answering, I asked what he thought.
"A good Arab is a dead Arab", he answered.
This was said 5 minutes into the conversation, to a complete stranger. This is a normal thing to say in Israeli society, even in the hyper-liberal Tel Aviv.
Zachary Foster: Israeli Jewish society in a nutshell:
She turns to me & says: "Netanya is a very good place to live in, because the mayor doesn't let Arabs rent apartments here."
@the_andrey_x "That threw me for a loop...the fact that you can say this to a person that you don't know &
garrytan
garrytan @garrytan
Retweeted
Leila Clark Leila Clark
Everyone is ragging on Jared for this, but he’s absolutely right
AI agents *are* incredibly productive with prod db access.
If you’re a vibe coder with no idea how a database works, this is obviously insane. But if you’re a professional software engineer and systems thinker like Jared, you’ve already set up guardrails and best practices so your agent doesn’t do anything bad.
eg you probably have backups, you’ve set up docs/an md file to define prohibited actions, you probably use an ORM defined in code… and if an incident happens, you do a post mortem and figure out how to improve your system
This is all stuff we’ve been doing for decades. And Claude is much smarter than the average new dev!
Jared Friedman: One night I quietly gave our AI agent full access to YC's production database. It made the agent 10x more useful. That's what convinced me that trust-by-default is the only way to get the most out of agents.
garrytan
garrytan @garrytan
Retweeted
T Wolf 🌁 T Wolf 🌁
My son got a scholarship to a private high school 3 years ago. He's about to take the SAT and is in AP Physics and Calculus. He's thinking about majoring in Applied Mathematics. He would stand out because he actually learned it with no grade inflation. Skies the limit.
Neetu Arnold: University of California STEM professors want standardized tests back due to severe math deficiencies among students:
“We now observe preparation gaps so severe that instructors must reteach middle school mathematics”
“The current admissions metric, based primarily on GPA &
amasad
amasad @amasad
Retweeted
TechCrunch TechCrunch
Visa invests in Replit to power agentic payments for developers https://techcrunch.com/2026/05/28/visa-invests-in-replit-to-power-agentic-payments-for-developers/?utm_source=dlvr.it&utm_medium=twitter
swyx
swyx @swyx
Retweeted
Udayan Walvekar Udayan Walvekar
AIE Singapore was a blast. Met so many great people, one of them was @swyx. This man doesn't know that he's made it 💙.
amasad
amasad @amasad
Retweeted
Techmeme Techmeme
Visa makes an undisclosed investment in Replit; the two will explore how Replit developers can use Visa Intelligent Commerce and the Trusted Agent Protocol (@indianidle / TechCrunch)
(Visit Techmeme dot com for the link and full context!)
ylecun
ylecun @ylecun
Retweeted
Jared Ryan Sears Jared Ryan Sears
Economy then vs now:
GDP growth:
2024 2.8%
2026 1.6%
Inflation:
2024 2.9%
2026 3.8%
Wages:
2024 rising faster than inflation
2026 rising slower than inflation
Unemployment rate:
2024 4%
2026 4.3%
Jobs added per month:
2024 >120,000
2026 76,000
Jobs vs Unemployed:
2024 7.6 million job openings vs 6.9 million unemployed
2026 6.8 million job openings vs 7.2 million unemployed
National Debt
2024 $35.5 trillion
2026 $39 trillion
Deficit
2024 $1.8 trillion
2026 CBO projection $2 trillion
Uninsured Americans:
2024 27 million
2026 CBO projection 30 million
Gas prices per gallon:
December 2024 ~$3.00
Today $4.43
ylecun
ylecun @ylecun
Retweeted
Charles Arnal Charles Arnal
Our team at @AIatMeta is excited to announce ATLAS: one of the largest automated formalization efforts to date.
ATLAS contains Lean 4 formalizations of both statements and proofs from 25+ mathematics textbooks, spanning dozens of domains, for a total of 500k lines of code. We are also releasing a flexible formalization harness and a companion paper.
External contributions are welcome!
Joint work spearheaded by our amazing PhD student Ahmad Rammal (@Ahmad3Rammal), together with Niket Patel (@niketnpatel ), Fabian Gloeckle (@FabianGloeckle), Amaury Hayat (@Amaury_Hayat), Remi Munos (@MunosRemi), Julia Kempe (@KempeLab), Vivien Cabannes, and myself from @AIatMeta, @NYUDataScience , and Ecole des Ponts. This is an ongoing effort; more details in the thread below.
(1/9)
petergyang
petergyang @petergyang
I love making presentations via HTML but tbh there are still a few issues:

1. Can't easily edit slides manually and have to resort to giving AI feedback instead.

2. Can't easily collaborate with others on slides (e.g., can't comment on specific slides or control read/edit permissions)

3. Pasting and positioning images is still kind of annoying.

So I think html slides are great for solo presentations, not so much for team collaboration.

Peter Yang: I got tired of making PowerPoint slides so I built an AI skill to do it for me.

Here's my new tutorial on how to build a /slides skill that turns a rough outline into a beautiful HTML deck in minutes.

I walk through how to:

→ Use 12 slide formats and 3 templates
→ Add live
ylecun
ylecun @ylecun
Retweeted
Gavin Newsom Gavin Newsom
This week alone:
DOJ opens an investigation into the woman Trump raped.
The White House is caught steering a $620 million contract to Don Jr.’s firm.
The Pentagon hands out a $10 billion contract after Trump buys stock in the company.
Foreign governments are caught funneling hundreds of millions into a random JPMorgan account tied to Trump’s “Board of Peace” with no oversight.
It’s just Thursday.
The corruption isn’t hidden anymore. It’s happening out in the open.
garrytan
garrytan @garrytan
The UC system should do the same. It's time.

Steve McGuire: Yale fully reinstates its pre-pandemic SAT/ACT requirement in admissions.

“These test scores are strong predictors of a student’s future Yale academic performance, and there is evidence that they are less subject to bias than other elements of an application.”

ylecun
ylecun @ylecun
Retweeted
Lucas Maes Lucas Maes
Would you like to join the research effort on JEPA and World Models easily?
After a full year of hard work, we’re excited to finally release stable-worldmodel:
an open-source, scalable platform built to accelerate JEPA & World Model research!
📄: http://github.com/galilai-group/stable-worldmodel
garrytan
garrytan @garrytan
Retweeted
Nick Bilton Nick Bilton
It's the honor of my career to become the executive producer of 60 Minutes. I just shared the note below with the incredible staff and can't wait to get started.
garrytan
garrytan @garrytan
Retweeted
Steve McGuire Steve McGuire
Update: More than 800 UC faculty have signed this letter, including:
-7/9 UC math department chairs
-37 other STEM department chairs
-1 engineering dean
Yale went back to requiring the SAT. UC should too.
Steve McGuire: "Current admissions practices do not provide a sufficiently reliable check on mathematical readiness for STEM majors."
Over 280 University of California STEM faculty have signed an open letter calling on the Board of Regents to reinstate standardized testing in admissions:
amasad
amasad @amasad
Thrilled to partner with Visa to invent the future of agentic payments.

Visa is a large Replit enterprise customer where 1,000+ employees use Replit, and they’re also a strategic investor in Replit.

Today we’re expanding this partnership to R&D to make it seamless for developers to move money with agents.

At Replit we’ve been obsessed with programmable value for years and ran a few experiments on how to integrate payments deeply into the modern coding and AI stack, but it was too early.

Partnering with Visa will give us the opportunity to deliver on this dream.

TechCrunch: Visa invests in Replit to power agentic payments for developers https://techcrunch.com/2026/05/28/visa-invests-in-replit-to-power-agentic-payments-for-developers/?utm_source=dlvr.it&utm_medium=twitter
rauchg
rauchg @rauchg
Retweeted
jules jules
5 things @rauchg does differently
> counts every keystroke he types per day
> built a tool that lets him retroactively screen-record bugs
> gives feedback in v0 instead of writing it out
> gets a full company brain dump from an agent every Monday
> doesn't keep a to do list
rauchg
rauchg @rauchg
I watched the team dream up a static design with AI, then bring it to life in WebGPU shaders in less than a day.

How can you not be excited about software development in 2026 😁 You can just ship beautiful things.

http://nextjs.org/nights
garrytan
garrytan @garrytan
Retweeted
Kane 謝凱堯 Kane 謝凱堯
It’s telling which departments are able to tell when differences in student intelligence affect learning (math, sciences, engineering), and which are not (apparently all the others)
Steve McGuire: Update: More than 800 UC faculty have signed this letter, including:
-7/9 UC math department chairs
-37 other STEM department chairs
-1 engineering dean
Yale went back to requiring the SAT. UC should too.
alexalbert__
alexalbert__ @alexalbert__
Excited to release Opus 4.8 today! We heard your feedback on 4.7 and have made many fixes for 4.8.

4.8 understands nuances better, feels much more natural to talk to, and is overall a stronger collaborator on everything from coding to knowledge work.

Claude: Introducing Claude Opus 4.8: it builds on Opus 4.7 with sharper judgment, more honesty about its own progress, and the ability to work independently for longer than its predecessors.

Available today at the same price.

alexalbert__
alexalbert__ @alexalbert__
Retweeted
Dan Shipper 📧 Dan Shipper 📧
BREAKING:
Anthropic just dropped Opus 4.8—and it is a MONSTER
We've been testing for about a week @every and our verdict is they could've just called it Opus 5, it's that good.
Here's our vibe check:
- Beats GPT-5.5 on Senior Engineer bench. On our toughest benchmark Opus 4.8 scores a 63—a hair higher than GPT-5.5's score of 62, and a full 30 points higher than Opus 4.7. It tackled a ground-up rewrite of a production codebase, and actually built something that works.
HOWEVER: Coding performance varied a lot at different reasoning levels. We recommend using it on xhigh for best results.
- Incredibly good writer. Opus 4.8 scored a 79.6 on our writing benchmark—measuring models on real-world writing tasks we do all of the time like essay writing, promo email writing, and more. It beats GPT-5.5 by 6 points. It produces well-written prose with fewer "AI-isms". It's also very good at writing in your voice given the right context.
HOWEVER: Writing performance also varied with reasoning levels. Medium reasoning had higher incidence of AI-isms—we found best results with high.
- Beast at knowledge work. Opus 4.8 is very good at general knowledge work tasks like report creation, research and more. It produced the best PowerPoint one-shot we've ever seen on our deck generation benchmark.
- Emotionally intelligent, willing to question the frame. I've also found it to be quite good at talking through psychological or interpersonal issues. It has a high EQ, and it's also good at not glazing and helping to expand your perspective. Its thought process feels extremely rich and dynamic.
THE BAD:
These days a model is only as good as its harness, and Codex is still a far superior harness to the Claude Desktop app. This has kept me using Codex + GPT-5.5 as my daily driver, but I am flipping back and forth a lot more between Codex and Claude.
Anthropic is back baby!
Read the rest on @every:
https://every.to/vibe-check/opus-4-8-vibecheck
swyx
swyx @swyx
"Developers can update Claude’s instructions mid-task without breaking the prompt cache or routing the update through a user turn"

wtf? how??


Claude: Introducing Claude Opus 4.8: it builds on Opus 4.7 with sharper judgment, more honesty about its own progress, and the ability to work independently for longer than its predecessors.

Available today at the same price.

garrytan
garrytan @garrytan
Retweeted
Ankit Gupta Ankit Gupta
entertaining that model launch posts seem to avoid using the same benchmarks as their competitor's last model release.
Here are the models eval'd in today's Opus 4.8 and 4 weeks ago's GPT 5.5
gdb
gdb @gdb
How @CGRTeams is working with @OpenAI to improve motorsports performance:

OpenAI: R&D Part 1: Here to Win

alexalbert__
alexalbert__ @alexalbert__
Fast mode for Opus 4.8 is much more affordable now.

Try it out in Claude Code, I've found it changes how I use Claude. Fast mode for interactive work where I want rapid responses, normal mode for longer async tasks where I don't need results right away.

Claude: Fast mode is available for Opus 4.8. It's the same model at roughly 2.5x the speed, and we've made it three times cheaper than before.

Turn it on with /fast in Claude Code. On the API, contact your account manager to request access or join the waitlist: http://claude.com/fast-mode
alexalbert__
alexalbert__ @alexalbert__
We put a lot of work into calibrating thinking effort for Opus 4.8.

As you're trying out the model, if you do run into any examples of it still over/under thinking, please flag it to us!

kipply: hello beloved tasteful users, do you like how much claude thinks on your tasks? would love examples of it thinking too much or too little
garrytan
garrytan @garrytan
Retweeted
Garrett Langley Garrett Langley
In tech, we obsess over certain numbers. Users. Revenue. Growth. The one I think about most is 10,000. That's how many missing people @Flock_Safety helped first responders find last year.
If I told you their names, you wouldn't recognize most of them. For me, that matters.
Whether someone makes the news shouldn't decide whether they have every resource they need to make it home.
Yesterday, a 12-year-old girl from Georgia, missing since Thursday, was found in Florida with Flock and was reunited with her family. Sheriff Krockum said it best: "This is what Flock was designed for."
10,000 is a floor, not a ceiling. Every new “user” is an officer in one community that can help an officer in another if one of their people goes missing. Scale users. Scale safe returns. That's the only growth metric I care about.
rauchg
rauchg @rauchg
Excellent model, particularly impressive in visual tasks. Give it a try

v0: You can now use Claude Opus 4.8 in v0.

Try it at https://v0.app

garrytan
garrytan @garrytan
Circleback has better speaker identification and screen information extraction than Granola

Worth switching if you haven't yet

Circleback: Circleback now captures details from what's shared on screen during your meetings.

Slides, dashboards, timelines, docs. Every important detail makes it into your notes, whether said or shown.

garrytan
garrytan @garrytan
California won't be saved on its own. It requires a few heroes, and so we made a list.

Garry's List: 🏛️ Introducing the first-ever Garry's List Civic Impact Awards.

Hundreds of nominations from GL members across California. 10 categories. One question: who's actually doing the work to make California politics accessible?

Voting is open now. Cast your ballot 👇
claudeai
claudeai @claudeai
Before we ship a new model, these teams try to break it.

They build with it, push it to its limits, and tell us where it falls short. What they find makes the final model better.
amasad
amasad @amasad
Retweeted
Zhen Li Zhen Li
Hey mom, I’m on TV!
Combining frontier models from @claudeai with frontier agents at @Replit helped us discover a lot before major model releases, and helped us keep improving the agent experience for users.
Trying to break models is fun.
Claude: Before we ship a new model, these teams try to break it.
They build with it, push it to its limits, and tell us where it falls short. What they find makes the final model better.
garrytan
garrytan @garrytan
Build your own Jarvis with OC/Hermes+GBrain

Sergio Duran: I turned my Ray-Ban Meta into a voice interface for my own AI brain.
I talk → transcribes → routes to my Jarvis (OpenClaw + Hermes + GBrain) → answers with full context.
It knew my repo and my commit hash. Built in a day.
GBrain is unreal 🧠👓 (building in public) @garrytan
garrytan
garrytan @garrytan
Bars
garrytan
garrytan @garrytan
Re We had fun with a long disclosure song as required by the absurd and random SF law passed by Aaron Peskin, the guy who blocked all housing in San Francisco
ylecun
ylecun @ylecun
Retweeted
Logical Intelligence Logical Intelligence
NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem.
We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result.
See it here: https://logicalintelligence.com/blog/aleph-prover-erdos-disproof-lean-4-formal-methods
OpenAI: Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that
swyx
swyx @swyx
Retweeted
Eiso Kant Eiso Kant
Loving the @latentspacepod breakdown of our Laguna M.1/XS.2 Technical Report! The Latent Space paper club just did a deep dive, and their takeaways perfectly capture what we set out to build with our Model Factory. A few quotes from the video 🧵👇 (1/6)
https://youtu.be/QLfZamyMls0
amasad
amasad @amasad
Retweeted
Replit ⠕ Replit ⠕
The best design work doesn't happen in a chat box. You need space to explore ideas, create variants, and iterate
Meet the new Replit Canvas
Your agentic design tool to build beautiful websites, apps, marketing assets and more
garrytan
garrytan @garrytan
Jo uses GBrain under the hood and this is one of the fastest ways to get a personal AI or company brain working for you

Personal AI is here

Kevin Li: Every AI tool just waits for you to type a prompt. For the last year we built the opposite: an assistant that already did the thing before you wake up.

Here's what that looks like in a real family. Mine. 👇

amasad
amasad @amasad
Retweeted
Vaibhav Kumar Vaibhav Kumar
I designed and shipped my UI identification game using Canvas, will share a walkthrough soon!
Replit ⠕: The best design work doesn't happen in a chat box. You need space to explore ideas, create variants, and iterate
Meet the new Replit Canvas
Your agentic design tool to build beautiful websites, apps, marketing assets and more
rauchg
rauchg @rauchg
Vercel CLI as a self-updating binary with zero external dependencies.

Our CLI is one of the key interfaces enabling the 'cloud for agents'. This solves a huge bottleneck, as we ship changes to our CLI more than ever, and it's embedded in more places than ever.

Fun fact: we built 𝚙𝚔𝚐¹ yeaaars ago in service of this vision. I didn't want customers to have to worry about Node.js over here, and the CLI package over there. We deprioritized it because Git and Web took off massively, and CLI usage was more sporadic.

Now the situation is inverted. Every day, I hear from customers discovering Vercel after OpenClaw, Claude Code, or Codex not only introduce, but also onboard users to our agentic infrastructure. Our CLI (as well as our MCP and SDKs) is a key enabler of this new wave.

¹ http://github.com/vercel/pkg

Vercel Developers: Vercel CLI now ships experimental native binaries.

Opt in for improved credential security, faster startup, and an ~80% smaller footprint.

▲ ~/ 𝚙𝚗𝚙𝚖 𝚒 -𝚐 @𝚟𝚎𝚛𝚌𝚎𝚕/𝚟𝚌-𝚗𝚊𝚝𝚒𝚟𝚎
https://vercel.com/changelog/experimental-native-binaries-for-vercel-cli
garrytan
garrytan @garrytan
Retweeted
Ankit Gupta Ankit Gupta
we're funding a lot of PhD researchers at YC these days
super pumped that we're hosting a reading group at the og YC office near Stanford and will be putting the videos on youtube. More of this to come!
Y Combinator: Last week we hosted the first ever YC Paper Club in Mountain View.
We brought together great AI researchers and founders to discuss both the state of the art and what it actually takes to get it into production.
Thanks to the following presenters:
0:12 - Intro from YC Visiting
garrytan
garrytan @garrytan
Retweeted
Blueprint Blueprint
The @SFDemocrats, @uniteddemclubsf, @SFENDC, @EdLeeDems, @AliceLGBTQDems, @sf_cadc, and @D2Dems all agree - No on Prop D.
We shouldn’t setback San Francisco’s comeback.
Vote NO on Prop D.
garrytan
garrytan @garrytan
AI adopters are creating jobs, not cutting them

Australian study says: "In fact, they are advertising for more jobs, and jobs with broader skill requirements, than comparable firms that haven’t adopted AI."

https://www.csiro.au/en/news/All/Articles/2026/April/Research-into-firms-adopting-AI
garrytan
garrytan @garrytan
Retweeted
Garry's List Garry's List
She bartended through law school. Spent 15 years prosecuting violent crime, elder abuse, and public corruption in SF. Now she's running for judge.
"Bar to Bar to Bar" by GL Studios. Vote Phoebe Maffei for Judge. June 2nd.
garrytan
garrytan @garrytan
Many such cases

Friends don't let friends force their agents to just use filesystem grep

Winston B.: @garrytan My main orchestrating agent runs on GBrain too, and serves as the knowledge base and keeper that my other agents plug into. Grounding on actual notes, conversation, and code makes a huge difference vs generic RAG.
swyx
swyx @swyx
Retweeted
Walden Walden
If you're building your own cloud agent like Devin or Ramp Inspect, there's lots of great details here on setting up VMs, computer use, memory, and more. Fun deep dive with the creator of OpenInspect on what setting up a cloud agent entails
https://www.latent.space/p/cognition
amasad
amasad @amasad
Generate images, video, audio and remix them.

Draw something and make it real.

Point-click edit, move things around, drag them, drop them.

Invite a friend and cook some marketing, websites, or art.

All on Replit Canvas!

Replit ⠕: The best design work doesn't happen in a chat box. You need space to explore ideas, create variants, and iterate

Meet the new Replit Canvas

Your agentic design tool to build beautiful websites, apps, marketing assets and more

garrytan
garrytan @garrytan
Retweeted
Armand Domalewski Armand Domalewski
something like 99%+ of economists agree that building market rate housing reduces rents. Connie Chan's views on housing are equivalent to believing the world is flat
vote @Scott_Wiener
amasad
amasad @amasad
Retweeted
vic vic
Canvas is my favorite medium to express my creativity.
Generate videos, images, SVGs... brainstorm with your team, add your favorite spotify playlist for background music, go deep in research, make silly websites!!! The world is your oyster...
UNDER DA SEA 🐟 (inspired by old windows OS fish games)...
Replit ⠕: The best design work doesn't happen in a chat box. You need space to explore ideas, create variants, and iterate
Meet the new Replit Canvas
Your agentic design tool to build beautiful websites, apps, marketing assets and more
garrytan
garrytan @garrytan
Retweeted
Casey Handmer Casey Handmer
I interview dozens/hundreds of new grads, nearly every day of the year. These are people with a well-formatted resume and a Bachelor's Degree in Engineering from well-regarded US universities and a GPA above 3.6. The majority cannot engineer, cannot function independently, cannot answer basic technical questions. We have watered down standards and inflated grades to the point that a bright, enthusiastic student spending four years in school sends almost no signal at all.
What does? Hard evidence of actually building stuff. There is no substitute for actually doing the thing.
San Francisco Chronicle: More than five years after the UC system lifted its standardized testing requirement, a coalition led by UC Berkeley math professors argues the drop in students’ math levels is “severe.” https://www.sfchronicle.com/california/article/uc-faculty-math-science-testing-22279842.php?taid=6a17d08a86566d0001e05981&utm_campaign=trueanthem%2B3988&utm_medium=social&utm_source=twitter
swyx
swyx @swyx
met with @ACM_President today!

we awarded Industry Spotlights at @CAISconf, and all posters and OpEx talks will be presenting at @aiDotEngineer next month

more AIE x ACM collaboration incoming!

wonder what a “Turing award of AI Engineering” could look like…

YouTube

0

No recent videos fetched on this date.