Replying to
@regehr@mastodon.social
@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 ;)
Remote
kbeyls
@kbeyls@mastodon.social
mastodon
4.7.0-beta.1
Arm Fellow. LLVM Foundation board member. Compilers, security, efficiency, performance. Recently started https://github.com/llsoftsec/llsoftsecbook/. Views are my own.
0
Followers
0
Following
6
Posts
Joined October 15, 2022
Posts
Replying to
@regehr@mastodon.social
@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...
The #LLVM developer room is back for the 12th consecutive year at #FOSDEM , on January 31st!
I'm excited about the variety in topics covered, from hardware generation using mlir/llvm to C/C++ repls. The FOSDEM dev room is where you tend to see the most diverse uses of LLVM technology.
Come join us either in-person in Brussels, or online through the live-feed which will be available at https://fosdem.org/2026/schedule/track/llvm/
Replying to
@kbeyls@mastodon.social
We just extended the deadline for the #LLVM dev room at #FOSDEM submissions until 7th of December. There's still time to make your submission at https://pretalx.fosdem.org/fosdem-2026/cfp !
Full CFP at https://discourse.llvm.org/t/88746
The #LLVM developer room is back for the 12th consecutive year at #FOSDEM, on January 31st!
We're looking for presentations on all aspects of #LLVM, #MLIR and more.
See CFP for details https://discourse.llvm.org/t/cfp-fosdem-2026-llvm-dev-room/88746.
Deadline for submissions is November 30th.
I hope to see many of you at FOSDEM!
Replying to
@llvm@mastodon.social
@llvm@mastodon.social the content of the llvm developer meetings continues to grow even more interesting every year!