John RegehrI'm fundamentally a tool builder, and LLM coding agents work one million times better if you give them good tools, and I wrote a thing about this
@kbeyls
- 180 Followers
- 459 Following
- 227 Posts
Arm Fellow. LLVM Foundation board member. Compilers, security, efficiency, performance. Recently started https://github.com/llsoftsec/llsoftsecbook/. Views are my own.
@regehr I guess if the AI weren't touchy-feely and lazy, we wouldn't call it AI as it wouldn't be human-like enough ;)
@regehr Thanks for writing this! It feels close to how I started thinking of LLMs as "Kahneman system 1" thinkers (stochastic, intuitive, ...) . So you need "Kahneman system 2" tools (deterministic, analytical, controlled, ...) to control, verify or shape their output. It sounds like "executable oracles" are exactly one such kind of "Kahneman system 2" tool...
JP LehrWe surpassed 200 members in the #LLVM #Meetup #Darmstadt group on meetup. Incredible honestly.
I met quite a few new and cool people through this meetup and think it’s been an amazing ride.
Thank you! 😊
If you are in the area, Wednesday is the next one with Tim Heldman talking about the various points to hook into the #compiler for tooling.
Anna Zaks🇮🇪 Join us at EuroLLVM 2026 in Dublin, April 13–15
Early bird registration ends this Friday, March 13. If you’re working on compilers, toolchains, security, or AI infrastructure, this is an amazing event to connect with the global LLVM community!
LLVM ProjectIt's the luck of the Irish! We have extended early bird registration for the 2026 EuroLLVM in Dublin, Ireland through Friday! https://llvm.swoogo.com/2026eurollvm
Swift LanguageGreat language support means nothing without great tooling. Watch @jdevlieghere show how LLDB brings first-class debugging to Swift on WebAssembly. https://fosdem.org/2026/schedule/event/87ZLQV-wasm-debugging-lldb/ #Wasm #fosdem
won't say I'm totally proud of myself here, but once I saw that the Claude C compiler was super buggy according to YARPGen and Csmith, I had a hard time preventing myself from doing something about it
AlexThis has been brewing for awhile at work but finally the announcement is public. Previously to join in the collaborative engineering at #linaro you started with a discussion about membership costs and engineering commitment. The new #corecollective removes the financial barrier to entry so more people can be involved in working out what is needed before working out how to fund that work: https://www.linaro.org/news/linaro-addresses-the-demands-of-the-next-era-of-ai-and-compute-with-new-model-and-brings-open-collaboration-to-all/