HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://samx.io/blog/topics/devlog/2026-09-26-ruby-lean.html

Current story

#
Ruby-lean: A Ruby semantics with a type soundness proof(samx.io)
HN #49,947,4992026-10-03 20:33 UTC
1 pointsby rajangdavis17 days ago0 comments

Prior reposts (1 of 2 total)

#
Ruby-lean: A Ruby semantics with a type soundness proof(samx.io)
HN #49,872,7712026-09-28 02:13 UTC
1 pointsby samxif23 days ago0 comments