This was a really good introduction to both libc++ and libc++abi for me as someone who have worked in mostly-C, in particular his thread-safe initialization example. If you look at the PR description it's clear that a lot of care went in to explaining his reasoning. I appreciate that he's thoughtful about understanding that merging this is adopting a restriction on future development and offers to maintain a fork.
On that latest episode of 'Security Cryptography Whatever' [0] they mention that the time spent on improving the harness (at the moment) end up being outperformed by the strategy of "wait for the next model". I doubt that will continue, but it broke my intuition about how to improve them
This is basically how you should treat all AI dev. Working around AI model limits for something that will take 3-6 months of work has very little ROI compared to building what works today and just waiting and building what works tomorrow tomorrow.
This is the hard part - especially with larger initiatives, it takes quite a bit of work to evaluate what the current combination of harness + LLM is good at. Running experiments yourself is cumbersome and expensive, public benchmarks are flawed. I wish providers would release at least a set of blessed example trajectories alongside new models.
As it is, we're stuck with "yeah it seems this works well for bootstrapping a Next.js UI"...
There is a premium on risk reduction. I believe this is one of the reasons why companies like to incorporate in Delaware as the courts there are notoriously fast (I'm going off my memory of a Planet Money episode so could be wrong here).
The sqlite project actually benefited from this dogfooding. Interestingly recursive CTEs [0] were added to sqlite due to wanting to trace commit history [1]
This is an interesting de-obfuscation tool that Trail of Bits has built. I'd never come across this technique of hiding logical/arithmetic operations so it was interesting to learn about it and how they've attempted to de-obfuscate it.
> 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.
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 with nothing to show for itself, at an agency that has just experienced mass firings and been through a near-death experience with its science budget
Worded provocatively but with a $200B Iran war bill being pushed and DHS funding in the OBBA being increased by over $300B from baseline, it’s not necessarily wrong.
reply