skysight-inc/HackerNews huggingface dataset:
The value is when you’re parsing the JSON afterwards. It’s good to know you can match it exhaustively -- each value is either a Record<string, Json>, Json[], string, number, Boolean or null, and nothing else.

Edit to add: I think “any” is almost always a big cop-out because you couldn’t be bothered figuring out the correct type, and it often causes problems (loss of type coverage) further down the line. I admit I do use “any” in my own code when I really need to, but a library should work harder to avoid it, and the standard platform typings should work harder still.
https://www.hetzner.com/dedicated-rootserver/matrix-rx
Let’s round that to 200 watts difference. At 20c per kWh that’s an opex difference of about $1 per day.

Public cloud providers will sell you that amount of compute for about $50-$100 per day.

The lower end of that is the Ampere processor and the high end would be the AMD 128-core processor.

In other words, they can make $49 more by using the AMD CPU per day.
> you are that person for someone else

Especially if you're American. Gallup [1] reports:

> The median annual household income worldwide is $9,733, and the median per-capita household income is $2,920

Even among developed nations, Americans get paid more.

[1] https://news.gallup.com/poll/166211/worldwide-median-househo...
Discussed at the time:

Anti-mimetic tactics for living a counter-cultural life - https://news.ycombinator.com/item?id=29692848 - Dec 2021 (267 comments)

Anti-Mimetic Tactics for Living a Counter-Cultural Life - https://news.ycombinator.com/item?id=29592786 - Dec 2021 (5 comments)
I edited my post to clarify that I don't mean that there's zero skill involved, of course I didn't mean that.

Just that when it goes wrong, you're just screwed.
Another war on drugs is starting against China it seems.
WeeChat 4
This was rather difficult to research with naïve Google searches, so correct me if I am wrong, but it would seem that rights may flow from more than one source.

We are endowed by our Creator with certain inalienable rights. (We already have all of them at conception, not merely birth!) Those are the types of rights enumerated in the Bill of Rights. The government can't revoke them because they are, by nature, God-given and inalienable and don't come from anyone but Him.

Then there are rights which can be granted as concessions from the government, whether it is Federal, State, or other. I'm not sure; perhaps the right to vote is one of these "non God-given" rights because voting itself stems from the nature of democracy and not an inborn trait of mankind. There seems to be the right of privacy, but I'm not sure if this could be described as "God-given"; it's rather a new concept, and Christian doctrine doesn't make a particular pronouncement on whether this is a thing to be protected.

And other entities besides governments can grant rights, of course. If you join a club, you could be granted the right to vote for the board of directors, or the right to attend socials and meetings. I have certain rights as the member of fraternal organizations. Your landlord or HOA has granted you certain rights, of course: the right to use the pool and laundry room are definitely not "God-given" but they are certainly concessions made because you're a paying tenant.
They seem to have pretty low profit margins.
I’ve visited Rio de Janeiro and São Paulo and I found the food to be amazing. I loved the feijoada from Academia da Cachaça and the açaí bowls found in corner shop lots every where. The fish stews (moqueca de peixe) were like a wonderful curry, and of course amazing churrascarias like Mocellin were really memorable as well. There was also carne seca (from Minas) and the little pastries like coxinha (croquettes) and pao de queijo (cheese breads) that were ubiquitous. Kilo restaurants generally serve good meals like bife acebolado but quality depends (Aipim e Aipu in Ipanema was really good). Prato feitos are basic and inexpensive meals but there’s a huge range.

There is also DOM in São Paulo ranked among the top 50 in the world.

Brazilian food is rustic, unique with a lot of European and native influences. I really enjoyed the food there.
I don’t think it’s weird. We are savage but try better ourselves. This is what movies are for, to me. Death and violence can be had there, in a safe format.
>If your goal is become a better programmer, your time is better spent working on challenging programming problems.

