roca

13 ms·

181.
by roca 4y ago
I'm not an expert on Mexico but none of this has happened in NZ with the TPP.
182.
by roca 4y ago
So the Biden administration isn't really trying to cancel student debt? They are faking the attempt, secure in the knowledge that courts will strike it down? That sounds like an A-grade conspiracy theory to me. > The only citizens
183.
by roca 4y ago
Their vaccines weren't great but mandating them would have been a lot better than nothing.
184.
by roca 4y ago
It's not a great society for Uyghurs, or Christians, or Falun Gong, or anyone who want to speak their mind. It's not just accepting limitations on your personal freedom, it's being comfortable with the oppression of everyone
185.
by roca 4y ago
Really? Why is Biden canceling student debt then?
186.
by roca 4y ago
I know some Christians in NZ who are from mainland China. They have the same stories.
187.
by roca 4y ago
Lots of relatively rich countries are in the TPP, including my country, NZ. It has significant rules protecting labour and environmental conditions. It's fine. From your link: > The surplus with Mexico turned into a chronic deficit.
188.
by roca 4y ago
They could have vaccinated their population while they were maintaining zero-COVID. It's a mystery to me why they didn't make vaccination mandatory.
189.
by roca 4y ago
NZ didn't have anything like the COVID death spike that Hong Kong did. https://www.worldometers.info/coronavirus/country/new-zealan... https://www.worldometers.info/coronavirus/country&#x
190.
by roca 4y ago
> that country, like Africa, is too deeply colonized (likewise, with a despicable morally corrupt elite) to do anything of value to its own people IMO. https://databankfiles.worldbank.org/public/ddpext_download/
191.
by roca 4y ago
This assumes that humans in knowledge-based industries will maintain a significant cost-effective edge over AIs in some economically relevant skill domain. There's no reason to believe that will still be true in, say, 10 years.
192.
by roca 4y ago
That's been true for over a decade. Hasn't happened in the wild though AFAIK. I don't think there's an incentive for anyone to do this.
193.
by roca 4y ago
The "problem" here is only that life expectancy has not continued to increase at the rate it was increasing up to around 2010. I see no reason to assume that life expectancy would continue to increase indefinitely at a linear rate
194.
by roca 4y ago
Unsigned integer overflow is not undefined behavior in C++ so won't be caught by UBSan. Also, UBSan is more overhead than turning on Rust's overflow checking.
195.
by roca 4y ago
Pernosco combines conditions, logging, and interactive debugging in a really nice way. https://pernos.co/about/expressions/
196.
by roca 4y ago
That could work in the old Unix days, and for toy problems today. But if Firefox crashes you can't just build a mental model of 10M lines of code and intuit the problem.
197.
by roca 4y ago
rr lets you call program functions just like gdb does (using the same gdb commands, in fact). The limitation is that any state changed by those functions is simply dropped when the function ends. It's still super-useful for dumping pro
198.
by roca 4y ago
Debuggers are chronically under-invested in. A lot of the pain points could be fixed just with more money and staff. It's a chicken-and-egg situation --- people don't use debuggers that much, for various reasons, so there isn&#x27
199.
by roca 4y ago
Most record-and-replay debuggers let you store the recording to debug as many times as you want. Pernosco (which builds on rr) has some really powerful state-recording and state-sharing UI for long-term and collaborative debugging. https:&
200.
by roca 4y ago
It helps. In Rust debug builds, integer overflows crash -> tests will detect them. In release builds they're not detected by default, but you can add "overflow-checks = true" to the Cargo profile to enable those checks in
201.
by roca 4y ago
What if your personal chatbot was subverted by the super-persuader, or was controlled by it from the beginning? Impossible to be sure. We're going to have to stop talking to machines.
202.
by roca 4y ago
It's actually quite different. That "someone much better than you" has limited time and is probably expensive to hire, therefore there can still be opportunities for less-skilled people. When that "someone" is an AI
203.
by roca 4y ago
I suspect AI is going to make today's teenagers feel a lot worse. How can you imagine a future for yourself when any skill you might learn might be obsolete by the time you learn it?
204.
by roca 4y ago
Time-travel debugging and omniscient debugging are different. For example, https://rr-project.org is a time-travel debugger --- it can simulate executing backwards through time --- but it is not an omnisicient debugger because i
205.
by roca 4y ago
China is weakening. Centralization of power is making the government brittle. The government is deeply unpopular domestically, and there is no outlet for this resentment so it's continually building. China has no real allies; most coun
206.
by roca 4y ago
(Disclaimer: rr maintainer.) As others have said here, in practice rr works very well for debugging a wide range of bugs in multithreaded programs, including race conditions. Where it falls down: * It can only use a single core, so highly p
207.
by roca 4y ago
So the question is, how does one maintain hope and joy while taking human depravity seriously? My answer is: by following Christ. Some of Garshin's peers could see this but apparently Garshin himself could not.
208.
by roca 4y ago
In NZ in the early 80s there was a "RadPhone" service for recreational boaters over VHF --- you could call the Coast Guard operator on a dedicated VHF channel, give them a phone number, and they'd make the call and connect it
209.
by roca 4y ago
I learned to run fairly late in life barefoot on a beach. I like it and it works for me and I can't be bothered changing it.
210.
by roca 4y ago
I've been kicked out of a mall for not wearing shoes. I guess I should have kicked up a fuss.

More ›