HackerTrans
TopNewTrendsCommentsPastAskShowJobs

griffinmb

no profile record

comments

griffinmb
·4 ay önce·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 yıl önce·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 yıl önce·discuss
Yeah, it doesn’t fix the issue at all. Rough to have a security product demo be fundamentally insecure.
griffinmb
·3 yıl önce·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 yıl önce·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 yıl önce·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.