skysight-inc/HackerNews huggingface dataset:
Schneier is asking for an dedicated, FAA-like Robot/AI governmental regulatory agency.

I do not believe we need one.

Farm implements have been killing us for far longer, and in far larger numbers. (approx. 20 deaths per 100K, out of 2.1mm in agro in 2020. [1]) Yet, we do not have a "tractor overturn death prevention agency (TODPA)" There is already ROPS 1928.51.

In the USA, re-evaluating the OSHA requirements would reduce the number of at-work robot accidents.

[1] https://www.cdc.gov/niosh/topics/aginjury/default.html caveat emptor lots of lumped in deaths
I'm a bit paranoid about 2FA ever since my charging port got damaged and I literally couldn't charge my phone to get to authentication.

Scary stuff, had to give sooo much personal information over the course of months to recover a single account.

Not sure a solution, maybe have a wifi only phone that I only turn on for Auth?
I think systems like this are prone to buckling under product pressure. If it takes a few minutes to override a lint rule it's bound to happen sooner or later. With a microservice system the amount of effort is genuinely higher to add cross-dependencies.
Show HN: Building a privacy tool that helps users to delete their personal data
I linked a primary source, you should read it.
SIM swapping is one thing, but the actual service (X in this case) allowing access to the account via access to the phone number, even without SMS 2FA enabled, is the real problem.
Steam downloads are so terribly slow. I can suck down 100Gb during a cup of coffee using my browser, bittorrent or even the (yuck) Epic Game Store. But with Steam it takes multiple hours. I have tried to diagnose the problem but as far as I can tell it's because Steam uses really aggressive compression and they process each block as it is downloaded. This causes the download to stall and wait for the CPU to catch up.
Yeah, I'm aware of Kani, but it is not optimal for many reasons, including but not limited: hard to install in some cases, loop unrolling is mandatory and does not scale in general (this is a main issue with bounded model checkers, not just Kani), and hard to give hints for efficient verification and/or harness generation. And Kani makes use of CMBC, which is a model checker for C/C++, so Rust is not even special in this regard.
You're setting up a binary between advanced/primitive; I would hesitate to speculate that they would conform to our ideas of these concepts.

The other thing to consider is, we might perceive some actions as violence, while the other species may not view it at violence at all. We may simply be materials that can be reallocated for other purposes, just like how humans often view living things in our environment.
Note zstd can be fine-tuned to almost any ratio between performance and compression, worth trying multiple different settings

https://raw.githubusercontent.com/facebook/zstd/v1.3.4/doc/i...
> Or should we implement regulations? I shudder at the thought.

If OP reads this: why do you "shudder at the thought"?
I'm ready for this future.

Heck, I don't even like that email can be used to recover basically every account.

Someone gets your computer unlocked? They have access to email and everything.
Doesn't Twitter force you to add a phone number now?
> [..] and even if it was, that would not be evidence for it to be true over others

sure, it's not possible to distinguish it from some of the others.

This thread started with comparing it to some theories that instead invoked non-local effects, which would violate general relativity, so there's that.
(Quiet founder here)

I've been a bit breathlessly replying to comments and am now late for a weekly team meeting, but I just wanted to say that we're friends with the Tor Project, they like us and support apps like Quiet (and Briar, Cwtch, etc.) existing, and we're also part of a small circle of Tor fans who funded Tor to hire two full-time engineers to focus on onion services reliability after the DDoS attack last year, so we're donors to the project too.

Also, it's likely that distant future versions of Quiet (where we reach a large audience) will use Tor as just one way to connect. Gotta go but will respond more thoughtfully soon!
Boring Company. Hyperloop. Teslabot. New Roadster. Neuralink. Robotaxis.
> It’s hard for me to separate the COBOL from all of the other dysfunctional things going on at the company. I knew that the language was a dead-end and did not want to get stuck with it. Not because I didn’t like the language, but because I was 21 and “Web 2.0” was in full swing and I knew I wanted to do something “cool”.

I think this is an often under-appreciated point -- languages don't live in isolation, but within a wider context of libraries, people using the language, and institutions and jobs with jobs that use the language.

As another example on this point -- at my current job, for some reason much of the backend has been written in Haskell. Haskell's a fine language, I actually really like many aspects of it. Our main product, however, is web based, a domain Haskell is completely able to handle on a technical level. In practice, though, it's a poor fit, and I find myself constantly puzzling at all the odd, non-idiomatic ways web architecture has been set up, often in ways that make it very difficult to make things work well for the web. In many cases, this has been carried over into some questionable typescript as the backend programmers then had to also try and become frontend programmers.

None of these problems are because of Haskell the language or because the original programmers were bad programmers, but because their background, and the majority of the Haskell ecosystem, just isn't really web-focused, and so conventions and assumptions most people who work mainly on the web take for granted they were unaware of or got wrong.

