Ruby Extension Library Verified using Coq Proof-assistant

Ruby

talk by Michael Prilop: Lightning Talks Day 3

Lightning Talks Day 3

Michael Prilop

wroc_love.rb 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

talk by Shunsuke Mori: Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜

Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜

Shunsuke Mori

RubyKaigi 2024

talk by Satoshi Tagomori: Namespace, What and Why

Namespace, What and Why

Satoshi Tagomori

RubyKaigi 2024

talk by Daisuke Aritomo: The Depths of Profiling Ruby

The Depths of Profiling Ruby

Daisuke Aritomo

RubyKaigi 2024

talk by Mari Imaizumi: Exploring Reline: Enhancing Command Line Usability

Exploring Reline: Enhancing Command Line Usability

Mari Imaizumi

RubyKaigi 2024

talk by Misaki Shioi: An Adventure of Happy Eyeballs

An Adventure of Happy Eyeballs

Misaki Shioi

RubyKaigi 2024

talk by Bartosz Blimke: Webmock Unmocked

Webmock Unmocked

Bartosz Blimke

wroc_love.rb 2024

talk by Breno Gazzola: Opening Keynote

Opening Keynote

Breno Gazzola

Tropical.rb 2024

talk by John Hawthorn: Vernier: A next Generation Ruby Profiler

Vernier: A next Generation Ruby Profiler

John Hawthorn

Tropical.rb 2024