May 3
#rubykaigi2026 に関するハッシュタグのポストを日付・部屋ごとに分けたまとめを作りました．
Day1は以下です．
- Large Hall (#rubykaigiA): posfie.com/@nishidayuya/p/lb…
- Sub Arena (#rubykaigiB): posfie.com/@nishidayuya/p/mL…
- Small Hall (#rubykaigiC): posfie.com/@nishidayuya/p/O9…
#rubykaigi
1
8
20
2,169
You can also watch the demo video here or on YouTube. I put a fair amount of effort into making it.
youtu.be/gkbhsIKpTGY
#rubykaigi #rubykaigiC
1
3
715
Here's the slide of "From Formal Specification to Property Based Test". It was an honor to be on stage for the thid consecutive year.
Thank you for coming to my talk and the organizers for having me.
speakerdeck.com/ohbarye/from…
#rubykaigi #rubykaigiC
1
4
23
1,191
I've published the slides from my presentation at RubyKaigi 2026 Day 3! 🎉
RubyKaigi 2026 Day3で私が発表したスライドを公開しました🎉
PicoRuby for IoT: Connecting to the Cloud with MQTT
speakerdeck.com/yuuu/picorub… #rubykaigi #rubykaigiC
13
40
1,627
Day2でお話しした、「Extreme MQTT on PicoRuby」 のスライドを公開しました。
#rubykaigi #rubykaigiC
speakerdeck.com/ryosk7/extre…
1
7
26
1,427
7
27
1,498
type-guessrを作っている。SteepやSorbetは正確な型情報を要求し、その分品質の良い体験が得られる。TypeProfは一定推論できるが大きいコードベース適用例のなさ・false-positiveの多さ・gemサイドのRBS要求などが今回は合わなかった #rubykaigi #rubykaigiC
2
260
型は書きたい、でもRubyではその限りではないという気持ちになってきています #rubykaigi #rubykaigiC
この実験についてはいろいろ申したいことがあるのですが、この実験設計においては型なしRubyの方が十分効率よく生成できて、アプリケーションの構成によってはコード中に明記された「型」がノイズになって足をひっぱる可能性があると考えています #rubykaigi #rubykaigiA
1
2
506
Apr 24
見覚えのあるPRだ。補足すると、その当時はSocket APIがなくて、Netに直接lwipopts.hのオプションを書き込むとMQTTのものとそれ以外のものの管理が混ざるのでどうにか分離したい、みたいなところで迷いがありました。実際はソケットがあると発表のとおりにもっと綺麗に整理される #rubykaigiC
1
2
354
Apr 24
去年の発表終わったあとにESP32のWiFiってどうなってるんだろうと掘ってみたけどESP-IDFとCYW43/lwIPがインターフェースかなり違って苦しいな〜と思ってたのだった #rubykaigiC
2
263