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.

Interesting cycle, someone making Iosevka more pragmatapro like here: https://github.com/shytikov/pragmasevka

A friend pointed me to a derivative of Iosevka that tries to mimic the historical (and commercially licensed) Pragmata Pro and the result is an insanely great font I've migrated to recently: https://github.com/shytikov/pragmasevka

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-

I did a similar thing, took those sub agents primitives and ran with it: https://github.com/durdn/herdr-interactive-subagents I do still use more than one harness though.

My same line of thinking and apparently of several others, turns out herdr has a plug-in for this: https://github.com/nikok6/herdr-mirror which is close to what I need.

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.

I've been using ChatGPT for similar visual recognition things. Recently I took a video of a car because I really liked its color. I upladed the video to ChatGPT and asked to extract which paint color I'd need to specify to a modding garage to put a foil on my car. ChatGPT really impressed me, extracted a screenshot, did a color analysis of the paint, found the palettes from paint vendors and found for me the exact paint code to tell the garage. I was speechless.

In the same domain I used for years timebuddy https://www.worldtimebuddy.com/

I liked this metaphor:

>It was more like handholding a fresh grad who had absorbed all of human knowledge but needed someone to tie various parts of that knowledge to create something useful.

Very impressive. Recently I watched this really amazing lecture on building GPT from scratch from Karpathy, I was blown away: https://www.youtube.com/watch?v=kCc8FmEb1nY&t=642s

The date of the merge has been known for sometime, so the price increase has been mostkly priced in the previous weeks (see recent pumps). Unfortunately the recent US CPI info release has sent the markets (including crypto ones) into a frenzy. In any case I am optimistic that the price of Eth will explode once the better part of this "recession" is behind us.

I mean, can a x10 engineer read and update the docs too or is that only for the 1xs? I too am not too sure about many points in this list ... and also the point this page is trying to make.

We are all average engineers in the end, there's always someone more productive, with more experience, with more dedication, with more energy ... somewhere in your organisation. As long as the organisation can keep a learning and collaborative environment and the assholes at the door, I welcome as many 10x engineers as they will fit the room. But then if all your peers are 10x engineers ... they become 1xs ?

You may need to choose a "Source" in the top left. I got the same error before choosing a character.

Top Chess Engine Championship: http://tcec.chessdom.com/season13/live.php and the amazing community project of LCZero to replicate Alpha Zero results in Chess: https://groups.google.com/forum/#!forum/lczero

You expressed my exact thoughts and I was about to link to the same insightful article. I guess my comment could've been shortened as a silent upvote, but I commented anyway.

These are little pleasures and forgive the tiny vanity moment: I wrote the first article you linked. I also wrote more recently a follow up on just subtree: https://developer.atlassian.com/blog/2015/05/the-power-of-gi...

I found out exactly the same problem :)

I'll check how you did it. I wrote my notes and a couple of scripts down in a post: https://developer.atlassian.com/blog/2016/02/best-way-to-sto...

As promised I wrote a post about your setup. Thanks a lot for bringing the technique to my attention: https://developer.atlassian.com/blog/2016/02/best-way-to-sto...

Alright I'll be careful in my wording ;).

Not at all. You can 'git add' (or in the case of the technique above 'config add') only the files and folders that are safely stored in a repository. Because of the 'ShowUntrackedFiles' flag, git/config won't always show folders you don't want to track, which would be annoying.

Working on it! I'll give you full credit for it and link to this thread for reference. Also let me know if you have a Twitter account you'd like me to reference.

I'm trying to reproduce it and documenting it as I go... ok I got it working now and I have notes. Stay tuned.