anitil

What a great title. I never quite understood why XML took over the world and got itself baked in to everything. I guess it kind of did everything well enough compared to whatever came before? Or because it was heavily used in Java-land?

Edit to add: This is also the only time I've seen JWT used in a security comparison and come out on top! (re: not including the signature in the payload)

I have a followup question. Given we have Equivalence meaning every Point is equal, is it possible to allow some small margin of error? Say if you have a pipeline where you require an exact match in the centre of the frame but can allow errors near the margin? I'm analogising with '--funsafe-math' where you might be willing to allow some errors in the pursuit of speed as long as it's fun and safe.

This isn't my field, but if I'm understanding correctly this is so cool. I love the idea of being able to unlock optimisations by formally specifying behaviour.

On a side note I chuckled at the following -

> Web browsers, for example, struggle to render modern web pages

I'm really excited to see this sort of comparison and it's interesting to see what goes in to them. One question I do have is that I believe Wild really wants to focus on incremental linking as a feature (though it's not yet incremental I believe). So I'm not 100% sure that I understand why this sort of benchmark is worth pursuing, or maybe it's that pursuing raw performance helps in the pursuit of incremental linking?

They're pretty readable, I recommend that second one (though it leaves some questions I have unanswered). It's a good example of how latent issues with a large system can go unrecognised for a long time before a seeming unrelated change can trigger a cascading failure

Thanks! That visual style approach works better for me, hopefully it sticks

Yeah I've seen plenty of kernels that start with a 2 with no forward path possible due to "we don't know how to get our driver working anymore"

Maybe the closest is 'join' similar to `",".join([...])`? If we could replace the string with an operator

I like fold too, but I can never remember foldl vs foldr, it's always backwards to what I expect somehow

Oh it's a bit like unordered-delete when using an arena. I guess I would have expected an ordered-delete instead

> How hard can it be?

> As it turns out: enormously hard.

This exactly tracks me learning everything

Jane Street released a new challenge so I'm considering picking it up. It hasn't fully captured my brain, but I can feel it in there from time to time and depending how it lands it might be my next project [0]. I'm not really a hardware person but I'm close enough that it's maybe within reach

[0] https://blog.janestreet.com/protocol-emulator-asic-competiti...

Uh oh. The last one was pretty tough for me and this one is much bigger. If anyone is interested to form a team let me know (probably east coast AU timezone ideally).

Ah I see in my head I expect blackouts to be a few minutes, so I hadn't thought what would happen after several hours. When I was in the embedded world I used to explain that https implies a whole lot of infrastructure that isn't obvious at first for this reason (and also that cert rotation implies the ability to update the firmware or some filesystem which isn't always the case).

This is so cool, and so beautiful! You've done a fantastic job on this. This is the sort of site I wish I were capable of producing, it reminds me of the ciechanow site [0] in that it's both really educational and beautiful at the same time. It's answered questions I had like 'why is power always at the top and ground always at the bottom?'

And I love the way that you solved it by understanding really well what each section does. I worked out bits and pieces of each one, but I realise now that I was missing a lot of clues that were right in front of me (for example that it represented an 11x11 grid, the operation of what I called 'the blob' on the lower right etc). And so far as I can tell you're the only one to find `TWO''NOT TOUCH`

Edit to ask: How did you find the `TWO''NOT TOUCH` output? I assume you worked it out via some structure? I gave up after 4 messages not realising it was possible to get more.

[0] https://ciechanow.ski/ - I particularly liked the one about the mechanical watch mechanisms, but honestly pick any

You know how everyone thinks agents are bad at the thing they're good at and good at the thing they're bad at? It turns out I must be bad at testing, because I thought they do a reasonable job.

I was confused about that too - I ended up posting an empty page to generate the link ahead of time (and hoping that it wouldn't get picked up by anything), then actually posting the solution later.

I also realised I'd missed a lot of easter eggs, like the morse code - I wish I'd spotted that!

I thought it was a fun video (the first I've watched of yours, though I read the blog). And I'd honestly forgotten about the Telstra outage even though it was news here

This sounds pretty interesting - what are you working on where it's necessary to maintain this level of time precision? I've worked on positioning systems where it's obviously important, but it never mattered much at home

Thanks for sharing that I'm very interested to read the auditor's results

Edit: That's it!? It's also not clear on whether it was a configuration or a firmware issue (or both). It sounds like maybe there was some battery backed ram or something that reset maybe?

Edit number 2: Ok I re-read it and it is better than I thought, still many questions though.

This is really cool! It's so fun to see what you can achieve and what's optional. I have seen the 'single character variable' limitation in some other minilangs before, but using the source itself as the target of function calls and loops is new to me. It does make a lot of sense but I wouldn't have thought of that.

I recently registered a domain for the first time, and I wonder if this is why I suddenly had to fill in a ton of recaptchas while I was searching for providers. Even just simple queries like 'how do I configure A records in Godaddy' seemed to trigger it

You're very welcome!

That is incredible! I've never heard of a Star Battle checker, but that explains the output! Another commenter pointed out there was also some morse code in the layout

I emailed them and asked as I'm in Sydney and didn't want to mess it up - they said to wait until the end of my workday, so I posted it at roughly 5:30 my time. I hope I didn't spoil it!

Oh no! Thanks for that, I must have read it 10 times before posting but somehow didn't spot that it was wrong

I took it as a compliment!

No spoilers! But thanks I did find out after I published, I just thought it was funnier not to know while I was working on it

> Incredible amount of determination

That's very kind of you. At some point I had put so much of myself in to it that I was in too deep and the only was out was to keep digging.

I'll take a look at librelane thanks!

I'd say they could solve it much faster than I could. Some of the other commenters are mentioning tools that would have made this so much easier, and I'd assume an LLM would know to use them