griffinmb
Joined 12 years ago
Karma
987
Submissions
126
Member since
Apr 18
Recent submissions
Comment · 7 months ago
This is not the same company. The OP Tiny Corp accused them of Trademark infringement on Twitter, due to exactly this kind of misconception.
Comment · 2 years ago
Agreed that there’s no way to do this meaningfully and securely.
Looking forward to the archeological audits of LLM-developed apps x years from now that are a total mystery to the product owners…
Comment · 2 years ago
Yeah, it doesn’t fix the issue at all. Rough to have a security product demo be fundamentally insecure.
Comment · 3 years ago
I created/maintained a popular project for years[^1], and recently passed ownership to someone else. It's been great seeing issues resolve, PRs merge, etc, after languishing for a while :)
Comment · 4 years ago
The point is that with a powerful Effects system, devs calling the logger would have to account for the network call in their own code. Someone might have wondered why that was needed and gotten this addressed before it was ever widespread.
Comment · 4 years ago
Effects can definitely help, but a strong type system allows you to encode security concerns for compile time feedback as well.
See https://gmb.is/refinement-types.html for a non-Haskell example.
Comment · 5 years ago
Given that he's now un-retweeted it, it looks like even amasad agreed it wasn't a good look.
Comment · 5 years ago
Based on your retweet[1], you still seem to be publicly punching down.
[1]: https://twitter.com/pnegahdar/status/1402018604233732098?s=2...
Comment · 5 years ago
You probably know this, but correcting for anyone reading. C is generally considered statically but *weakly* typed.
Comment · 6 years ago
It’s versioned, which is an improvement on “agility”
[ my public key: https://keybase.io/griffinmb; my proof: https://keybase.io/griffinmb/sigs/u-6FMiNO_5m8QCpOTM-1WeHOnVBTJwx9YIjSIJFSsNY ]