skysight-inc/HackerNews huggingface dataset:
I just bought an RS7 recently, had an RS5, and I owned a p85D (years ago). The fit and finish of the Audi is miles ahead of the Tesla. I love what Elon does with them, but when I compare my neighbors Model S and my RS7 which were similarly priced, it's not in the same ball park.

The S Series is the best of them all, practically priced, all the enhanced features, and an enjoyable ride.

All that said, I do look forward to another EV. The best part of Audi / Porsche and other higher end manufactures with experience in building more luxury vehicles, is that it will put pressure on Tesla.

Congrats on the S6! It's a fantastic car.
I believe Thailand has methodically promoted its cuisine abroad as a way to garner cultural soft power. I, for one, do not mind in the least! Welcome our new larb moo overlords.
Maybe they should have some deal where the military gets semiconductors at cost or something. Having politicians messing around with the management decision making will just screw stuff up.
Yeah, we moved to the country following the COVID Tech Exodus from cities and there are no charging stations reasonably conveniently located. We are at end of life for our ICE car and are looking at options to purchase in the next 12 months. We may look at a hybrid, but will likely get a traditional vehicle. That calculus will likely change in a decade.

Your question is really assuming everyone has the money for the practical EV vehicle they need and that they live in or near enough locations for charging. That is only the case for a small but growing portion of society.
Doesn't china have vast coal reserves and an extreme willingness to burn it?

In such a situation, we need punitive tariffs to compensate. It is unclear how to calculate them from my perspective.
Blue team at companies

Red team at pentest companies

Law enforcement

Just about any level of effort will be better spent than going after software pirates, even if you end up only doing entry level jobs. Throw a dart blindfolded and you'll probably end up better than this.
Honestly, I think it's time to reconsider the wisdom of allowing arbitrary untrustable third party executable code to run instantly in the form of things like JavaScript on web pages, instead of just nerf everyone's computer into molasses to prop up an idea that's been bad for the web anyways.

I've been of this opinion for a while now, not just because of performance slowdowns and security issues, but also just because of the way JS on web sites has been reducing usability in the form of popups, bitcoin miners, playing videos, sudden redirects to phishing sites and whatever crazy things are out there now.

I'm not saying get rid of JS, but treat it like it is - running code you can't trust. Web sites should start as largely static HTML documents that you read, and then if they need to use JS then they should be required to ask permission to do so, the same way any other executable code is managed in any other computing environment. That seems wild, but I think it's far less crazy than taking away a decade of performance improvements to the entire computing ecosystem by default so a broken security model can continue unquestioned.
I loved visiting Coober Pedy. It reminded me of The Flintstones - you're in a room carved out of the rock and yet there's a TV in the corner.

Also it's a real "prospector town" since the massive mining companies consider it cost inefficient to mine there at scale so it's full of characters.
Income Engine Review | walkthrough Demo | Income Engine $7555 Bonuses
Ah got it, I see what you mean now. In cases like this I had to build the wheel and install it which is not great indeed.
> But mostly I simply support directed, sustained investment in ourselves and our future.

But who chooses the investment? While I'm not anti-tax, I generally think the aggregated intelligence of the free market makes the best decisions, in most cases.
And your sales people will call this a misconfiguration serious enough to fire the sysadmin who did this. The problem is that, typically, nobody trains or supervises the filter applied to the outgoing mail, and nobody is warned that it did, in fact, reject an email, and there is no manual override if the filter is, in fact, wrong. And spammers (from the viewpoint of a particular organization) don't exist and can't exist inside the organization, so any rejected outgoing email is, by definition, a false positive.

Well, viruses are the exception.
Well the world in 2000 compared to 2010 was vastly different, I'd say, so there's precedent for such a big conversion.

Can't really think of 2010 to 2020 being that transformative.

But yeah, it'll require a huge investment in charging infrastructure and the resources to generate the energy for those.

