anitil

6 ms·

1.
by anitil 6d 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).
2.
by anitil 7d 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
3.
by anitil 8d 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
4.
by anitil 9d 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.
5.
by anitil 9d 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
6.
by anitil 9d 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
7.
by anitil 9d 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
8.
by anitil 9d 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
9.
by anitil 10d 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
10.
by anitil 10d 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
11.
by anitil 12d ago
You're very welcome!
12.
by anitil 12d 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
13.
by anitil 12d 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!
14.
by anitil 12d ago
Oh no! Thanks for that, I must have read it 10 times before posting but somehow didn't spot that it was wrong
15.
by anitil 12d ago
I took it as a compliment!
16.
by anitil 12d 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
17.
by anitil 12d 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!
18.
by anitil 12d 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
19.
by anitil 12d 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
20.
by anitil 12d ago
That's really interesting that you actually used z3 to extract the output from the circuit! It hadn't occurred to me that it would be possible to do that. I suppose I got a little fixated on my approach of running a verilog simula
21.
Solving the Jane Street reverse engineering challenge(jestoph.com)
438 points by anitil 12d ago|99 comments
22.
by anitil 12d ago
Hi HN, I recently solved the Jane Street reverse engineering challenge [0], and I wrote a blog post on how I reached the answer. It's a moderately technical and (hopefully) entertaining run through of the process. I hope you enjoy read
23.
by anitil 14d ago
This is a followup of the previous post that was discussed on here [0], but with (I think) quite reasonable accusations of fraud. The linear regression across the two sections, with integer-only offsets that heavily influenced only in the d
24.
by anitil 16d ago
I absolutely loved this article (and pretty much everything else from computer.rip). It's true that every field is a world unto itself, and it's so fun to have a tiny peek in to this. Funny enough I used to work in firmware adjace
25.
by anitil 16d ago
Thanks for such a thorough reply! I initially thought you were describing flexible array members, but this sounds like the ability to have different types/members concatenated
26.
by anitil 18d ago
I was re-reading Ian Lance Taylor's series of articles on Linkers [0], and one thing I didn't realise is that using dynamically linked libraries almost requires self-modifying code unless you want to resolve all function calls are
27.
In the product end game, every change carries significant risk(devblogs.microsoft.com)
4 points by anitil 20d ago|1 comments
28.
by anitil 20d ago
A post by Raymond Chen (The Old New Thing) about how last-minute fixes on a product release can be more risky than taking no action. I have seen this attitude in hardware and firmware, but not so much in software
29.
Pointer Stability for ArrayLists (In Zig)(ziglang.org)
3 points by anitil 20d ago|1 comments
30.
by anitil 20d ago
I just came across an interesting update for Zig, in the direction of supporting a certain class of memory safety. I haven't seen this exact approach before, it seems to be like a limited version of 'const-ability' where you

More ›