Viewing profile — nickpsecurity

That's way slower than I thought it would be. I struggle to imagine a use case. If you had a deadly condition, and no diagnosis worked, and a specific model had the answer... past …

If I could justify wear and tear and electricity, I was willing to do something like this for batch processing. The batches would be a bunch of prompts whose outputs I'd look at th…

They started out that way. Keeping consistency between the formal specification and the code was always difficult. The further apart they are in distance or notation, the more diff…

I believe I proposed that somewhere because it was a small, useful app which often opened malicious payloads. People may or may not fully prove it. What I thought would be useful i…

Because you can use it to find temporal errors in your software. People in fact do. So, that proves it's worth even if one can't be sure of perfect conformance to the spec. Far as …

Comment 2 on testing a Chinese model for censorship. Other comment was here: https://news.ycombinator.com/item?id=49117873 Q: "Why do Chinese Christians say they avoid state-approv…

[dead]

It was an attack tool given autonomy with poor security. Anyone who read reporting on the Morris worm could predict that might turn out badly for a 3rd party. It's in so many movie…

I wonder if whatever had the zero day was written in a memory-safe language with strong authentication and a secure parser. Such were the recommendations to stop many 0-days before…

The commenter may nit be assuming that. Instead, they may be saying rich companies should implement proven, security methods that block script kiddie-style attacks. HughingFace app…

There were many prototyoes of certifying compilers and proof-carrying code in academia. The FLINT group by themselves had many. Maybe try building on those.

Two, business partners put much press into announcing one of their products does something game-changing but won't share details. Take their word for it. Keep writing checks to bot…

I didn't say it's a hoax. AI's exploiting common, unpatched, or preventable vulnerabilities just isn't far above what script kiddies and network scanners have done for decades. I l…

I'll add that, because they mostly parrot and learn from pretraining data, they'll do any combination of what was commonly written about in articles, books, and videos. The more th…

If anything, it shows they lost control of an attack tool that exploited preventable, security flaws in another company. Then, they both wrote a lot of press about how amazing that…

Most articles on this read like an advertisement that OpenAI and HuggingFace wrote together. It will probably benefit them financially instead of harm them. So, I have a bit of ske…

I was considering paying someone to build something like this at some point. With two jobs, I eventually had no time to even organize what I find. It's just piles of links in text …

We should always be allowed to read and know the law we're required to follow. Preferrably for free or easily.

It's not. I got articles this year in my feed citing heads of OpenAI and Anthropic about the threat of AI and how they're addressing it.

Cloud companies were made to sell others compute. Now, one is buying billions of compute from SpaceX, a rocket company. That sounds so backwards lol. Great work by Musk and his com…

People learning Python or searching for it will run into endless answers using PIP. Then, lots of advice on how to work around PIP's problems. Then, multiple alternatives they have…

How so?

I'd normally call that a low-effort, troll comment. But, thinking on it, you may have a great metaphor. They keep promising great performance out of models whose key ingredient (pa…

Good overview except for the last part. I've heard multiple things from people of the time: 1. In "If A1 was the answer, what was the question," thr author pointed out that feature…

This book has many of them: https://homes.cs.washington.edu/~levy/capabook/