From a Southeastern Europe perspective - the charging infrastructure just doesn't exist here - I don't know how much that region is worth for Audi, but they probably don't want to lose all of that - same for a lot of regions around the world.
This raises an interesting point. Android subdivides much of its core functionality into various hidden "apps". Everyone's all up in arms about this, but I don't remember a similar outcry when the Covid-19 exposure API was "forcibly" added to the Google Services Framework. This isn't really any different from that, or any other OS update. I naturally agree that Google's remote-root is creepy and weird, but why is this the thing that's put a bee in everyone's bonnet? Is it just that an app in the app list is more visible? Won't this outcry merely encourage them to do things the less-visible way?
The idea that ivermectin (even if it works, and gets approved for this usage, which'd likely take as long as the vaccines are taking to get to that point) is an adequate alternative to a vaccine, which provides ongoing, lasting protection, is silly.

It'd be like claiming the existence of the iron lung is sufficient to yank the polio vaccine out of production.

For example, Remdesivir is approved, without any sign of that fact jeopardizing the EUA on the vaccines. https://www.cdc.gov/coronavirus/2019-ncov/hcp/therapeutic-op...

> FDA has approved one drug, remdesivir (Veklury), for the treatment of COVID-19 in hospitalized patients aged 12 years and older who weigh at least 40 kg.
We don't have extensive studies that injecting bleach helps as well.

There is a huge liability to those companies if it would end with deaths or health issues ("Facebook only looked for profits and didn't care that people were killed by misinformation")

You should not get medical advice from social media, and Facebook is also not the right place to discuss medical research.

Ironically few days ago people here commented that HN was linking to a rant on Facebook about performance in Python affected by shared libraries.

FB was considered not suitable for that kind of discussion and link was changed to bug database, yet some people don't have problem about discussing medical treatment there.
You implicitely changed the criteria though: you went from the "ideal family", which is very vague but I would understand as "a family where the members are happy in their lives", to "a family model that makes a society successful".

Optimising for the individual's happiness or for society "success" conceivably yields different family models.
I looked up your first reference (Davis and bailing, 2001), someone has taken their graphs (which stopped around 1950), and extended them to the current day (first graph on https://archive.briankoberlein.com/2017/07/15/a-man-for-all-... ). That looks fundamentally different to the previous cycle. The graph looks right to me.
Scottish cuisine is quite good and not at all daring. Things are basically the same as rural french or german cuisine, e.g. haggis and black pudding are very similar to weisser/roter Pressack, Leberwurst or boudin noir. That they usually use sheep instead of pigs doesn't make a whole lot of difference. Most fish dishes are quite common in the rest of the world as well. While I'm not very partial to filled fish heads, those are imho the only thing that stands out a little.

I guess Americans are just generally squeamish when it comes to food. ;)
I mean electronic device, things in a fridge/freezer generally don't mind condensation or deposition.
Thank you again for all the great questions and comments. I'm going to sign off now and return again in about an hour.
On the contrary proof assistants help one systematize and organize existing concepts. They are a great way to revise the basic curriculum and revolutize pedagogy. They make the creative process of defining new mathematical objects more accessible, and easier to motivate via unlocking more code reuse. They are a great way to revise the basic curriculum and revolutize pedagogy.
I don't think that (3) is true.
We detached this subthread from https://news.ycombinator.com/item?id=27562573.
ZFC was only ever developed as a proof of concept, not as a practical foundation for formal math. Structural set theories, type theories or category-based foundations are actually a lot easier to work with, and otherwise quite equivalent in power.
Ask HN: What is your favorite innovative company?
Would look to hear your thoughts on this.
I have 3 main ones:
• Stripe - they’ve been non stop launching new great products and the founders have an amazing vision of the company;
• Tesla - wether you like Elon Musk or not, everyone can agree on how impressive it is for a 5-door sedan to have the fastest acceleration of any production car in the world;
• Lilium - This is still a moonshot company but if they’re able to meet the targets of having flying cars operational by 2025 it’ll completely transform the mobility sector.
Soviet Union tried that with semiconductor industry in 1970s and 1980s. They managed to clone 8086 CPU but failed with 286 even after Soviet intelligence had stolen detailed blueprints for Intel manufacturing processes. Similarly Russia failed to create anything close to F22 engines.

What is important is manufacturing culture. Without that one can clone a factory, but it will not help with the next generational process.

And it is known how to build such culture in relatively short time frame, culture. Just look at Japan, South Korea or Taiwan.
Go back a hundred years and "national defense" was just a part of European culture. What's changed is that in the post-World War period, Europe was necessarily domesticated (aside from the UK and France) and made to be solely dependent on the US for all geopolitical and defense needs. The UK absolutely still talks about national defense issues. Germany chooses to ignore the issue because for the past 70 years, the US was tasked with dealing with these pesky minor details and Germany could pretend that any global geopolitical issues could be solved with pacifism and trade deals.
Okay but... why?

I own two vehicles, One is a cheap base model Kia Soul that I got used for very little. I also own an F-350 Dually Super Duty King Ranch edition. I used to use the truck to tow my house (42 foot fifth-wheel). It's somewhere in the 500HP range, but I needed it for what I was doing at the time. Got about 8 MPG highway pulling the fifth-wheel.

Nowadays I use the cheap Kia for almost everything, because I don't need 500 ponies under the hood and parking that monster sucks as well.

I get that a cheap Kia maybe isn't a fun car for most people, especially when they can afford a lot more car, but you don't need to get a giant SUV just to spend a lot of money on a nice/fancy car.

Do you have literally any specific need for that vehicle other than the fear you won't be able to get one later? I just don't get it. It isn't like electric is lacking in power either.
The parent commenter might have wanted to say with that that the vaccines help end the pandemic. The world benefits from that because we are losing massive amounts of money per day while still being stuck in the pandemic.
It seems exceedingly dangerous to be going from 0-60 form stoplights in morning rush traffic. It’s fine if it’s a danger to you, but you would eventually kill someone who didn’t sign up for that.
I mostly think the "appendix" system works, but I think the first party should still assume limited liability for the hardware of the device after the appendix is broken, so they still have an incentive not to conspire against their users.

Furthermore:

> Apple doesn't allow side-loading because, well, they're afraid Facebook or Epic would force users to side-load against their will, among other business reasons.

I think "other business reasons" are the bigger issue here. Facebook and Epic wouldn't "force" users to side-load content any more than Apple "forces" you to use the App Store on iOS. It's an available option that you can use at your own discretion.

Apple (unlike Prusa) has painted themselves into a pretty favorable corner. They've made their value proposition immaterial, which allows them to pretty easily deflect any accusations that their 30% cut is out of line. Apple has full control over the goalposts here: they could claim that their cut goes to hosting alone or covers the entirety of the review process.
It’s 7.5 l/100km, which is 32 mpg if my math is correct.
> It's just about a joke anywhere else I've seen.

Wow, you encompass a lot of very successful communities and businesses with that statement.

> Such as annual fees just to maintain an LLC.

I don't know what you mean exactly, but I've never heard a businessperson complain about such fees.
> What benefits is Texas seeing from the Sunset Commission? https://www.tdlr.texas.gov/ shows a lot of what appear to be wholly spurious licensing types: [...] - dietitians

[Their site](https://www.tdlr.texas.gov/diet/diet.htm) says that:

> The Dietitians program licenses and regulates dietitians in Texas. A license is required to use the titles "Licensed Dietitian" and "Provisionally Licensed Dietitian." A license is not required to use the titles "Dietitian" or "Nutritionist."

Haven't checked the others, but at least that one seems pretty reasonable.

Also, hospitals tend to have licensed-dietitians to handle stuff like making meal-plans for patients, which is apparently a more involved process than one might think, especially for patients with multiple complications.
The main take away I get from this is ..a list of torrent sites.
Hit by a ransomware attack? Your payment may be deductible
Nearly all of your links are broken. I think you copy-pasted the text of links that had been truncated with a "...", where the part prior to "..." is not sufficient to constitute a valid web address.
For instance, the link for Carvallo et al 2010 should be this, which resolves:
https://medicalpressopenaccess.com/upload/1605709669_1007.pd...

..rather than this, which doesn't:

https://medicalpressopenaccess.com/up
> yet WinUI selling point is that it is written in C++

That is probably intended to be a contrast with C# or JavaScript, not Rust.
Adobe products are really the only software I advocate pirating. There’s a lot of great software out there and we should pay for it, but some companies have just turned to greed and screwing over customers.
Because they’re buying them for $35 billion. Most likely going to be a drag on future earnings for a little while.
“List of links on topics that might be interesting to engineering managers”. It’s not a book, an article on how to manage engineers, a FAQ, or even an opinion piece on any aspect of engineering management.

To be clear, it does have value but the title here could be made clearer.
The behaviors described here are intrinsic to capitalism, and are not peculiar to any individual company. The executives quoted here are simply describing the waters they swim in. But they are only one fish in the sea that is liberal governance. The system is the problem, not Microsoft.
Multiple address and tab bars next to each other doesn't work well on a small laptop. Separating them works much better.
Breaking the appendix does not void your warranty. The seller must prove your modifications broke the device.

https://en.wikipedia.org/wiki/Magnuson%E2%80%93Moss_Warranty...
What's the advantage of this eventbus over good ole' Guava Eventbus from google? It's lean and mean .. and more-or-less typesafe..
I'll believe sharding when I see it. It's a much harder problem than it seems.

Also, the dirty little secret of zkrollups is that they don't scale the system or make the system more trustworthy in this context. First, the prover, while asymptomatically fast (as one would expect from the PCP theorem), incurs constant factors that are still so high that you need a really beefy server to generate proofs in a reasonable amount of time. Second, even if that wasn't a problem, provers are still bandwidth-constrained and require BFT agreement -- each prover has to process all zkrollup transactions, and a malicious prover can still ignore transactions while generating correct proofs. At best, this leaves provers in a similar position as high-bandwidth chains like EOS, where only a few beefy nodes can feasibly process the requisite transaction load, but a BFT majority of nodes need to agree on state in order to prevent malicious censorship.

I honestly think zkSNARKs and zkSTARKs are wasted on blockchains. Imagine if AWS, grid computers, and supercomputers offered a zk prover interface, where they run your computations on beefy hardware and give you a proof that it was faithfully executed, thereby removing themselves from the TCB. I'd pay to use that service before I'd pay to use Ethereum.
Well, is she advising her patients not to get vaccines? Because then she's not following the guidelines for standard of care.
I understand that's what op is trying to say, but op isn't providing sufficient evidence for that. Non vaccines are not alternatives for vaccines. And we have EUAs for things that would be alternatives to each other, multiple vaccines. So there's not reason to think a viable treatment for COVID would prevent a vaccine from getting a EUA.
Your thoughts? thanks
Hey, I just read your blog post, and while I assume you have an interest in making improvements in this area I think you’re handwaving away a lot of concerns, and are seemingly unaware of many other issues in ways that significantly affect the viability of your designs. If I could come up with an analogy, it might be like if I wrote the following about cars:

“Car design has stagnated for decades. They emit massive amounts of greenhouse gases, and they’re not even all that efficient in doing so. But we can fix this! First, we’re going to use antimatter to power the engine, it’s 100% efficient and it has no waste products to boot,”

Your entire post is kind of like this for computer architecture. You rely on a lot of theoretical/academic ideas, which are cool, but nowhere near being practical (or even proven). Then there’s stuff like “we’ll solve security by formally verifying the OS and core software, and writing everything else in a memory safe language”…I mean yes, this obviously solves certain security issues. But there’s no clear path to get there, and we don’t even have the tools to formally verify certain software yet.

Then there are parts where you either undersell your knowledge on the topic or are seeming unaware of the current state of the art: dynamic linking for example. Your idea of memory mapping libraries is basically how dynamic linking works, except you call it static linking so you can handwave away the concerns that come with it. There’s also a lot of things that are unlikely to be efficient at all: pinning tasks to their own cores means they are unlikely to be doing much most of the time, using a ring buffer for message passing means that you’re going to be spinning on them (which is good for high-performance contexts, but most applications aren’t going to benefit from this). And so on.

I think overall you’ve actually done a fairly interesting job redesigning how a lot of HPC stuff works already, so I guess you can at least consider yourself on the right track for that kind of thing. But this kind of design isn’t really going to fly for general workloads, and you’re still relying on a lot of things that don’t actually exist beyond a research paper.
Just to be clear, if we changed a URL from one source to another, that would be rooted in 10+ years of HN moderation practice and would have been about the specific articles, for example we would tend to replace a "rant" with a more substantive/original source. It would imply nothing about FB being "considered not suitable". Plenty of FB articles have been discussed here over the years; though there tend to be issues with login walls and whatnot and I think the community tends to prefer the open web for content.
> From a technical standpoint, it is the same.

Yes, of course, but this isn't a technical issue. Look at the webpage that this hn page references. When people say, "an app was installed on my device without my consent or knowledge," the exact method the device used to listen isn't important.

The first issue is that Google software allows non-authorized software installations. The second issue is that a government forced the installation of the app. The technical specifics are just implementation details.
You could also try in Catalonia, it's also a local dish (there are several preparations). Personally I don't particularly like the taste of snails themselves, but I don't think they are gross. It's just like "ground clams" in a way.
Eh, as a Korean I've eaten Hongeo hoe ("raw skate") - while it has a distinct flavor of ammonia, it's nothing to write home about. (I dunno, maybe the authentic ones sold at the region may have stronger taste.) There are stuff I'd be much more reluctant to try, like boiled silkworm pupae[1].

Maybe it helps that I never licked a urinal, so I have no idea what a urinal tastes like.

[1] https://en.wikipedia.org/wiki/Beondegi
Laptops exist.
The jargon is a bit confusing sometimes. In Lean, "refl" does a whole lot more than prove x=x. It is of course available if you want to prove x=x, but the real power of "refl" is that it also proves x=y where x and y are definitionally equal. Or at least that's the idea; it turns out that lean's definitional equality relation is not decidable so sometimes it will fail to work even when x and y are defeq, and this is the theoretically distasteful aspect that came up on the linked Coq issue. In practice, the theoretical undecidability issue never happens, however there is a related problem where depending on what is unfolded a proof by "refl" can take seconds to minutes, and if alternative external proof-checkers don't follow exactly the same unfolding heuristics it can turn a seconds long proof into a thousand-year goose chase. By comparison, methods like "simp" have much more controllable performance because they actually produce a proof term, so they tend to be preferable.