A language is more than just syntax and standard library, it's part of a broader culture.
The server is usually processing the images anyway, at the very least to remove EXIF metadata, but also to resize and compress the images for different resolutions.
It's not just cost of supersonic planes, but sonic booms & how far they travel.

So around populated areas it's a no-go. Which means you have to do a good portion of flight subsonic, and benefit from SS flight over a smaller leg of the yourney.

Iirc there were some studies showing that sonic booms were heard by people 100s of km's away. And eg. in Europe: more or less densely populated areas everywhere. So no SS city hopping there. Never mind check-in, waiting on runway & taxying vs. actual flight time.

Benefits simply don't outweigh the negatives on most routes. And where they might, too small a market to invest in passing technology / regulatory hurdles.
100MB for storage or per email? For storage, that is way too small. You can easily hit that limit in a few months of light usage. All my utilities send me PDFs each month, and that adds up quickly.

Last year, while doing renovations, the contractor and I were sending PDF drawings back and forth. I would have gone over the limit on a single day.

We need something that lasts a lifetime with full archival and backup.
I’m afraid to because I mean specifically in my context and I don’t want to inadvertently police how you communicate. You may not live where I do and the word can hold a different connotation as demonstrated by the original commenter pointing out that bigot was not originally about racism.
The fact that they are "poorly organized and managed" is just one of the factors that make them inherently unique.

In a competitive business environment, organizations like this routinely cease to exist.

No one has developed a realistic solution for this that isn't even worse than the problem.
Erlang is a very simple language though especially compared to elixir. The runtime semantics are fairly unusual but it almost completely shares those with elixir so you'll have to learn them anyway. The BEAM is very complex but again you have to learn that anyway.
How large is that number in the Law of Large Numbers?
I've got an account from 2009 and have never had to enter my phone number (if I ever get asked, that'll be the time when I stop using it).
I sleep just fine in the room next to the room with a 2U server on stock fans. Though it's not heavily loaded, and I've tuned the fan curves so it only goes full blast under load
My time with Rails is up (2016)
I've actually seen some of the COBOL that underpins these financial entities. Typically the code base and writing style has morphed into a number of nearly incompatible dialects over the decades it has ran at these places. I've never really learned enough about it to understand copybooks and the other functions/file types it has.
Vodafone and Three UK Merger: a three-competitor market
> So what should it do? Continue futilely braking to a likely-fatal accident when it impacts the truck? Or swerve to avoid?