I disagree. If the you'd answered an aspiring engineer with "your time is better spent on challenging engineering problems" then, at the level the asker of this questions seems to be at, that would not be the best advice. A person could bootstrap their ability much faster by studying first (or concurrently) other subjects as well.

I think the same applies to programming. I don't have a strong opinion on proof-based math in particular but "just do $skill" is a large oversimplification glossing over the fact that most skills require at least some subject matter knowledge that is a precursor to performing the skill, either because it's necessary in itself or because studying the subject instills some transferable skills as well.

In the case of proof based math, one skill you learn is how to begin things, or break them down, to first principles and build up from there. That's extremely useful for programming, or problem solving in general. You can learn it in different ways, not just from math, but learning it through math or some other subjects are much more direct paths to obtaining that skill, if you don't already have it, than jumping only into programming.
Learning math helps develop your ability to hold large, complicated logical edifices in your head and to analyze them. There are different ways to develop this skill, doing math is one way to go about it. Programming is fundamentally about reasoning about large logical structures, so the skills carry over. The specific topics may not help, but then again, they might. Learning multivariable calculus and linear algebra will help you if you work in graphics, machine learning, etc. Note that these are huge subjects, and there’s always more to learn—much more than you can pick up in a semester or two at college.

How crucial it is for you to be able to accurately analyze large logical systems depends on the kind of programming you do. In many cases, it isn’t that important. I think I being comfortable with ambiguity, understanding how to satisfy multiple conflicting constraints, how to be political, etc. are probably much more valuable skills. Many programming jobs simply do not require you to be that technical to get your tasks done.
So lame they focus on gatekeeping the exams and crying about permission as opposed to challenging the paper’s shit methodology.
If you want to get good at something, you will get far more return on your time and effort investment if you just practice that thing rather than something tangentially related to it. If you want to get good at programming, practice programming not math. Math may help you but it won't help as much as practicing programming.
This is honestly a good reason in my opinion why having everything be so car centric in the US is such a bad idea. If there are other transportation s than driving then you can gate keep driving more with more strict drivers license requirements and pull licenses from bad drivers more easily, but as it stands in the US you need to be able to drive to function as a member of society so if someone has a DUI pulling their license is almost as bad as giving that person house arrest for the rest of their life.

Obviously cars are still the best form of transportation in a wide variety of situations but it really wouldn’t kill to have a functional bus system that doesn’t take 10x the time to get somewhere as driving
Sorry, this smells bad - It sounds a lot like the old "We've just solved this really tricky bug that nobody knew how to deal with - it took us a month, but we're experts now - now you do the same in 2 hours"
There are quite a few academics using a markdown->latex pipeline, with pandoc or similar tools. But it doesn't seem like the vale linter is the right tool when it comes to formulae.
Yeah I agree. Prigozhin going after the war and saying it was always unjustified yesterday was an olive branch to at least a sizable minority of Russians who are not as GP says supporting a genocidal war.

He knows the regime is weak and pulled all the levers he could to make it look weaker and get himself more support. He's not tricking anyone, others know what he is but by suddenly speaking against the war he's signalled clearly they have the same immediate goals. I'd imagine that also went through some conscripted or otherwise unenthusiastic soldiers heads when they decided not to confront his mercenaries.

I think Putin expected Russian soldiers to resist when he gave a tough speech last night. They all watched except the air force.
Is there an equivalent to caniuse.com for gauging the level of instruction set extension support on x86 and ARM in the wild?
>what's wrong with that?

Nothing. There is something wrong (or at least ill advised) with wasting time watching “Instagram influencer videos” if your goal is to ascertain right or wrong (or optimal or suboptimal).
Can you provide a link to the survey that suggests people routinely don't call ambulances?

I mean, 85% are insured and ambulances are paid for.
Never mind modern usage, OED traces it back to medieval English.

