anitil

3 ms·

1.
by anitil 5d ago
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 err
2.
by anitil 5d ago
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 e
3.
by anitil 5d ago
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
4.
by anitil 8d ago
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
5.
by anitil 8d ago
Thanks! That visual style approach works better for me, hopefully it sticks
6.
by anitil 9d ago
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"
7.
by anitil 9d ago
Maybe the closest is 'join' similar to `",".join([...])`? If we could replace the string with an operator
8.
by anitil 9d ago
I like fold too, but I can never remember foldl vs foldr, it's always backwards to what I expect somehow
9.
by anitil 9d ago
Oh it's a bit like unordered-delete when using an arena. I guess I would have expected an ordered-delete instead
10.
by anitil 9d ago
> How hard can it be? > As it turns out: enormously hard. This exactly tracks me learning everything
11.
by anitil 12d ago
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
12.
by anitil 15d ago
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).
13.
by anitil 16d ago
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
14.
by anitil 17d ago
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
15.
by anitil 18d ago
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.
16.
by anitil 18d ago
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 lo
17.
by anitil 18d ago
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
18.
by anitil 18d ago
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
19.
by anitil 18d ago
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
20.
by anitil 19d ago
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 functi
21.
by anitil 19d ago
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&#x
22.
by anitil 21d ago
You're very welcome!
23.
by anitil 21d ago
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
24.
by anitil 21d ago
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!
25.
by anitil 21d ago
Oh no! Thanks for that, I must have read it 10 times before posting but somehow didn't spot that it was wrong
26.
by anitil 22d ago
I took it as a compliment!
27.
by anitil 22d ago
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
28.
by anitil 22d ago
> 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!
29.
by anitil 22d ago
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
30.
by anitil 22d ago
I'll definitely be reading this thankyou! I think this would have been a much better way to approach it, it's a bit of a joke in the piece that I always do things the hard way, but it's a genuine mystery to me why I operate t

More ›