Remote

kbeyls

@kbeyls@mastodon.social

mastodon 4.8.0-nightly.2026-10-06

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

kbeyls @kbeyls@mastodon.social

· 11mo ago

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!

discourse.llvm.org

kbeyls @kbeyls@mastodon.social

· 6mo ago

Replying to

@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...

kbeyls @kbeyls@mastodon.social

· 9mo ago

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/

fosdem.org

kbeyls @kbeyls@mastodon.social

· 6mo ago

Replying to

@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 ;)

kbeyls @kbeyls@mastodon.social

· 31mo ago

Replying to

@llvm@mastodon.social the content of the llvm developer meetings continues to grow even more interesting every year!