https://public.oed.com/blog/a-brief-history-of-singular-they...
Well aside from the fact that not everything revolves around "big tech companies" and the vast majority of people (even here on HN) do not work for big tech...

Big tech has been laying off like crazy, so I am unclear what your point is even in the context of big tech.
For what it's worth, there's a small but very dedicated group of IF fans still.

Check out:

https://ifdb.org

https://ifcomp.org
Thanks! We changed the URL to that from https://www.thecarconnection.com/news/1138400_nhtsa-car-cras....

Submitters: "Please submit the original source. If a post reports on something found on another site, submit the latter." - https://news.ycombinator.com/newsguidelines.html
Odd to see anyone on this community talk about theft of creative endeavours. I do not and never will, but most here consider copyright theft. Most people here, I do not and never will, consider all and any type of work produced 'open' and infinitely theirs for the taking.

Except, of course and forever more, comments they don't like.
Law does not equate to morality. They are two free floating things. Lawsuit or not, it doesn't make something that isn't theft, theft.
Thinking about your code is constructing an informal proof in your mind. Making this more rigorous and thus more formal involves the same trade off of accuracy/ease/speed versus correctness/tedium/slowness that any other formalism entials.

I'd say studying mathematical proof is helpful for developing your proof making skills, but then it is best largely forgotten after you've internalised those skills.
> Second observation was that the regime did not exist in the moment: with few notable exceptions, we have not even seen faces of anyone from national security council. Some local actions of the governors, fortification of Moscow, pathetic speech of Putin in the morning and that’s it. The weakness of it in the face of a violent force was exposed.

This is, in my experience, actually a good indication that the event was truly a surprise to the Russian government. Their media apparatus is very good at having a cohesive narrative and lots of talking points in place before planned information operations, and they're not typically great at responding to events on the ground as they unfold, usually needing a couple of days to assemble a media campaign in response to unexpected events. The lack of any coordinated information response is a tell that the Russian government didn't anticipate this whole shebang.
Well, there is one more likely answer.
he was complaining about who will control businesses in the territories that were occupied by his gangs. Might that be that he got what he wanted and viola?
You can also choose which repairs to do. Years ago we got the insurance payout for hail damage and decided to only replace the hood and sunroof, taking the other $2k or so out for other expenses.
Thanks! changed now - more at https://news.ycombinator.com/item?id=36463897
Run the per-mile numbers instead and see the difference.
Did AI prove our proton model wrong? [video]
Traffic and driving is up compared to 2019. Mass transit use dropped dramatically.

The economy only tanked for a brief period in 2020 and then had massive stimulus injected that led to a rush for consumer goods and real estate. Oil production increased and more oil and gas are being burned. Overall the trajectory for generation of greenhouse gases did not change significantly.
> . that they won't have enough renewable energy to produce zero-emission e-fuels/hydrogen at a scale big enough to achieve reasonable consumer prices for usage in cars.

which then means that "everyone" is still using ICE cars, which can't be driven climate neutral.
The the lobby will again cry that it is impossible that we move everything to electric instantly and/or e fuels can't be afforded by the poorest.
The result will be that climate goals regarding ICE cars will be watered down again, and the government will subsidize e fuels.

