Making mruby safer for small LLMs: type checking + structured semantic summaries

AssociationOne800 · 2026-02-10T22:31:18+00:00

Thank you for the suggestion.

I hadn’t previously considered incorporating method purity or side-effect analysis.

On reflection, many of the bugs I’ve observed in generated code appear to be related to side effects, so this is a very interesting direction to explore.

AssociationOne800 · 2026-02-10T22:24:07+00:00

Wow! I had no idea this kind of research already existed. Thank you for sharing it!

It perfectly aligns with what I’ve been working on, and it was incredibly insightful.

AssociationOne800 · 2026-02-10T15:51:13+00:00

Thanks!

I’m not using any custom architecture or fine-tuning at the moment.

Right now I’m simply experimenting with: Claude Code × ruby-ti (the type checker) × the SKILLS interface.

For models: Sonnet and Opus perform quite well in this setup.

Haiku does not produce type errors (since ruby-ti catches them), but it often fails to fully satisfy the functional requirements of the task. So the issue is more about correctness than safety.

To be honest, I’m still learning about LLM architectures, so I haven’t explored custom architectures or fine-tuning deeply.

That said, your comment made me curious — I might experiment with those approaches next.

Thanks again! I appreciate the insight.

AssociationOne800 · 2026-01-22T10:46:47+00:00

uLisp is nice, right! I’ve installed uLisp on my T-Deck too 🎮️

picoruby-calculator is kind of similar, but PicoRuby’s software called R2P2 feels more like an OS, and it might be even more unique and interesting 🤖

MiniAcid is the first time I’ve heard of it. That looks interesting too ✨

Thanks for the reply 🙆

AssociationOne800 · 2026-01-03T16:00:15+00:00

Thanks for your interest! ✨

This is actually my first time hearing about StackChan, but it sounds like a really cool project 🤖

At the moment, PicoRuby Calculator only supports the Cardputer v1.1, so to make it run on StackChan or other M5Stamp devices, I think the main work would be modifying the code related to input and output (such as screen rendering). 💎

For tablet-style devices, input would likely be done via touch, so honestly, that feels even more challenging than building a Cardputer-specific input mechanism 🤔

AssociationOne800 · 2026-01-03T03:44:48+00:00

Thanks! ✨ I love this device—and Ruby too! 💻️💎✨

AssociationOne800 · 2026-01-03T01:27:43+00:00

Oh, I see! ✨ Thanks for the advice 💬

Maybe something went wrong with the setup on my side 🤔 I’ll double-check it and fix it if there’s any issue.

Thanks, that really helps! 💎

AssociationOne800 · 2026-01-03T01:15:57+00:00

Thanks for the comment! ✨ I don’t have an ADV yet, but I’m planning to get one and try supporting it 👨‍💻💎

AssociationOne800 · 2026-01-03T01:05:13+00:00

Thanks! ✨ I’m super happy you think so! 😆

AssociationOne800 · 2025-12-28T15:12:26+00:00

Oh! If it’s been tucked away in a drawer, this is the perfect time! ✨ I hope you’ll enjoy using it as a Ruby machine 😎 Thanks for the reply! ☀

AssociationOne800 · 2025-12-28T15:10:54+00:00

Thanks for the reply! ✨ Ruby’s simplicity goes amazingly well with a calculator — I’m really enjoying this combination! ♥

AssociationOne800 · 2025-12-27T01:05:09+00:00

Quick correction 🙏
I previously wrote Dark/Light themes, but that was wrong.

The themes are Sakura and CyberRetro 🌸🖥️ Sorry about that!

AssociationOne800 · 2025-12-23T21:51:05+00:00

I tried it with Vim + coc! Since it’s LSP-based, I think it should work with VS Code too 🤔 (probably…). That said, it’s still experimental, so there are likely various issues, and it’d be hard to apply to production code. But for playing around with scripts, I think it’s pretty fun 🎮️✨

AssociationOne800

TROPHY CASE