Just speculating, but I'd wager we end up with a suboptimal solution to particular instances like this in favor of a general policy that is a) predictable, and b) minimizes liability. IOW, the car will be programmed to brake rather than swerve, because swerving opens many unpredictable cans of worms, as you've noted. Braking may be the worse answer here, but as a general matter, I think you're going to have an easier time in court arguing that the car did its best to brake to avoid a collision vs. arguing that the fact that it swerved and, say, hit a schoolbus or went over a cliff.
It's been years since I last had corrupted downloads, and I think that was back when Steam used its own download protocol, off colocated Valve-owned mirror servers. As of some years back it's all HTTP-based[1] now and off Akamai CDN IIRC. (I don't mean to say "works on my machine" but trying to theorize why it's so common for you while saying why it's generally more stable nowadays)

Have you ever tried to reproduce this on a different ISP or even hotspot? Wired vs wireless? Maybe there's some transmission corruption going on over the wire that's only caught during final validation? (And thus having to redownload chunks much later instead of inline)

1: https://developer.valvesoftware.com/wiki/SteamPipe
Spotube – Free Alternative for Spotify
> The author isn’t defending Google.

My reading of the thread is that this is the fundamental presumption of the thread.

I think your differences with the OP go deeper.

> It’s a joke until it isn’t.

My reading wasn't that it was necessarily a joke, but making a point.

Sort of like threatening to put a camera in the bathroom of someone who says they have "nothing to hide" when discussing the patriot act.

It makes the point in a more visceral way than a simple argument ever could, and gets the point across quite well.
They assumed that if it works in China, it will work in the US as well.
I RTFA, and this is not my experience. I just built a new gaming PC for about $900 with an AMD Radeon 6700 XT and the game runs smooth at 4K on the default high setting, about 50 fps normally. An SSD has been expected for AAA gaming for years. The game, as a game, is fine. I'm not saying you should like it, but if you don't like it then it's probably because you don't like the genre. As the article mentions, it's pretty derivative material within its genre, not exactly breaking a lot of new ground. This is fine. I have experienced no bugs whatsoever. I like the way it looks.
Jesus. All that and you haven't even launched yet?
> Why were schools using unvetted materials in the first place!?

Maybe to train the kids in vetting materials themselves? Seems like an important skill. It's incredible that in school you're never confronted two contradictory sources of information and have to decide which is right.
What do you mean by native Web components?
I think your focus on kaligraphy is damaging to the lesson. You should pick something your son values, and teach him to drive it to perfection. Then watch him getting annoyed when you half-ass it in front of him.

All education is a crude attempt at telepathy and while repeated confrontation can transport the value you place upon a thing, it does not make it intrinsic.
Also skills are filtered for right to exist every generation. Skills become value less is a normal and even healthy thing.
Have a paper backup of the codes?
As long as you're not replicating the data model also which means you're now replicating the business logic that go along with the data model.

An ETL approach from the start will save you a lot of headache.
"Depends on how much the boss likes you, and what mood they are in when you ask."
I have had two XPS because price/performance. All for years and used daily. The charger failed in all of them. Heats up, stops charging. Battery swelled, made keyboard unusable (only some keys work). Screen failed for a while but then started working again. Network card failed on both, had to be swapped. Swapped RAM on one. Both sit on a cooling pad or overheat badly. The XPS is a hell of a lot of performance for price, but if I had to be constantly on the go and work from a laptop, I would probably get something else to avoid the embarrassment of peripherals working intermittently.
Goddamn!

I always wondered why it took until Win UI _3_ to decouple...but I guess this is why.
Because browser vendors have already invested too much into the existing C/C++ code base. They can thus accept new code with the same degree of coding standard.
Every competent TOTP implementation has backup codes. Use one of your backup codes when your phone breaks.

You did write them down like the site told you to, right?

Even if a site doesn't offer backup codes, you can extract the TOTP secret from the QR code, or most authenticator apps, quite easily, and then write it down.

It's more secure to only save the backup codes though since they have a limited number of uses, while the TOTP secret has unlimited uses.
Unfortunately that's the only way to break the Windows monopoly on gaming.

Maybe in X years this may change, but that's just reality.
You do not have to agree, you have to experience it firsthand. I travel on a frequent basis and still run into occasional problems. 6GHz frequency bands on 5G are still not supported outside the US, for example.

Granted, 5G is the best we have had so far, 4G was worse, and 3G was even worse. 2G effectively did not exist outside Europe and most Asia, for the US had incompatible TDMA and CDMA networks and only got 2G on a largely unsupported 1.9GHz frequency with exactly one mobile operator, which only the Motorola and a few other handsets could use. To travel to South Korea, one had to acquire a CDMA handset, for the country did not have 2G GSM networks.

I am not claiming that MiFi is a perfect solution. It is a solid compromise, though. I am also aware of the firmware problems (my current 5G MiFi device does not even properly support WPA3), but I can live with that for now and will replace the device at a smaller cost compared to a laptop replacement cost. I am okay with that.
I'm not that familiar with Chrome's process isolation but I think that the renderer process that displays your Reddit.com tab would still render that image, even if it came from a different domain.

Chrome doesn't spin up another process to render the image and then transfer the pixels.
>At one point it was 35 engineers, but layoffs took it down to 7, at which point we started to get a lot more done.

Years ago I did two back to back contracts for two different pharmaceutical companies. They were both about the same size but one had an IT group that was ten times the size of the other. You can guess which project was late and painful.
It still posits that we are in one of (probably) infinite universes corresponding to each possible outcome (unless you are getting confused with the "Consistent histories" interpretation). That is a part of the fundamental mechanism of the Everett interpretation, it's literally why it's called the Many World Interpretation. Just because you can make a physical analogy for that branching doesn't mean it isn't an extra element in your ontology
Dasharo Compatible with MSI Pro Z690-A Release v1.1.2
I like to have a step zero, that comes even before you try to reproduce the issue: get your head right, essentially.

If something's broken in production and the bug is hard to figure out, that often means stress. And stress is not good for helping you to solve problems. So take a few breaths, slow down, relax.

Slowing down to get into the right frame of mind helps get to the _right_ fix faster, because your panicked brain is not jumping to all kinds of speculative conclusions about what the solution might be. Be calm, observe, reflect.

Coincidentally, I wrote a blog post about this and my other steps for debugging not long ago:

https://philbooth.me/blog/how-to-debug
Just upvoting this isn't enough. I work in a large .NET shop. I only wish there was just the option of building admin or LOB apps with any of the three you listed above.

Sure, there's some consistency in the tech stack, but I do not need a full-blown TypeScript/React SPA any time I just need a page with a form.
This was exactly my experience.

I then got a short contracting gig when I needed some cash. It was good money - and I never wanted to do that kind of work again. The language has any number of deficiencies, that have been fixed by later languages. And as another commenter mentioned - the departments that use it have any number deficiencies, many of them political, that got them into this position.

It is not something I would recommend for fun.
Science upside for Starship – Casey Handmer's blog
They have their cool logo and a list of interesting books/plays they tried to ban on Wikipedia:

https://en.wikipedia.org/wiki/New_York_Society_for_the_Suppr...
Too good for sighup? I deplore an API when signals should work perfectly fine
There's a rash of "I don't like ____ butt" going around, innit?
Show HN: SwiftUI App to visualize social relations
Hi,
I created an SwiftUI app to create visualizations of relations between persons. For example, a family tree or the relationships between friends could be created.

Additionally the app should help you to remember names (do you know the name of the kids from your friends?) and notify you for upcoming birthdays.

It was a lot of work to get it working with SwiftUI (Dragging around nodes, creating relationships, automatically align items, ...). I did not use any third party library or SDK.

If you have any questions, feel free to ask.
Curious. I have been getting full download speeds from Steam with no issues.
It's pointless to speak about violating general relativity because we don't have a quantum theory of gravity yet
> they definitely occupy a close-to-monopoly

I think this has changed, at least in my view recently. I find a lot more of my time spent on games in Xbox Gamepass than on Steam these days and have a bunch more launchers as publishers have pushed games to their own platforms.
The trolley problem is idealistic and in reality there won't be almost never a either ... or.

In practice, these days most likely a neural net decides what is the best maneuver to avoid serious harm to the people in its car.
As alternative the net could try to enforce rules that "global harm" should be minimized.

And then both options as in the trolley problem are most likely not equal, in terms of probability.
My Steam account is turning 20 today at 4:58pm (CET) and I cannot help but feel a bit old for the very first time. I still remember all my friends hating it so much in the beginning because it would slow our PCs down and cost us valuable FPS in Counter-Strike. It's amazing what Valve has achieved with Steam since then. Happy Birthday Steam!
> My humble opinion is, autodriving cars should never leave the
roadway. See, the people on the road have voluntarily put
themselves 'in the game'.

I think this is as close to the "correct" answer for the Trolleycar
problem as one can get. Even when your passenger is the Nobel winning
cancer scientist and the hapless bystanders are "worthless criminals"
(or whatever arbitrary utility standard we suppose society might
choose).

Restricting the fallout to those who choose to use autonomous devices
while totally protecting "externalities" also aligns with market
forces, if you believe in those.

The autonomous car absolutely should kill the passengers, even if a
better utilitarian outcome seems available but involving others who
did not choose to play that game.

And herein lies the current deep fault in all technologies (but
particularly digital ones): The convenience of the few (or even the
majority) is becoming an imposition on the welfare of others who do not
choose or want to play that game. It is, in these terms, quite simply
"tyranny".
This is not a question of proof, this is a question of definition. x/y is not defined for y=0.

0/0 is not infinity nor 0. It is not, full stop. At most you can decide by convention that 0/0 should be treated like infinity or 0 in your particular cases.

(though I'm interested if you have pointers about this)
>The more challenging topic is military/government use of robots in war or citizen control scenarios.

Absolutely not challenging. They will come and will be used. Nothing you can do about it unless you DRM everything. And then of course the government will still have them. Topic closed.

>Interesting that the article focuses on the unintentional killing of people by robots

I doubt that there was ever killing. The first two examples are people trying to do maintenance on plugged machines. If you try to fix moving steamroller by standing in front of the wheel - don't be surprised at the consequences.

The south africa one - it depends - if the turret just misfired in this general direction - is no different than a mine or shell exploding. If it scanned the soldiers, recognized them as targets and then shoot - then it is killing.
Eventually the people that run it now will age and die,
and one day the vampires will move in to suck its corpse dry.
May not be our problem but will be someone's problem.

There's gotta be a fourth verse here that completes it.
Or a brick wall, a robot who will murder any human who runs into it fast enough.
This is a problem blown far out of proportion by those opposed to wind power who scream blue-bloody-murder about a few birds killed by turbines while ignoring the much greater number of birds killed by pollution from coal plants those wind turbines are replacing.

https://www.eesi.org/articles/view/how-harmful-is-renewable-...

> According to the data, while solar* is estimated to cause 1,000 to 28,000 bird deaths annually, and wind 140,000 to 328,000, coal kills far more – about 7.9 million birds a year

That's thirty times more birds killed by coal than the upper estimate of birds killed by wind turbines.

* "solar" being concentrated solar power, which is quite uncommon. PV panels do not cause significant avian deaths.

For anyone about to suggest this is because there is more coal than wind: https://www.tandfonline.com/doi/full/10.1080/1943815X.2012.7...

> It estimates that wind farms are responsible for roughly 0.27 avian fatalities per gigawatt-hour (GWh) of electricity while nuclear power plants involve 0.6 fatalities per GWh and fossil-fueled power stations are responsible for about 9.4 fatalities per GWh

Study link: https://grist.org/wp-content/uploads/2014/01/contextualizing...

More data from the Sierra Club, showing wind turbines are the least of problems birds face: https://www.sierraclub.org/michigan/wind-turbines-and-birds-...