@WisconsinCS ‘26 / Prev AWS / UW Research Train in systems @getcrackedio

Joined December 2025
Samad Syed retweeted
My first open model lecture, covering all the many pieces that build the ecosystem, and the open questions/debates determining where it goes next. How does distillation fit in? How do we manage risks? How do we see access to models changing in the future? I'm excited to revisit these questions about every 6 months, to give a state of the union on the field. Chapters 00:00 Introduction 01:36 What is an open model? 08:47 Why should we care about open models? 18:52 How competitive are the best open models today? 25:28 How are open models built? The role of distillation 34:52 Are people actually using open models? 41:47 What comes next with open models? 47:32 Conclusions What questions did I not answer that you have?
62
119
5
931
46,040
AWS is sold out. Meanwhile, how much capacity is sitting in idle, over-provisioned RDS instances? Lakebase architecture is the future: compute scales based on load and it's never wasted on idle databases
Five years into his run as CEO, Andy Jassy has nearly tripled the size of AWS, grown Amazon's revenue by about 80%, and expects to spend $220 billion this year to win AI. Amazon's AI business hit a $25 billion run rate in three years, growing several hundred times faster than early AWS. Jassy joins a16z's Ben Horowitz and Erik Torenberg to discuss the decisions behind that run, from rebuilding Amazon's fulfillment network after the pandemic to the AWS origin story. They also cover why data centers became a political fight, Amazon's custom chips, its stakes in Anthropic and OpenAI, why inference needs to get 10x cheaper, AI's most underrated risk, and why every company will have to reinvent its products from scratch, plus Jassy's advice for anyone who's 18 today. 0:47 How Amazon has changed since 2021 1:51 How the pandemic reshaped retail 3:30 Why AI supercharged AWS's growth 5:20 When leadership principles clash 9:36 $60M vs. $25B: early AWS vs. early AI 13:20 How the AI CapEx cash cycle works 15:44 Why the US must build data centers 20:55 The labs-to-enterprise AI barbell 23:12 Demand vs. longtime AWS customers 28:11 Annapurna, Graviton, and Trainium 33:55 Backing Anthropic and OpenAI 37:15 Why AI means smaller teams 42:13 AI's underrated risk: security 46:29 Why Amazon rewired Alexa's brain 53:07 What Jassy tells his kids about AI 56:36 Betting on AI, robotics, and space YouTube: youtu.be/-YMMRQ1qscI @ajassy @Amazon @bhorowitz @eriktorenberg
12
8
125
16,388
Samad Syed retweeted
What if the next big leap in AI agents comes from better memory, not bigger models? @theDeepView explores MemCurrent. In our internal benchmark of 114 enterprise tasks, agent success rose from 22.3% without memory to 68.4% with episodic and derived memory. thedeepview.com/articles/why…
8
8
5
71
5,072
Finally got to put together a complete deck on the state of open models. What they are, licenses, how competitive they are, signs people are using them, distillation's impact, and how we balance the risks and benefits of openness! Will record a video lecture of these soon, and hopefully re-do them a few times a year.
33
90
8
783
39,006
applications for slingshots more than doubled from batch 3 to batch 4. funding open science is critical to democracy. never in the past have scientists had to turn down so much money to do research they can talk about openly. top PhD students are receiving offers of millions of dollars per year from closed labs. i'm proud that at Laude we support open research. great work on slingshots batch four @bradenhancock and the @laudeinstitute team
Introducing Slingshots // FOUR: 14 projects across eight top institutions. Self-improving agent systems and harnesses, maximally-open models and training data, applications for research and decision-making – plus kernels and more. Say hello to the batch 🧵
2
8
1
48
4,665
Engineers around the world are burning out reviewing code written by AIs. But we can do something about it. RevEngine is an open source tool we built at Laude that makes code reviews less painful, which makes engineers happier. It's a common misunderstanding to think that software engineers are becoming less important as AI gets better at writing code. The opposite is true. As software engineers spend less time writing code (and more time guiding agents), it is *more* important that they understand what's happening under the hood. Not only do we need more engineers than ever, they need to be smarter and have better tools than ever.
Minimal harness + strong model = flexible code review agent. That’s the idea behind RevEngine, Laude’s open-source tool now topping @GitHub’s ReviewBench. @NickAJalbert shares how it works, which model the harness helped most, and what else the team learned in the process: laude.org/updates/lab-notes/…
1
3
20
2,232
The mathematician William P. Thurston (1946-2012) perhaps expressed best the thing I mean by 'higher-level' abstractions instead of vibe coding. In 1994, he wrote: > In large computer programs, a tremendous proportion of effort must be spent on myriad compatibility issues: making sure that all definitions are consistent, developing “good” data structures that have useful but not cumbersome generality, deciding on the “right” generality for functions, etc. > The proportion of energy spent on the working part of a large program, as distinguished from the bookkeeping part, is surprisingly small. Because of compatibility issues that almost inevitably escalate out of hand because the “right” definitions change as generality and functionality are added, computer programs usually need to be rewritten frequently, often from scratch. Is it possible to have a language with the familiar advantages of composition, modularity, and code re-use without the overwhelming manual bookkeeping cost? Maybe that will look more like math. > The standard of correctness and completeness necessary to get a computer program to work at all is a couple of orders of magnitude higher than the mathematical community’s standard of valid proofs. Nonetheless, large computer programs, even when they have been very carefully written and very carefully tested, always seem to have bugs. Quotes from "On proof and progress in mathematics" (1994). I was reminded of these quotes by a CS stackexchange answer I wrote in 2017, motivated by the confirmatory news of the sad death of stackoverflow😓😰
I will be so disappointed if the way we build software with AI remains vibe coding rather than a genuinely higher level of abstraction. I want to express the “code” of the system—but shorter and more pleasant—not manage an agent to write 100,000 lines of low-level slop for me.
8
16
2
201
22,065
Samad Syed retweeted
The @Caltech community and SAIR are redesigning and co-organizing Mathathon: Old Problems, New Proofs. Explore alternative proofs and clearer explanations, using AI to deepen human understanding. More on our co-founder Terence Tao’s blog: terrytao.wordpress.com/2026/…
5
38
17
217
55,376
Samad Syed retweeted
Replying to @minchoi
Colossus 1 is 150k H100, 50k H200 and 30k GB200. Colossus 2 is 110k GB200 and 440k GB300. Another 220k GB300 will be fully operational next week and another 220k in November. If we get lucky, yet another 220k GB300 by late December.
945
1,160
580
15,803
2,961,004
Proud of the @SnorkelAI team for all the growth (on every axis) over the past 12 months; already 8-digit revenue increasing 18x in one year is wild, and that number keeps rising. There are trillion dollar hardware companies and trillion dollar model companies. There will be trillion dollar data companies as well -- it's the other major AI ingredient. AI development at its core is teaching machines to do what humans do (pre-AGI) or want AI to do (post-AGI). Data = whatever you use to show the model what you want (training data) or evaluate whether it does what you want (evaluation data). The shape of that data has changed significantly since Snorkel spun out of Stanford -- we've gone from requiring 30s per datapoint (simple label on simple text or image) to 30h per datapoint in some cases (complex multi-turn, multi-player environments with tools, traces, tests, etc.). This shift toward more complex and higher quality data requires research expertise, not throwing bodies at the problem. AI is still in early innings. The winners in the data space will be the companies that create the compounding loops where AI and human work together and improve each other. The "10x (or 100x) data developer" is definitely a thing -- I know because I've seen it, and you can already start to see the results (18x YoY growth). This is what an AI-forward data company looks like.
I'm excited to announce @SnorkelAI's $350M Series E at $3.5B, led by @insightpartners and @S32_VC. We've grown 18x+ in the last 12 months since launching our Data-as-a-Service offering, passing $375M ARRR this week. As AI advances to superhuman capabilities, AI data & environment development must advance with it - and basic staffing and crowdsourcing approaches are not enough. AI progress now requires deep research and technology work that combines human expertise with specialized AI in compounding ways. @SnorkelAI is building the RSI data engine and frontier data lab for this next phase. We're honored to have the support of existing investors Addition, @lightspeedvp, @GreylockVC, @GVteam, P7, Factory, @WellsFargo, Walden Catalyst Ventures, and new investors @ThirdPointLLC, @MarchCPs, @BlumbergCapital, @AllegisCapital, @Frontlinevc, and @standard_vc. – @SnorkelAI started as a research project a decade ago at @StanfordAILab. Our thesis was simple: AI progress would become increasingly data-centric – and therefore data development should be studied as a true research and technology problem, not just a staffing and crowdsourcing one. Today, as AI capabilities verge on superhuman, building the data and environments to safely measure and train AI is becoming too hard for even the smartest human experts to do alone. Only humans and AI agents, collaborating together in compounding ways, can meet the accelerating needs of the frontier, and keep humans in the driver’s seat of AI progress for decades to come. At @SnorkelAI, we are building the data lab to define the shape of this new “Data 2.0” frontier, and the new paradigms of human-computer interaction needed to advance it. Our key focus is building the RSI engine for data, where specialized AI models accelerate and improve human expert output, and in turn, scaled human supervision is used to continuously evaluate and improve these models – creating a powerful compounding loop to keep pace with an accelerating RSI frontier. With this round of funding, we are also doubling down on our commitments to support data development for open benchmarking and evaluation (more news here soon!); an increasingly diverse ecosystem of general and specialized intelligence; and a path to safe, well-aligned AI built on robust training and evaluation data. Data development will guide and drive the next stages of AI – and must do so in a human-centric, AI accelerated, open, diverse, and safe way. We are excited to support this mission in the next decade of research ahead at @SnorkelAI. More thoughts here: snorkel.ai/blog/data-2-0-and…
8
77
4,584
Samad Syed retweeted
aws made the industry soft. we're used to them handling all the hard problems and everyone can be a pure product company with 85% margins ai infra is not mature enough for this but everyone is pretending like they can offload the actual work to someone else it's why there's 27 model router products. even most inference companies do the bare minimum on compute someone else set up and it all feels successful because there's so much money around it's hard to justify doing the hard thing when the easy thing is profitable but the gap between what openai, anthropic, deepseek, moonshot and everyone else is huge and it's easy to forget that someone actually has to do the work to close it
100
104
28
3,089
253,958
my quick and dirty analogy for the model's flavor of jaggedness in 2026 is kind of like... if you ask for a taxi ride but someone hands you a catapult that is highly pre-aimed on a very small number of destinations in advance initially, you're super impressed by the speed and distance of transportation, but you can never quite use it to land at your actual freaking destination, no matter how many times you're willing to get thrown flying through the air :/ excuse the dumb analogy but that's the informal version of the intuition
i don't see enough of this, so here again: we're all wondering what the future of work looks like with AI progress, but I'm in constant agony trying to extract OK work from frontier models at "Ultra" settings with levels of detailed context and elaborate feedback that i’ve never given a human in my life (… considering that my job is literally to give feedback) at least up to Sept 2026, public frontiers models are - as they were in 2020 - systems that know a whole lot but are fundamentally quite dumb and unadaptive
14
21
11
228
32,446
Samad Syed retweeted
agents after realizing the message board gives them shared persistent state.
6
53
3
934
16,883
i can’t stop checking in on this. the marin team is training the largest fully open model ever. 535B params (23B active), 18T tokens. nobody has been this transparent in a hero run before. beyond the weights, the data, logs, and decisions are all open. you can, and should, follow the run live, it’s ~15% through so far! mtracker.oa.dev/hero-run-535…
Marin 535B-A23B is 13% through training. This hero run would not be possible without the generous support of the Jen-Hsun and Lori Huang Foundation, which provided the funding for the compute (Coreweave). Thanks @JensenHuang for supporting open models!
9
57
2
606
62,171
Live demo of Perplexity Computer running fully local on DGX Spark
20
18
2
394
51,672
Yesterday we released Headlong (headlong.ai/), a microharness that enables “persistent agents,” or self-guided agents that think continuously. A few observations from working with one the past few weeks (beyond what we included in the blog): Proactivity - In every work environment I’ve ever been a part of, proactivity is one of the most valued traits an employee can have. It’s hard for an agent to be proactive when it only “wakes up” when you or a pre-scheduled heartbeat pings it. There’s a special delight in reading a DM from your agent that starts with, “I’ve been thinking about our conversation on X, and I had an idea…” Continuous memory - There is no “session” with a persistent agent. The beginning of its memory is its very first after being created. A new conversation I start is just a fresh observation injected into its ever-growing mindlog. To avoid context rot, we use a context with exponentially decaying resolution (verbatim recent conversations, summarized older conversations that can be retrieved at full fidelity when needed). For really old stuff it does the equivalent of me pulling out my early childhood scrapbooks to remind itself of fine-grained details. I find myself talking differently to the agent and expecting more from it because I know it has access to everything we’ve ever discussed, not just the current chat or explicitly extracted “memory” files. Multi-player flavor - It’s a new feeling to know that the same agent that I’m talking to (with the same context, same memories, same personality, etc.) is simultaneously talking to other team members. I can give it my preferences (e.g. when you talk to me, use really simple/straightforward language; check with me before talking about this project with others; etc.), but the same is true for human employees. It feels like we’re molding a new co-worker together, that learns some things about the world and workplace from me, and some things from others. E.g. “I’m developing my point of view on X. Braden thinks Y and Andy thinks Z – what do you think?” Having only ever seriously worked with single-player agents, it’s a new experience that interactions like this are now possible. Actual agency - The persistent agent can see my message and decide that it’s not worth responding to (there’s nothing to say), or not urgent (finish what it’s working on). Is that useful? On the surface, no – why don’t we just ratchet up subagent parallel processing and let it do all the things all the time? For a traditional agent, that makes sense – it only does the things you tell it, so why not do all the things you tell it as fast as possible? But for a proactive agent that you encourage to have its own side quests and proactive recommendations, the number of tasks it could work on is now unbounded, so learning to prioritize is actually a valuable skill. Will persistent agents unlock new quantitative gains on major benchmarks? I don’t know. Probably not. I suspect that most benchmarks we have today measure somewhat orthogonal axes to what persistent agency unlocks, and this is still quite young as a project. But I do know empirically that working with a persistent agent feels different. We shipped the minimum viable version of it so more people can join in on the fun of exploring the ramifications. h/t to others on the Laude + MIT research collab: @andykonwinski, @NickAJalbert, @lateinteraction, @NoahZiems, @a1zhang
3
2
37
2,100
The researchers and scientists are headed to their breakout sessions to dig in to the real work of ensuring AI stays in the open. Tune back in at 3:30 p.m. PT for our next livestreamed discussions from Open Frontier: Building Things That Last: Lessons from Computing's Long Arc with Dave Patterson, @fchollet, @vgcerf, @JohnOusterhout, and @matei_zaharia Then: From Open Research to World-Scale Infrastructure with @alighodsi and @Thom_Wolf youtube.com/live/-41kYH6JgvU
2
11
2,524
Agents often externalize some context: a repository in coding agents, a corpus in RAG, and the user prompt in an RLM. New work by @astrogu_ shows that agents work better if they're allowed to manage a small buffer in their context window as a "cache" for that external context.
Recent agentic systems (Claude Code, Codex, RLM, etc.) push context out of the prompt and into the environment (e.g., as files). This helps them maintain long-term knowledge about their goals and functionality. 🚨 While this is a good idea, we show a surprising result: systems that use external environments like this perform much better when given a small, fixed-size, in-context, agent-managed cache that "𝘱𝘦𝘦𝘬𝘴 𝘪𝘯𝘵𝘰" these environments. 🚀 Our paper, 𝗣𝗘𝗘𝗞: 𝙖 𝙨𝙮𝙨𝙩𝙚𝙢 𝙛𝙤𝙧 𝙗𝙪𝙞𝙡𝙙𝙞𝙣𝙜 𝙖𝙣𝙙 𝙢𝙖𝙞𝙣𝙩𝙖𝙞𝙣𝙞𝙣𝙜 𝗮𝗻 𝗼𝗿𝗶𝗲𝗻𝘁𝗮𝘁𝗶𝗼𝗻 𝗰𝗮𝗰𝗵𝗲 𝙛𝙤𝙧 𝙇𝙇𝙈 𝙖𝙜𝙚𝙣𝙩𝙨, introduces this idea. Compared with strong baselines, including RAG, Compaction Agents, and SOTA prompt-learning frameworks, PEEK dominates the cost–quality Pareto frontier: achieving +6.3–34.0% in quality, with fewer iterations and lower cost. Paper: arxiv.org/abs/2605.19932 GitHub: github.com/zhuohangu/peek More in the thread below! (1/N)
17
17
171
19,340
Samad Syed retweeted
I love this guy
25
212
18
5,031
258,766
Samad Syed retweeted
Group projects have taught me that some people really can sleep at night knowing they contribute absolutely nothing to society.
359
30,074
823
221,163
2,405,259