Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
rwmj
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
151.
▲
by
rwmj
3mo ago
I actually think the participate XOR vote behaviour of Slashdot was a great feature! It stops people pettily downvoting comments that don't agree with them on the same discussion.
152.
▲
by
rwmj
3mo ago
As an aside I once went on a tour of the museums of Amsterdam with an expert guide (paid for by the company I was visiting). It was fantastic! A completely different experience from being a regular tourist. I learned far more about Amste
153.
▲
by
rwmj
3mo ago
But prompting an AI adds nothing. Journalism is about research, interviewing the people involved, finding new facts, and then presenting that to your audience in a way they can understand. Getting an AI to write about something is just di
154.
▲
by
rwmj
3mo ago
You'd know that if you'd done any research at all. Compare this to Jeff Guo (NPR) or Henry van Dyck (Veritasium) or my contact at the WSJ. They all investigated this story, interviewed key people (more people were interviewed for
155.
▲
by
rwmj
3mo ago
I read parts of it, being first hand involved in all this, and it seems like it was written by AI to me. If you used an AI to write it or help with it, why not just admit to it?
156.
▲
by
rwmj
3mo ago
The number that stuck out was 200K lines of code. Can you expand on why so much code had to be written and which parts were the longest (time and/or code) and hardest bits?
157.
▲
Could AI Be Conscious?
(theguardian.com)
3 points
by
rwmj
3mo ago
|
6 comments
158.
▲
by
rwmj
3mo ago
Interesting! It uses (the Linux equivalent of) NBD. However as Chris says in the article that's not really an alternative to NFS since you can't share files meaningfully.
159.
▲
Britain's Nearly Revolution of 1926
(davidaaronovitch.substack.com)
3 points
by
rwmj
3mo ago
|
0 comments
160.
▲
by
rwmj
3mo ago
But they're going to try anyway.
161.
▲
by
rwmj
3mo ago
https://archive.ph/UyksP
162.
▲
Airbus migrating 70 critical apps from AWS to France's Scaleway
(theregister.com)
9 points
by
rwmj
3mo ago
|
2 comments
163.
▲
by
rwmj
3mo ago
https://archive.ph/i9R37
164.
▲
by
rwmj
3mo ago
Those techniques are implemented by default in Fedora & Debian. You have to opt out if for some reason you don't want to use them. So almost all C software compiled in these two major distros are using all of them. (Likely in ot
165.
▲
The Physics of Interstellar Travel
(centauri-dreams.org)
7 points
by
rwmj
3mo ago
|
0 comments
166.
▲
by
rwmj
3mo ago
Major OS vendors have added loads of hardening to their C compilers. Not bounds checking specifically (because even if the overhead was only 20% that would be too high) but tons of other stuff such as: stack canaries, control flow integrit
167.
▲
by
rwmj
3mo ago
The alternative is you use a compiler that adds bounds checking. It's possible to do this with C, with fine object granularity (even separate stack objects), and even preserve compatibility with existing non-bounds checked library cod
168.
▲
by
rwmj
3mo ago
If you walk through a town shouting racist stuff you'll get arrested too, and rightly so.
169.
▲
by
rwmj
3mo ago
I'm trying to work out what this means. The "millions" employed at Meta?
170.
▲
by
rwmj
3mo ago
However you can do what Airbus do and formally prove your C code and use a formally proven toolchain like compcert to compile it. Or you can take a performance hit and add bounds checking to the C code[1]. Aircraft systems are probably th
171.
▲
by
rwmj
3mo ago
ARM and Microsoft don't "care" enough to do anything beyond a bit of token research. Maybe there will be some extremely niche chips one day, or maybe not because the problem can be solved 90% as well in software on ordinary
172.
▲
by
rwmj
3mo ago
The problems with CHERI are not whether it's technically good or not, it's organizational. It's an academic project that requires everyone to boil the ocean. They tried to get ARM interested and that didn't go anywhere
173.
▲
by
rwmj
3mo ago
Rivos was competitive. Sadly bought by Meta and "disappeared" into the company.
174.
▲
by
rwmj
3mo ago
is what every company that didn't understand disruption said.
175.
▲
by
rwmj
3mo ago
There's zero chance CHERI will go anywhere, I wouldn't worry about it.
176.
▲
by
rwmj
3mo ago
Krste wasn't even saying anything controversial. It's obvious that manufacturers will use the cheapest (free) least legally entangled option, and that this adoption will happen first amongst those with the tightest margins. And
177.
▲
by
rwmj
3mo ago
In the UK you pay income tax on the initial price; then if you hold the shares before selling capital gains tax on any gains. However CGT is a much lower rate than income tax so I guess it could be a bit advantageous. But you have to fact
178.
▲
by
rwmj
3mo ago
The amp is this one: https://www.amazon.co.uk/dp/B098JTSJTH As far as I could tell the cable is dumb. If you plug the cable into a regular USB-C socket (which I do not recommend) then the tip is +5V and the rest is
179.
▲
by
rwmj
3mo ago
Sure, but a prediction made 3 months ago turns out to be short by a few percent at most, and that leads to a 25%+ drop in the share price? That seems weird to me.
180.
▲
by
rwmj
3mo ago
Great meaning bad?
More ›