I remember learning about that from Stephenson’s Cryptonomicon, back in the day. It’s not even a US-specific thing. Many countries recruit foreigners to their militaries.…
> Technically a large landmass, but essentially nothing happens in the western half. Depends what you mean by "western half," I suppose, but China is definitely not a relatively small country. Shanghai to Chongqing is…
I hate the dark forest more than just about any scifi trope but reality just keeps proving it right.
1. Grand Theft Auto VI is about to release, and it’s been widely anticipated by all sorts of normies—not just the subset of gamers who also happen to care about ownership rights. So there are a lot more eyes on the…
This is very sad, but I came to the same conclusion with my math blogging a couple years back. There’s little point to publishing any personal effort on the internet anymore. At best you get some spam comments and your…
My go-to is “It’s the only thing I was good at in school, I was hopeless at everything else,” which is only a slight exaggeration.
It’s highly nontrivial to verify that a 250k loc Lean program actually represents that which it claims. I guess it could be AI turtles checking and summarizing all the way down, but is that any more credible than a…
> do you expect this to remain true? If so, for how long? For the foreseeable future. Left to their own devices current LLMs kinda wander off into outsider art territory. They aren’t grounded in the real world and they…
I remember learning about that from Stephenson’s Cryptonomicon, back in the day. It’s not even a US-specific thing. Many countries recruit foreigners to their militaries.…
> Technically a large landmass, but essentially nothing happens in the western half. Depends what you mean by "western half," I suppose, but China is definitely not a relatively small country. Shanghai to Chongqing is…
I hate the dark forest more than just about any scifi trope but reality just keeps proving it right.
1. Grand Theft Auto VI is about to release, and it’s been widely anticipated by all sorts of normies—not just the subset of gamers who also happen to care about ownership rights. So there are a lot more eyes on the…
This is very sad, but I came to the same conclusion with my math blogging a couple years back. There’s little point to publishing any personal effort on the internet anymore. At best you get some spam comments and your…
My go-to is “It’s the only thing I was good at in school, I was hopeless at everything else,” which is only a slight exaggeration.
It’s highly nontrivial to verify that a 250k loc Lean program actually represents that which it claims. I guess it could be AI turtles checking and summarizing all the way down, but is that any more credible than a…
> do you expect this to remain true? If so, for how long? For the foreseeable future. Left to their own devices current LLMs kinda wander off into outsider art territory. They aren’t grounded in the real world and they…