HNHacker News
TopNewBestAskShowJobs

solar-ice

392 karma · joined April 22, 2022

submissionscomments
solar-ice··on Usage of EU subsidiaries of US cloud providers deemed unlawful by German court
The procedure and requirements for obtaining a warrant under the CLOUD Act is not sufficient due process according to EU law - which is law which matters when operating a commercial business in the EU.
solar-ice··on Usage of EU subsidiaries of US cloud providers deemed unlawful by German court
Pretty sure EU countries cannot in fact (in general) demand personal data of anyone from EU companies without due process. If you can find law to the contrary, let me know.
solar-ice··on Usage of EU subsidiaries of US cloud providers deemed unlawful by German court
How on earth is "the US is able to demand personal data of EU citizens without due process" a fishy premise?
solar-ice··on MiniRust
Entirely agree with that - and I'm a professional Rust dev, working with video. It's like using C++ for web services. Why would you do that?
solar-ice··on Everyone loves e-bikes – except some who have to share roads with them
In Germany, your e-scooter needs to be insured, and definitely have to follow traffic laws when on the road, can be ridden on bike paths and lanes, and cannot be ridden on pavements. It's pretty simple. The problem is e-scooter retailers have no interest in teaching people how to use the things they sell.
solar-ice··on Formally Verifying Rust's Opaque Types
The optimisations for Rust's iterators primarily come from the fact that iterators can trivially maintain Rust's safety properties (skipping runtime checks in the code, without an optimiser even being involved) and iterator-like constructs are easier for generic optimisation passes in LLVM to reason about.
solar-ice··on Formally Verifying Rust's Opaque Types
Using the iterator's .next() method in a loop - or the built-in expression for doing so - avoids maintaining an integer counter and indexing. It is simply not semantically the same thing, and you cannot approximate what iterators get you with your counting loop in safe Rust code. The difference in semantics is why one enables you to avoid overflow checks and the other does not, given the semantics of Rust which don't allow skipping those overflow checks in safe code.

At a "base level", every language is exactly equivalent - they are all approximations of a turing machine - so I really don't get that argument unless you are trying to argue that every language is really just C in disguise.

solar-ice··on Formally Verifying Rust's Opaque Types
1..n is an iterator. The while loop is torturing the poor language - it is using the wrong tools to achieve a goal that is much better achieved using the things it does have direct semantic support for.
solar-ice··on Formally Verifying Rust's Opaque Types
A while loop is not semantic support for incrementing a number on each loop. It is semantic support for checking a condition on each loop.

You can increment a number yourself, but at that point you're doing something where there is significantly better language support for just using iterators. You may as well claim Rust has semantic support for, idk, bubblesort, because you can write bubblesort with it.

solar-ice··on Formally Verifying Rust's Opaque Types
Rust has built-in semantic support for iterators; the compiler knows about the Iterator and IntoIterator traits and has specific syntax (the for expression, also known as the "iterator loop expression") to use them. In fact there is no direct semantic support for the type of loop you are talking about.
solar-ice··on Google’s in-house desktop Linux
It is not reasonable to demand that open-source developers build a product for one of the world's largest companies because it is "too hard" for that company to ship a functioning product.
solar-ice··on Time for Army Corps of Engineers to investigate moving water West?
I recently visited Denver for work - I have never felt so entirely trapped in my life. That's not better off to me - not having the freedom to walk, to take the bus, because you're surrounded by what I would call a "motorway" and they call a "street" is something I don't understand.

Imagine trying to raise your kids to be independent human beings when they can't walk to the shops, can't visit their friends without mummy or daddy driving them, and can't take the bus to the local swimming pool/cinema/library/whatever.

Anyway, try not looking around London, it's not the only city in the UK, believe it or not. And I mentioned rent rather than purchase price. Nobody in my social circle can buy in either the US or the UK.

solar-ice··on Time for Army Corps of Engineers to investigate moving water West?
Yes, but the average US house is basically in the middle of the countryside by British standards, that's the difference. We could say Americans are very poor by British standards since they can't live near shops, work, etc.

If you want to live an hour outside the city and drive everywhere, you can rent a 3-bedroom detached house of a similar size as a US house reasonably easily, for about the same price. The difference is that when you give people a choice - which they don't have in much of the US - many apparently choose not to do that.

solar-ice··on Time for Army Corps of Engineers to investigate moving water West?
> The only real difference is that, on average, Europeans tend to prioritise shorter commutes and living closer to town over large homes.

