darkdimius

5 ms·

1.
Tools to find vulnerable hosts to Log4j attack and see if mitigations worked(github.com)
1 points by darkdimius 5y ago|0 comments
2.
by darkdimius 6y ago
Dmitry here, from Stripe. One of founding members of Sorbet(though I no longer work on it anymore). Story that Ufuk shares is common. We saw this process repeat in many companies, Stripe, Shopify and many others - folks are initially bother
3.
by darkdimius 6y ago
(One of core devs on Sorbet) Agreed. But don't read too much in RBS details yet. RBI is currently very early and will need to change substantially learning from experience of actually typechecking real codebases. Stripe and Shopify are
4.
by darkdimius 7y ago
This is true, we're part of a single working group that's working on types for Ruby3. https://twitter.com/darkdimius/status/1119130004313350144 has some detail
5.
by darkdimius 7y ago
We only use it at build time, as for a user, it should be invisible for you
6.
by darkdimius 7y ago
Companies that use Rails have also started working on https://github.com/chanzuckerberg/sorbet-rails , worth checking out!
7.
by darkdimius 7y ago
Yes, join the slack! While Stripe doesn't run rails all other companies in private beta did!
8.
Sorbet, a typechecker for Ruby is now open-source(twitter.com)
11 points by darkdimius 7y ago|0 comments
9.
State of Sorbet(Typechecker for Ruby) May 2019(sorbet.org)
6 points by darkdimius 7y ago|0 comments
10.
by darkdimius 7y ago
A lot of great insight in this comment. The only difference is that Stipe has foresaw the problems and has been working on productivity for quite a while, with a dedicated group of people who help our engineers by building tools and abstrac
11.
by darkdimius 7y ago
See https://news.ycombinator.com/item?id=19697581
12.
by darkdimius 7y ago
We're collaborating with @yukihiro_matz, @mametter, @soutaro and Jeff Forster to make sure that types are not disruptive to Ruby. Thus, types are optional. The intention is to deliver value for unmodified Ruby programs. Hear more from
13.
by darkdimius 7y ago
We're currently looking for beta users! Reach out to us at sorbet@stripe.com. If you describe your team&codebase in the email, it will help us figure out what cohort to include you in.
14.
by darkdimius 7y ago
Indeed Sorbet does have literal types for strings and Ruby symbols. We're still figuring out the details and converging on a common type system for Ruby3, but we've found them super useful, as you rightly point out! And +1 on the
15.
Types will be part of Ruby 3 stdlib source(twitter.com)
387 points by darkdimius 7y ago|210 comments
16.
by darkdimius 8y ago
> A question I didn't get to ask while there is -- will there be some sort of type sharing system introduced? Yes. This was one of goals of our talks. We wanted implementors of type systems for ruby to start collaborating, in partic
17.
Dotty 0.2.0-RC1(scala-lang.org)
97 points by darkdimius 9y ago|19 comments
18.
Dotty, a language that is slated to become Scala 3.0, releases 0.1.2-RC1(twitter.com)
6 points by darkdimius 9y ago|0 comments
19.
by darkdimius 10y ago
Hi. I'm one of main developers of Dotty. I've gave answers to similar concerns here: https://www.reddit.com/r/programming/comments/44um2l/fear_un...
20.
by darkdimius 11y ago
http://www.infoq.com/news/2015/10/dotty-scala-bootstraps has some more details.