anitil

10 ms·

181.
by anitil 7mo ago
> Using these more sophisticated data structures, g++ is able to compute the prime numbers below 10000 in only 8 seconds, using a modest 3.1 GiB of memory. Finally, I can get some primes on my laptop!
182.
by anitil 7mo ago
This is a concerning read, I'm not quite sure what the driving motivation is for Artemis, but the following answered at least part of my question - > That context is a moon program that has spent close to $100 billion and 25 years w
183.
by anitil 7mo ago
They said they're replacing 15 years of Nginx+Lua, that's a testament to how good it can be.
184.
by anitil 7mo ago
It reminds me of the mercury delay lines - https://en.wikipedia.org/wiki/Delay-line_memory
185.
Spotting issues in DeFi with dimensional analysis(blog.trailofbits.com)
2 points by anitil 7mo ago|1 comments
186.
by anitil 7mo ago
This is an interesting approach to problem solving that I'm surprised an LLM would help with. There is also a followup [0] releasing this tool as a Claude plugin (I haven't tried it myself). I'm much less interested in the ap
187.
by anitil 7mo ago
I couldn't quite follow the logic in this article, though some comments on here have clarified what it seems Drew means here. To be honest, this spiralling logic reminds me of my thought processes when I was at my most depressed
188.
by anitil 7mo ago
I had added a file to (I think) .git/info/exclude for .... reasons, which worked well until I couldn't find that file with rg. It's still my default grep though.
189.
by anitil 7mo ago
I remember listening to a podcast (possibly complex systems?) that said the best way to find what kinds of frauds are out there is by looking at what known fraudsters are up to. [0] It might have been this one, but I can't find it in t
190.
by anitil 8mo ago
To be honest I prefer this type of communication over the I-can't-believe-it's-not-layoffs that my previous employer was doing. At least it's honest that it is a decision they've made.
191.
by anitil 8mo ago
I ran in to a couple problems when trying that script (details below), but I'm really happy that you shared it, because I had not seen ':windo diffthis' before, and that method of scripting diffs. I'll definitely be cust
192.
by anitil 8mo ago
I've also found llms seem to love it when calling out to tools, I suppose for them having stderr interspersed messaged in their input doesn't make much difference
193.
by anitil 8mo ago
The level of engineering and problem solving needed for such a charming game just brightens my day. I remember the post about ssh keystroke obfuscation as well, and I really enjoy how limiting yourself to smaller systems forces you to solve
194.
by anitil 8mo ago
This is concerning, it feels a bit tragedy-of-the-commons I suppose where having public tests are a valuable public good, thought I can't quite get the analogy straight in my head.
195.
by anitil 8mo ago
I've been thinking through what features I'd want in a language if I were designing one myself, and one of my desires is to have exhaustive matches on enums (which could be made of any primitive type) and sum types. The ability to
196.
by anitil 8mo ago
There's so many times where I realise what I thought was simple in C turns out to be a minefield. I'd assumed an enum was 'word' sized, so 64 bits on a 64 bit architecture, but instead it turns out to be unspecified, and
197.
by anitil 8mo ago
Wow TIL thankyou! I've got a bunch of small things like this in my current project that always complicate my PRs, this will solve that handily.
198.
by anitil 8mo ago
This was really interesting. Man pages are at the same time really useful, while being arcane and frustrating to use. I still never remember is it 'man 1 read' or 'man 2 read' for libc vs the bash 'read' comman
199.
by anitil 8mo ago
No I think all the platforms have roughly similar features (it's not too hard - I built a toy one in a weekend using sqlite's fts module), but the speed and usefulness seem much better than the other platforms I've tried
200.
by anitil 8mo ago
For all the negativity on github I will praise them for one really good feature - code search across an organisation. I've found it really useful particularly for 'platform' related changes to be able to find how other people
201.
by anitil 8mo ago
> wrist-sized Linux What a charming turn of phrase!
202.
by anitil 8mo ago
The more I work in software, the more amazed I am that anything works at all. There's likely so much low hanging fruit out there
203.
by anitil 8mo ago
This is a really interesting way of distributing binary executables. I don't think I'd quite put all the pieces together that it could be done this way, with python just acting as a thing layer over the executable itself. I feel l
204.
by anitil 8mo ago
There are so many scary parts of libc, this is a really exciting project
205.
by anitil 9mo ago
That's me! I found I was treated much better in software, the timelines were much more reasonable and your input was valued. When doing firmware, typically everyone's timelines would slip but the delivery date wouldn't which
206.
by anitil 9mo ago
It warms my cold heart every time I open up an sqlite file and read - > May you do good and not evil. > May you find forgiveness for yourself and forgive others. > May you share freely, never taking more than you give.
207.
by anitil 9mo ago
It's possible that you have natural charisma or talent. But I'd say the people on HN probably lean towards more introverted so sales is probably quite hard for them
208.
by anitil 9mo ago
Can you recommend any resources on CDCL? I've just started reading up on Dart's primer [0] but I feel like it's slightly out of my grasp [0] https://github.com/dart-lang/pub/blob/master/doc
209.
by anitil 9mo ago
This was a fun read, and my first time seeing 'asv' used to track performance over time. I was surprised to see the regexes used to capture version info, I thought it would be a custom parser
210.
by anitil 10mo ago
Ah, I was wondering if it was one of those. And of course there's a relevant xkcd [0] [0] https://xkcd.com/1217/

More ›