开启时会模糊预览图，关闭后正常显示
Frameworks, metrics, strategy—yes, they matter. But the hardest parts of work are often the soft, messy, human parts we rarely discuss openly. The self-doubt, anxiety, the interpersonal dynamics that get in the way of actually getting things done. I'm excited to help change this. I'm thrilled to announce the pilot episode of "Is It Just Me?," a new podcast I'm exploring with executive coach, long-time product leader, and many-times collaborator @natatouille. Natalie has spent years coaching tech leaders through their toughest work challenges. Now, for the first time, you'll get to be a fly on the wall for these breakthrough conversations. Each episode features a real, vulnerable, unscripted coaching session with someone like you facing a work struggle. It's like Couples Therapy meets Lenny's Podcast. The first episode is live: https://t.co/FjfaqFOKU3 Let me know what you think! Important: If you want to hear more episodes, click the link above and subscribe. Your response will determine if we launch a full season.
Deeply researched product, growth, and career advice
An excellent comprehensive review of the state of unicode handling in terminals in 2025. I'm happy to see Ghostty scored an overall 100/100! We work really hard on Unicode support and this report gives us a good roadmap for what we need to work on next. https://t.co/9rdyYpNAqr
Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
RT @Auri01927202: USA themed space marine (Star eagles chapter)
Root node of the web of threads: https://t.co/ifH80GcLpo
Quick overview of HOC / HVM / Bend 's state: - about 1 year ago, we launched Bend1 - first lang to run closures + fast obj allocator on GPU - near-ideal speedup up to 10000+ cores - based on HVM2, a strict runtime for Interaction Nets Problems: - interpretation overhead still significant - full RTX 4090 to beat 1-core OCaml / JavaScript / etc. - big practical limitations (int24, no IO, no packages) - despite Python syntax, it was still hard to use - turns out most devs can't think recursively - incompatible with lazy evaluation (not β-optimal!!) I was disappointed by the problems above. At the same time, I was growingly optimistic about the application of optimal evaluation to the problem of program synthesis, which is a cornerstone of Symbolic AI - a failed idea, but with a strong feeling of "I can fix it". I made a decision: throw HVM2 away (💀) and go back to the HVM1 roots, which was based on my "Interaction Calculus", and featured β-optimality. I heavily polished and improved it, resulting on HVM3, a prototype written in Haskell. I then used it to understand and research program synthesis on optimal evaluators. This was HARD, and cost about a year of my life, but results were positive, and our system now beats all published alternatives in efficiency and capabilities. Now, we're taking all that and solidifying it, by implementing the runtime / compiler in raw C, so it can run as efficiently as possible on our humble Mac Mini cluster (🥹), and serve it to the world via an API. I expected to launch by October, but there are still some challenges that cost me more time than I anticipated. For one, finding Lean proofs with SupGen requires very careful handling of superpositions, and doing that on C is actually HARD AS HELL - but things are moving steadily and we have a lot done already, and I still expect to launch Bend2 / HVM4 this year or Q1 2026. Bend2 will have: - parallel CPU runtime with lazy/optimal mode (!!!) - 16 / 32 / 64 bit ints, uints and floats (finally) - arbitrary IO via lightweight C interop (like Zig!) - no CUDA yet, due to lack of time, very doable though - most importantly: SupGen integration SupGen is something new and the main novelty behind Bend2. It is *not* a traditional AI, it is a whole new thing capable of generating code based on examples and specs. I think many (in special, these in deep learning) will be caught totally off guard by how much we can accomplish with pure symbolic search, and, more than anything else, I can't wait to watch that reaction
Also forgot to mention: - Bend2 will export to JavaScript / Haskell so you can use it to write normal apps without having to wait for support on Bend's ecosystem - Bend2 will, sadly, break a promise: "if it can run in parallel, it will run in parallel". That's because this promise is *obviously* incompatible with lazy evaluation (either you wait to see if an expression will be visible, or you reduce it in parallel - can't have both). I still want to offer a full strict mode as a direct update to HVM2 in the future, but time is short that's not our focus right now ): on the bright side, I believe we'll be able to run lazy mode on GPUs. In practice, I believe this will be much better than full strict parallelism - our WeFunder campaign is still active but I'm not actively following it, and will close after launch
we are still taking side event listings: every night from nov 17-23 there's hundreds of AI Engineers we can send to you! just put up a luma or partiful and drop it here. https://t.co/BoMjesniNl the big one is @iporollo doing the epic AIE x @cerebral_valley Hackathon that weekend - come sponsor and hack for ultimate glory!
achieve ambition with intentionality, intensity, & integrity - @dxtipshq - @sveltesociety - @aidotengineer - @latentspacepod - @cognition + @smol_ai
We have the best new media team @a16z! stoked to see the finished product soon 🫶🏼
AI Apps investing @a16z | Investor in @elevenlabsio, @function, @cluely, @trymirage, @slingshotai_inc, @partiful & more | Growth @Snap & CFO @livebungalow
