anitil

4 ms·

31.
by anitil 1mo 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
32.
Solving the Jane Street reverse engineering challenge(jestoph.com)
438 points by anitil 1mo ago|99 comments
33.
by anitil 1mo 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
34.
by anitil 1mo 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
35.
by anitil 1mo 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
36.
by anitil 1mo 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
37.
by anitil 1mo 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
38.
In the product end game, every change carries significant risk(devblogs.microsoft.com)
4 points by anitil 1mo ago|1 comments
39.
by anitil 1mo 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
40.
Pointer Stability for ArrayLists (In Zig)(ziglang.org)
3 points by anitil 1mo ago|1 comments
41.
by anitil 1mo 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
42.
by anitil 1mo ago
> dynamically sized fields are packed into a contiguous area of memory Are you able to explain this? Do you mean an N sized array where each entry is either a value or a pointer to a value where the 'pointed-to' values are afte
43.
by anitil 1mo ago
I had no idea! I have heard that 'heaps of' and 'have a think about' are unique though
44.
by anitil 1mo ago
I'm keen to follow along with Wild as their intent is to be incremental, and Zig recently announced incremental linking support. I'm also a fan as its cool to seen an Australian working full time on open source (I'm also Aust
45.
by anitil 2mo ago
Very impressive for a 17yo!
46.
How much memory is needed to render a TrueType font to bitmap(nothings.org)
2 points by anitil 2mo ago|1 comments
47.
by anitil 2mo ago
By Sean Barrett who I know from popularising single-header C libraries, and is apparently a known figure in the gaming world A fun treatment of a dilema I've come across a few times when trying to limit excessive memory allocation. It&
48.
by anitil 2mo ago
It says a lot about sqlite that a bug becomes front-page news on HN. I'm impressed that Tailscale took this seriously enough to engage with a commercial support contract. I'd love to work for a company that cared so much about cor
49.
by anitil 2mo ago
This is so cool, and having a live demo is just chefs kiss
50.
by anitil 2mo ago
Have you tried using HardCaml? I heard about it on the Jane Street (of course) podcast. I've only used vhdl and verilog, and liked neither
51.
Open Science Framework Shutting down, Use ResearchBox Instead(datacolada.org)
1 points by anitil 2mo ago|1 comments
52.
by anitil 2mo ago
I believe it's a public good that researchers should be able to share the materials and analysis of their research. Sadly it seems they've found that hosting files on the internet is a dangerous endeavour, and so they are shutting
53.
by anitil 2mo ago
If you're comfortable sharing, did you have any symptoms? Or was it just latent/dormant?
54.
by anitil 2mo ago
That is a very cool contribution, I actually didn't know that it required a new calling convention! I look forward to reading your thesis
55.
by anitil 2mo ago
Thanks! I agree, I've only just started looking at the gds file and I keep thinking - 'is that it?'. But then, I guess there's thousands of different use cases, and this is the simplest format that works for all of them.
56.
by anitil 2mo ago
I've been working on the Jane Street reverse engineering puzzle that was posted here a few days ago[0]. As usual I've not made much progress on the actual challenge because I've fallen down a bunch of rabbit holes. So far I&#
57.
by anitil 2mo ago
In some sense companies that don't protect your data make money off the back of your data being leaked (in the sense that they saved money by not spending it on security)
58.
by anitil 2mo ago
I'm becoming a big fan of Zig every since learning about `zig cc` as a way of dipping my toes in it. I was already impressed by the build caching so I'm keen to play with this
59.
by anitil 2mo ago
I came across this via patio11's podcast [0] and really enjoyed it. I'd also recommend listening to their podcast or reading the transcript [0] https://www.complexsystemspodcast.com/episodes/what-youre-ac...
60.
by anitil 2mo ago
I appreciate this opinion, it's very generous

More ›