Regarding food:
just kill more rein forests in brasil, which we are already doing anywasys (we produce bio gas from plants (1/30 area efficiency of photovoltaics while eroding the ground) and add bio fuel already to fossil fuels (which btw. hardly improves the impact on the environnment -> a bit less theoretical emissions while way more air pollution)
Ok, but what changed with scenario A? Monetary inflation!

If the argument is that inflation drives prices up, which allows businesses flexibility to raise them even further, then I won't argue against that.

But the price increases above inflation, aren't real inflation (which is defined by an across the board decrease in the value of money).

The same thing happens when sales taxes are increased. Singapore just increase their GST and many businesses just increase prices well above the increase in tax.
Unless China and India cut emissions drastically it’s a drop in the ocean. There should be tariffs on the biggest emitters to the point where they can’t afford to NOT cut emissions if they want to trade good and services.
Not necessarily. With experience you can tell what weight rocks will hold. And if you climb safe, you don't risk a jump towards a hold that might break (those guys did risk it).

But accidents and misstakes happen. But they totally can happen when you use a rope as well! A rope can even give you a false sense of security (if you don't know what you are doing).

When you climb free solo - you know everything is on you. One big misstake and it is over.

It is a very intense experience, I used to do it in easy territory and I loved it. But now with kids, there is just too much risk. Because yes, it is way more dangerous. But it is only a certain path to death, if you push your luck.
Haven't we had enough examples of smart people being stupid recently?
You realize this is only one part of the response?
Good thing and since it's a world problem, what matters the most is:

1. Also reduce emissions in the US and China[^1],

2. Save the Amazon rainforest in Brazil and SEA mostly[^2].

The best would be to introduce a tax from the CO2 emitters paid to the forest countries if (and only if) they protect them.

[^1]: https://cdn.arstechnica.net/wp-content/uploads/2014/09/co2_m...
[^2]: https://earthobservatory.nasa.gov/img/biome/map-rainforest-m...
Honest question: what is it that you dislike in async rust? I personally find it is pretty straightforward
Yes, it would have to be a full time work vehicle.

And sure they are paying double payroll tax, but they also get to deduct all their expenses associated with employment (customer dinners, internet, computer equipment, mileage to customers, etc).
> his “preflight checklist,” making sure he’d accounted and planned for all the variables that could go wrong.

"Nothing can happen to me, because I've planned for all the risks." Hello, Black Swan.
Where can I download an executable binary I can run directly on my system, ideally without having to make an account either? Those are two pretty important things for me
At least fentanyl is something actually worth fighting. Unlike the countless number of people pointlessly put in jail for marijuana related “crimes”.
China and India's per capita emissions are about ten times lesser than Americans.

Americans should stop driving bulldozers instead of blaming the poor
I also don’t have any real issues with async rust. It would be nice if there were a better functional-style interface than what you can get with FuturesExt, but you just drop to procedural style when you need to and it’s fine.
>...but it does remove any fear of installing software overwriting files you wanted, including OS level (and kernel) upgrades.

I guess that is nice to know my Python installation cannot be deleted by malware, but I am more concerned about a process stealing my .ssh keys.
> The lending of money is the root cause of so many of modern society's ills.

There have been many attempts to ban lending. The result is always a fairly non-functioning economy.

For example, in most businesses, there is a disconnect between when the payroll must be paid, and accounts receivable get paid. This disconnect is taken care of by having a line of credit. You pay the payroll on credit, and pay off the credit when accounts receivable get paid.
I've seen much discussion of what a vehicle is, and some of what is "in" the park.

I've not yet seen (though not yet reading all 1114 extant comments) discussion of the goal and/or purpose of the rule.

Given this discussion is on Hacker News and my growing obsession with what makes this site tick (and occasionally sends it off the rails), contrast with HN's "real standard": "to engage one's intellectual curiosity" (<http://www.paulgraham.com/hackernews.html>).

HN's somewhat famously brief and loose guidelines (<https://news.ycombinator.com/newsguidelines.html>) augmented by dang's moderation comments (viewable by search: <https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...>) provide much of that.

And, in fact, reading those search results just now turned up a ... interesting, now deleted ... response by dang on this thread which explains the "intended spirit" nature of HN moderation. I'm not going to quote the full item (respecting the deletion), but this bit seems to echo my sense:

[H]aving the set of first principles (the site guidelines) be organized around "intended spirit" rather than formal precision is the best bulwark I know.

In the cae of laws, the purpose or intent is often explicitly stated. In US tradition, the "whereas" clauses typically preceding the main body of legislation.

And for this game, the posted rule would benefit greatly by a clarification as to why it was enacted and what the rule is intended to accomplish. This would also clarify, even without specifically enumerating classes of vehicles or conveyances, and/or proximity to the park which specific cases might be permitted or excluded.
Every stackoverflow user too. I've been following an interesting guy who bangs out multiple high quality and extremely interesting answers every day.
Is there a link to the original story? Drori's homepage at MIT seems to have a "Certificate Error" (probably 405: Revoked Diploma.)

I assume the paper itself is long gone.
http://web.archive.org/web/20230624221112/https://www.outsid...

https://archive.ph/K763a
The problem on computers is that "one's complement" needs "end around carry" which makes your adds take twice as long.
We’re all going to die, climate change or not. But you can die sooner and in greater pain or later and more comfortably. Which do you prefer?

If you had a chronic disease, would you take medicine to stave off the adverse effects and preserve your quality of life for longer? Or would you throw your hands up and let the disease ravage you since there’s no cure?

And remember: in the case of climate change your decision doesn’t affect only you but others as well.
Possibly a result of the recent kerfuffle about the attribution of the spec:

https://news.ycombinator.com/item?id=36377953
why does emissions get way more attention than plastics and forever chemicals? that shit scares me way more. At this pace, soon our food and water will not be safe anymore, what's the point of preventing climate change if you won't have water to drink and food to eat?
Sorry, I don't want a transactional layer to accompany every interaction I have with my Linux system (or most other systems, for that matter).

I want to choose when I need undo/redo and when I don't; a perpetually present transactional layer is just cruft for most of the time.

Furthermore, it opens up basic system interaction to the same fundamental questions that in-app undo systems have: do you branch? how deep is the history? how persistent is the history? etc.
That the narrative is being twisted, nothing make sense so far
I think "learn B because it will help you do A better" type of advice often doesn't work. But "learn adjacent fields if they are interesting to you, time and energy permitting" may work, as they sometimes do yield unexpected benefits.

I am doing the opposite of what you are asking, as my day job is a mathematician, and I found my hobby of programming sometimes helpful.
It's an idiom I use a lot, because 'be nice and polite all the time under any circumstances' is something I associate with kindergarten. Small children don't have flamewars, although I see how they're reminiscent of schoolyard fights.

Still, I think posters need to accept some expressive/emotive language in discourse. 'Good luck with that' may be a trope as a way to sarcastically express skepticism, but it's hardly offensive or conversation-terminating.I like to know how people are feeling in regard to a contentious topic, whether or not I find them or their argument agreeable. draining away all emotion/idiom introduces its own problems; callous or cruel remarks may be couched in pseudo-objectivity and the language of necessity/inevitability.
> With experience you can tell what weight rocks will hold.

As a climber, this is total hubris.
You... think it's lame that an academic institution would focus on protecting their students and professors?
Is the claim here that the Chinese government is accountable?
If I can be honest. This sounded pretty callous to me. Not having regulation or having minimal regulation makes sense when the impact is low not when it is life or death. This was not a submersible somebody built in their backyard and took only their family and friends into the ocean. this was a legit business. They were marketing and the only avenue that customers would have is the word and review of other customers. You can't expect customers to be well versed in the mechanics and engineering of building submersibles to be able to assess the safety of those things and this is why we need that regulation.

Even in your example it is true that car accidents are way more. But the number of miles driven in cars is orders and orders and orders of magnitude more then number of miles of ocean floor traversed!

Edit: this also got me thinking a bit more. I can see why in America the R word seems scary and is a bit triggering. Regulation here can be as simple as insure your customers for say a million dollars of no questions asked policy and pass the cost of that to customers and let them (and the actuaries) decide if it is worth it!
I really don't like the web page design - images that expressnothing, similarly flabby text.

My Dad actually met Turing, so i have always been excited (shake the hand that shook the hand) by him, and what he accomplished, but this page doesn't do anything for me, or i expect for anyone else.