Ruby Extension Library Verified using Coq Proof-assistant

Ruby

talk by Yukihiro "Matz" Matsumoto: Keynote: Second system syndrome

Keynote: Second system syndrome

Yukihiro "Matz" Matsumoto

Baltic Ruby 2024

talk by Craig Buchek: Nil - Nothing is Easy, Is It?

Nil - Nothing is Easy, Is It?

Craig Buchek

Blue Ridge Ruby 2024

talk by Max VelDink: Refactoring: The ASMR of Programming Talks

Refactoring: The ASMR of Programming Talks

Max VelDink

Blue Ridge Ruby 2024

talk by Travis Turner: Narrative Reflections: Transmuting Ruby Code into Storytelling Gold

Narrative Reflections: Transmuting Ruby Code into Storytelling Gold

Travis Turner

Blue Ridge Ruby 2024

talk by Alli Zadrozny: Lightning Talk: Zettelkasten - A way to create a second brain & publish content you are passionate about

Lightning Talk: Zettelkasten - A way to create a second brain & publish content you are passionate about

Alli Zadrozny

Blue Ridge Ruby 2024

talk by Michael King: Lightning Talk: Things that you can (but not necessarily should) do with threads in Ruby/Rails

Lightning Talk: Things that you can (but not necessarily should) do with threads in Ruby/Rails

Michael King

Blue Ridge Ruby 2024

talk by Chris Hagmann: Lightning Talk: Coding for the Future - A perspective

Lightning Talk: Coding for the Future - A perspective

Chris Hagmann

Blue Ridge Ruby 2024

talk by Hilary Stohs-Krause: How to Accessibility if You’re Mostly Back-End

How to Accessibility if You’re Mostly Back-End

Hilary Stohs-Krause

Helvetic Ruby 2024

talk by Johannes Müller: The Power of Crystal: A language for humans and computers

The Power of Crystal: A language for humans and computers

Johannes Müller

Helvetic Ruby 2024

talk by Masato Ohba: Unlocking Potential of Property Based Testing with Ractor

Unlocking Potential of Property Based Testing with Ractor

Masato Ohba

RubyKaigi 2024

talk by Samuel Giddins: Remembering (ok, not really Sarah) Marshal

Remembering (ok, not really Sarah) Marshal

Samuel Giddins

RubyKaigi 2024

talk by Hiroshi Shibata: Long journey of Ruby standard library

Long journey of Ruby standard library

Hiroshi Shibata

RubyKaigi 2024