Viewing profile — nmadden

> The pads are split into three pieces that are XORed to create the actual pad to reduce risk of compromise. Thus creating a two-time pad, which is completely insecure…

Re: cheap - Anthropic’s write-up said it cost $20,000 of runs to find that bug (and a few others). So not that cheap compared to other tools - more similar in cost to human review/…

> Crashing is not an outage. Are you in the right thread?

MBP = Macbook Pro AW = Apple Watch? What is APP?

Not sure why you're being downvoted for recommending a classic textbook!

> Because in practice, everything is finite. Indeed! https://neilmadden.blog/2019/02/24/why-you-really-can-parse-...

100% reproducible deterministic bugs are absolutely the easiest class of bugs.

The proprietary/commercial TALA engine is really excellent too. I’ve been using it to do complex dataflow diagrams, and the results are so incredibly well laid out.

I guess. But it would only impact you if you’re using cookies with curl (I assume the middleware is only applied to requests with cookies?) — and it seems pretty easy to add a -H ‘…

The article has a whole section about requiring those headers by forcing the use of TLS 1.3 — the theory being that browsers modern enough to support 1.3 are also modern enough to …

Enforcing TLS 1.3 seems like a roundabout way to enforce this. Why not simply block requests that don’t have an Origin/Sec-Fetch-Site header?

Yes, of course it’s (largely) subjective. But I have actually read much of the source code of Spring. I know it _very_ well.

Java is sprawling now. It wasn’t 26 years ago.

Yes, in theory they are good. In practice they cause enormous amounts of pain and work for library maintainers with little benefit to them (often only downsides). So, many librarie…

Do you really think that in 26 years of professional Java programming I’d have never touched Spring? I’ve been using Spring since it was first released. I’ve found CVEs in Spring (…

> The first day I used it, Claude got stuck in a loop trying to fix a problem using the same 2 incorrect solutions again and again and burnt through $30 of API credits before I rea…

The improvements in programming are largely due to the adoption of “agentic” architectures. This is really a hybrid neural-symbolic approach: the symbolic part being the interprete…

This was before LLMs. It was a combination of unit and end-to-end tests and tests written to comprehensively test every combination of parameters (eg test this security property ho…

Adding some OAuth helps a bit: https://neilmadden.blog/2022/01/20/why-the-oauth-mtls-spec-i... (I quite like the combo of app-level OAuth plus mTLS service mesh for backend comms).…

CBOR is basically a fork of MsgPack. I prefer the original - it’s simpler and there are more high-quality implementations available.

Yes (although practically speaking it’s very unlikely that Grover will ever break AES-128), but that’s still a brute force attack and still subject to the physical limits mentioned…

That’s true for AES-256. But brute force attacks are not the most efficient way to attack RSA, so it’s not true in that case. (Eg quantum computers would break RSA-4096 but not AES…

Yes, the WebAuthn spec is pretty unreadable. Every time I open it I feel like I’m lost in a maze of twisty hyperlinks, all alike.

Have you ever attended an all hands that couldn’t have been an email?