HackerTrans
TopNewTrendsCommentsPastAskShowJobs

griffinmb

no profile record

comments

griffinmb
·4 months ago·discuss
This is not the same company. The OP Tiny Corp accused them of Trademark infringement on Twitter, due to exactly this kind of misconception.
griffinmb
·3 years ago·discuss
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…
griffinmb
·3 years ago·discuss
Yeah, it doesn’t fix the issue at all. Rough to have a security product demo be fundamentally insecure.
griffinmb
·3 years ago·discuss
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 :)

[^1]: https://github.com/nccgroup/sobelow
griffinmb
·5 years ago·discuss
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.
griffinmb
·5 years ago·discuss
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.
griffinmb
·5 years ago·discuss
Given that he's now un-retweeted it, it looks like even amasad agreed it wasn't a good look.
griffinmb
·5 years ago·discuss
Based on your retweet[1], you still seem to be publicly punching down.

[1]: https://twitter.com/pnegahdar/status/1402018604233732098?s=2...