Quitting programming as a career right now because of LLMs would be like quitting carpentry as a career thanks to the invention of the table saw.

I took Grok 4 for a spin this weekend to build this game prototype. I used SuperGrok Chat to generate the initial game prototype and then brought it over to Cursor to continue coding with Grok 4 MAX. Grok 4 in Cursor is like a no-nonsense agent. Doesn't speak much, but

I remember the days when you could count those doing real-world zk engineering on one hand. At o1Labs (httpz) we were and are confident zk is the right path. I'm incredibly excited for the future of Ethereum and Mina Protocol (httpz) 🪶 and the whole zk ecosystem. Thank you, Mashiat 🩵 🟡 🇧🇩 ( berrytime arc ).

BREAKING: Claude Code PMs Boris Cherny and Cat Wu have returned to Anthropic after a brief stint at Cursor.

Welcome 👋, be careful. I binged 2-4 concurrent Claude code sessions for 12hrs on Saturday 😅

Community office hours 1:1 with me this week @ 3:30pm GMT Thursday I let people in one at a time so you may need to wait in the queue 👍 Register here: us06web.zoom.us/meeting/regist…

Our engineering team is working super hard on Mina; here’s the latest behind-the-scenes. You can go deeper on GitHub github.com/o1-labs , everything we do is open source.

What’s your favorite examples of projects at the intersections between AI and crypto? Bonus points for zk and AI.

My current workflow is: 1. o3 for exploration/research 2. Gemini 2.5 Pro to iterate on a detailed spec or set of specs 3. Opus4 only (no sonnet!) to implement in Claude code And Gemini again to critique after Opus builds.

Come and get me. 🤪 George Pickett bkase (httpz/🪶)

Infrastructure as code Diagrams as code Slide decks as code Videos as code Life as code Long live text Long live the CLI Long live TUIs Claude code has brought upon a Renaissance of the terminal. I couldn’t be happier 🤩

I learned a decade ago to focus on customers, not competitors, as a principal engineer at Amazon Web Services. Amazon built one of the best companies in the world, an e-commerce and cloud juggernaut that delights customers every day with the everything store and almost free 2-day shipping.

Sachin Chanchani Peter Yang ill try and write something up but the short of it is: use obsidian, have a 00-today folder with templated todo list for the day a 01-morning pages for braindumping, 02-0n project folders, each with a task-board .md with the obsidian kanban plugin. the magic is in collaborating

Working on the Rust node of Mina Protocol (httpz) 🪶, week 2. We are a bit more active than last week, even though we had a few unrelated meetings. We end the week with a few pending pull requests, simply because we have to wait for the CI. And we will also have one person focusing on the

This is how I currently encourage Claude to run the tools I want. Is it perfect? No. Do I wish this could be done wit hooks? Yes. Do I wish it was not necessary to begin with? Also yes. But this is pretty pragmatic and does work.

🦥 Qwen3-Coder-Flash: Qwen3-Coder-30B-A3B-Instruct 💚 Just lightning-fast, accurate code generation. ✅ Native 256K context (supports up to 1M tokens with YaRN) ✅ Optimized for platforms like Qwen Code, Cline, Roo Code, Kilo Code, etc. ✅ Seamless function calling & agent

polter.build is pretty much ready! 👻Polgergeist haunts in the background Rebuilds your target(s) as soon as files change Your agent doesn't need to call build anymore Saves token + faster loops install via npm. works on mac/win/linux