And afaict Americans /are prohibited from/ prioritising that due to zoning - it is nearly impossible to get an apartment close to shops, work, and functioning public transit.

solar-ice··on Tor is fighting and beating Russian censorship
> Are the free countries in war with Russia? > Is US in war with Russia? Is EU in war in Russia?

Yes.

> If so, should we already send nukes?

No.

solar-ice··on How far can you go by train in 5h?
Germany, the UK, Sweden, NL… India even. Pickpocketing, in the big central stations, same as anywhere lots of people are, sure - violence, no.
solar-ice··on How far can you go by train in 5h?
They just… don’t, elsewhere. That’s not a normal state of affairs. Something is horribly wrong with how you’re doing something - either with the stations, or with society - if that’s the case.
solar-ice··on Spain will introduce free train travel
Has New York by any chance… considered offering showers to people who need them, without tying nonsense requirements to said service?
solar-ice··on Spain will introduce free train travel
Cool, so you would like the Government to fund construction and maintenance of the rails as long as the operation of trains is ticketed? :)
solar-ice··on Notice of termination of Twitter merger agreement
Gonna be honest - once you are talking about billions of dollars, nobody gives a shit about ethics. There’s what you contractually agreed to do, and that’s it.

Nobody gets to the point where they either have significant control over Twitter or have the money to buy Twitter by being ethical.

An ethical person would not have signed an agreement to almost definitely buy Twitter, intentionally giving up several common buyers’ rights on this sort of thing, and then spend the next month and a half trying to get out of it.

solar-ice··on The Fediverse can be pretty toxic
I find Drew Devault can be pretty toxic. “Toxic person winds up in toxic social environment” is not exactly a shocking thing.

In general though, yeah, Twitter-like systems are not the best form of social media.

solar-ice··on Notice of termination of Twitter merger agreement
If he didn’t want to buy it, he shouldn’t have signed a contract saying they are going to buy it with a huge amount of fanfare, several lawyers, and initially against the desire of the company. He knew, well in advance, what he was buying, and he explicitly waived the right to due diligence.
solar-ice··on TikTok updated privacy policy to collect faceprints and voiceprints (2021)
Ok so… who asked for the funding and didn’t get it? Did Republicans apply for large grants in equal numbers and not get any? What happened to result in Democratic areas getting most of the money?

You’d think that for all this is, there’d be a sob story somewhere of the Republican counties that wanted better access to voting and didn’t get it. So… what happened?

solar-ice··on TikTok updated privacy policy to collect faceprints and voiceprints (2021)
Are there stories of red counties applying for the money and not getting it? Or perhaps it was only marketed towards Dems?

What’s the argument as to what happened here?

solar-ice··on Thunderbird 102
Can you show me where to opt in, and where this is documented? The only stats I can find that are close to the number provided are for total registered users.
solar-ice··on FBI: Stolen PII and deepfakes used to apply for remote tech jobs
I have no strong opinion on the working multiple jobs thing, but a single person making $140k is not forced to do anything. That is not a low wage. Fucking hell.
solar-ice··on Thunderbird 102
Matrix doesn’t report daily active users. IRC only reports people who are connected right this moment. Those are two entirely different numbers.
solar-ice··on Germany Ends Ban on Abortion Advertisement
Even billboard advertisement is not the same as making it cool.
solar-ice··on Germany Ends Ban on Abortion Advertisement
Abortion has never been advertised as “cool”, anywhere in the world, so I don’t know why that’s where your head goes. Women aren’t idiots - they are, usually, informed about their options, a heck of a lot more than the men fucking them are.

People have always forgotten to take any pill they have to take regularly. Plan B gives people an option they didn’t have before when that happens. There’s no evidence there that Plan B causes people to take the pill less regularly.

https://www.nhs.uk/conditions/contraception/miss-combined-pi... - “ If you have missed 1 pill anywhere in the pack or started a new pack 1 day late, you're still protected against pregnancy.”

solar-ice··on Germany Ends Ban on Abortion Advertisement
> if people know plan B is easily accessible, they're not as regular with taking a daily pill as they'd be otherwise

I would like to know where this belief comes from. Discussing this change of law like this, with vague anecdotes and fears, is outright dangerous, since the argument is essentially against giving people appropriate medical information.

← PreviousPage 2 of 4Next →