HackerTrans
TopNewTrendsCommentsPastAskShowJobs

griffinmb

no profile record

comments

griffinmb
·قبل 4 أشهر·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 سنوات·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 سنوات·discuss
Yeah, it doesn’t fix the issue at all. Rough to have a security product demo be fundamentally insecure.
griffinmb
·قبل 3 سنوات·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 سنوات·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 سنوات·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.