Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

https://rosa.codes/machines2025/

#brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan