durdn

I just saw your reply now, I suck at HN, thank you! I'll check out the repo!

and even more interesting, how many that can't be enforced by a linter can be enforced by Typesafe's Jev?

give us some more details on this awesome c+vulkan desktop environment! Screenshots? will you publish it? very curious!

Dude, word! I've been in love with Pragmasevka the moment a friend recommended it. Only thing to adjust is the `cell width` of your terminal.

it's not X, it's Y.

oh man I used Terminus for so long till my finger hurt ... recently I was very happy with Cascadia Mono but now I've migrated to (as I was saying in another thread) Pragmasevka (derivative of Iosevka that mimics Pragmata Pro). It's really great.

First, it’s LLMs can’t do cryptanalysis. They can barely solve toy substitution ciphers without hallucinating.

Then it’s OK, they can reproduce known attacks, but that’s just pattern matching against papers already in the training data.

Then it’s OK, they found previously unknown attacks on SpoC and a flaw in KINDI’s security proof, but those are obscure competition schemes nobody uses.

Then it’s OK, Claude found a new attack on HAWK that cuts the effective security of a NIST post-quantum signature candidate roughly in half, but HAWK isn’t deployed and a human researcher was involved.

Then it’s OK, Claude independently found a new cryptanalytic attack on AES that improves the previous best technique by 200–800×, but it’s only 7-round AES, not the full 10 rounds.

Then it’s OK, it found a practical key-recovery attack on 13-round LEA that runs in under an hour instead of requiring ~2^86 work, but LEA has 24 rounds.

Then it’s OK but none of this breaks a production cipher.

Wake me up when it breaks full AES.

Then—

I found this post hilarious exactly about this the other day:

First, it’s AI can’t multiply 4-digit numbers.

Then it’s AI can only, by brute force, get silver in the IMO with specialized systems.

Then it’s OK, well, now a general-purpose model can get gold, but it’s still just the IMO, it’s for high schoolers.

Then it’s OK, it can solve a few trivial Erdős problems, but only because nobody seriously tried them before, they were low-hanging fruit.

Then it’s OK, a lot of serious mathematicians tried this one, but the result was still obvious in hindsight, it just combined knowledge from a thought-to-be-unrelated field, if any human knew that, they would solve it.

And then to OK, but there are still Millennium Prize Problems.

Then OK well it's just Navier-Stokes wake me up when its the Riemann Hypothesis.

Then-

He wrote a lot about this. For example he built an e-commerce meta platform in Lisp that would allow anyone to build and customise their own shops that was far ahead of anything that existed at the time.