We have some awesome beginner projects for anyone who'd like a gentle introduction to contributing to a real-world compiler that's already used in production! 😃

LeanAgent is a fascinating exploration in how to incrementally train a model that not only adds to its own corpus, but it balances skill retention and plasticity to level up and prove nontrivial gaps in advanced repositories like Terry Tao’s PFC.

As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)

Sometimes a little refactoring goes a long way. In my latest video I've got a short demo of how much difference you can make when you know your refactoring tools and have a good idea of where you want to take the design. youtube.com/watch?v=lU8Wmo…

Formal Methods tools is finally becoming mature enough for industry use. Z3, CVC6, Dafny, SAW, Lean, Jasper Gold, Liquid Haskell, TLA+, Alloy, to name a few

🚀 Excited to announce my appearance on the "Empathy in Tech" #podcast with Andrea Goulet and Ray Myers ! In our episode "They Called Me a Turnip," we discuss the vital role of #empathy in tech #strategy. Join us for insights on fostering inclusive innovation! 🎧

I really like the 'not attempted' category. We should talk about this more. No answer is so much better than a wrong answer. We should probably have a version of SWE-bench that penalizes wrong answers. Knowing when not to submit is super useful in practice!

Would anyone be interested in a semi-interactive blog post on how to build a lock-free, thread-safe ring buffer?

normie macdonald every time

Alright gonna try this BlueSky thing one more time if anyone wants to connect :) @ raymyers.bsky.social

What if you could prove your program is correct? Not just "looks good to me", but a formal mathematical guarantee that it does what you want? This formal verification is far too difficult for most programs we write, but for the most critical software in the world, it may be

Tomorrow is AI Native DevCon, where our chief architect Ray Myers will be giving a talk on "The Many Ends of Programming"! We're proud to partner with them for this exciting and timely event, register here: ainativedev.co/dl6

AI Engineer just when you thought we were done with AIE... here's Wave 2 of the AIE Online talks! (basically people who submitted late but still submitted haha) youtube.com/playlist?list=… from Manuel Odendahl , victoriame, Aparna Dhinakaran, Filip Kozera, Vikash Agrawal, Ray Myers and