skysight-inc/HackerNews huggingface dataset:
Stupid question, but how can a compiler flag "mitigate" some UB that is (to my knowledge) defined by the standard as UB?

This would be possible only if the standard would define the behavior in question as implementation defined. But that's not the case afaik.

Signed overflow is undefined behavior as it's afaik defined to be that. But maybe I'm just wrong here?

But at least SO is confining my knowledge:

https://stackoverflow.com/questions/16188263/is-signed-integ...
I love how you've phrased it, sounds like no sandwich is complete without nose burning and eye watering. Pain is the best condiment :-)
It doesn't Have to include threats of violence or acts of violence: It simply usually does.

It does Always include theft of goods, though. This man wasn't stealing things, but rather trying to get his own cash. Despite the violence, this wasn't robbery.
> real humans occasionally need to move a mattress

And real humans can occasionally rent a car. Maybe it is not worth holding thousands of dollars' worth of rusting metal for that occasional odd job.

As for snow and ice, Oulu, Finland is an example of how infrastructure defines the way people live:

https://www.youtube.com/watch?v=Uhx-26GfCBU
The Case for Returning Errors Instead of Throwing Them in TypeScript
> It wasn't good

Was there ever a movie made based on a video game which was good? I can't think of one.
The elephant in the room here is that VFX, unlike many other film professions, isn’t properly unionised. Half of the practices that make VFX a hell-scape to work in and produce so many poor results are due to the simple fact that the workers are not treated the same as other parts of the crew. As long as it’s cheaper to fix it in post than retake the shot you can look forward to much more of this.
Huberman Lab - Science, Education, and Health & Fitness.

Some comment called it "the manual to life" which is a pretty good summary imo.

https://hubermanlab.com
Not exactly academic research, but this has been known since biblical times..

https://en.wikipedia.org/wiki/The_rich_get_richer_and_the_po...

It seems to be built into the world.
And deep hole in the ground isn't horrific policy either. Wasteful yes, but not horrific. It is just that evil politicians don't want to make reasonable trade-offs...
Fair enough, but I raise Jesus as a counter argument of very restrained individual that still is pretty famous, among his other "achievements".
I'll never understand this vibe. You're a programmer, in most places that's among the best paying jobs available. How are you being there exploited the same way as VFX artists are?
New ‘Parp inhibitors’ could prevent certain tumours appearing
Whether internet commenters are to be trusted = dubious :D
To play videos you need a working video driver and a working soundcard.
If someone is keeping me hostage so that a third party does something (say, releasing others from jail) - I might be a hostage, but the incident still isn't robbery.

You have to steal stuff for it to be robbery.

So yes, I'll make the same claim. There is no point in saying that I was a hostage in a robbery if I was in a hostage situation for different reasons.
I'm confused. What is the thesis of this post?

I guess they are saying that both bug reporters and open source maintainers care about software quality (generally excluding learning projects and research prototypes and the like).

No shit. I don't think anyone has ever disputed that.

In the open source world we generally say that users are not entitled to anything. They get what we feel like giving, because they are not paying us.

This is just as true in the corporate world. If your manager tells you to do X, and some random on twitter wants you to fix bug Y, you do X not Y. The random on twitter probably cares about software quality too. That has no bearing on you probably ignoring them.
Music is a language, or rather a type of language. Depending on the culture, it has 5 or 12 symbols (tones), and each musical culture has its grammatical structure: in Western music most sequential 8 symbol arrangements are gibberish, others convey different emotions, most of those sequences don't go well together, some do and so on.

It's a development of the ancient language we use to communicate mood and intent by varying the pitch and rhythm of voice while speaking. Useless to transmit concepts, but excellent to transmit emotions.
Recursion in C++ is quite simple:

int factorial (int n) { return (n > 1) ? n * factorial(n - 1) : 1; }

it gets more complicated for more esoteric use cases:

* Recursion in an anonymous function. Are you sure this is so simple in other languages?

* Compile-time recursion with anonymous functions. Which other languages even have this to begin with?

Both of these cases are rarely used in practice. The C++23 addition which facilitates them is actually due to another issue entirely, which is avoiding code duplication when you want to specialize methods according to features of the object they're running for (const/non-const, lvalue/rvalue). See:

https://devblogs.microsoft.com/cppblog/cpp23-deducing-this/
This links the account to where you sleep at night. No thanks.
Hugs to you.
Personally i feel like hobbyist has much more dismissive connotations than amatur, but that is just me.
Very very cool. Great work! But why does the title say only birdsongs, could it be used with any audio file? The examples show output from a violin's audio too.
TBH, yes. The state of web search is so bad that, even if today you find something, you might not find it again in 2 days.
I think Crypto sceptics are the ones more likely saying "not your keys, not your coins..."
Why Slower Computers Were Faster (2020)
No idea about the US, but in the EU this class of super light cars is allowed (with certain speed limits) and some also are produced in the EU, e.g. the Renault Twizy.
I agree and start to do this always now.
I worked somewhere that used this software that had this exact feature. This was pre pandemic and they had two offices and a few remote employees. You could barge in and open up a video chat instantly if you really wanted but that was considered poor form. The more common thing was the "knock" button that would play a tone and ask if you were available for the pop in, which would start instantly when you accepted. It worked surprisingly well, although I did some consulting for them years later and they had moved to slack/google meets.

https://www.sococo.com/
Yes, but electric cars need electricity which has to be generated from primary energy sources like coal, oil and uranium while combustion engine cars directly burn gasoline which is a primary energy source.

Thus, when you are comparing the efficiency of electric cars with combustion engine cars, you have to take into account the efficiency of the electricity generation process.
This is stupid. The page links to a full article describing how quickly this stuff is broken down in your body. If there was new research that said it stuck around longer they might change it - but there hasn’t been - so any change is there for clarity not some secret admission of guilt.
Yes, same here about 300 meters from my house. I've seen it operational maybe twice or so.
Ok, yes you are right... rotational inertia is the challenge in Rocket Drone for sure.
BTC has the same problem with exchanges gambling with their customers' currencies, setting up prices that work for them, running out of Bitcoin to trade and collapse when people want to take their money out.

The Lebanese lira might as well have been a cryptocoin and the Lebanese banks might as well have been exchanges. Anyone keeping their savings in their own home wouldn't need to rob banks to get their deposit out, just like anyone who keeps their Bitcoin in their own wallet doesn't run the risk of exchanges collapsing around them.
We also used to have a much larger idle rich aristrotic class that could fully devote their energies to their hobbies.

In modern times it is usually assumed that an amartur has a real job and can only devote so much time to their hobbies.
These requirements of much testing of inherently multithreaded code with a lot riding on not destroying user data suggests a model checker would be an essential piece, perhaps someone more knowledgeable can opine.
This. I watch the "job crisis" and Great Resignation and the rise of places like r/antiwork. I support those people and want better for them.

Like the work I already have.
My former tram used to have a Google Meet URL which we tried to reuse in our meetings. We announced the URL in our Slack channel as a bookmark and in the description.

Particularly, we had our morning standup using the URL and when we stayed around working together on something. Other people in the company would just be able to pop in and talk to use. It was super nice!

I did see two issues with this, though:

- Bluetooth headphones have worse audio when mic is on.

- I felt it used some cognitive overhead being in a video call.
Even sequential application of a regexp is substantially more powerful than you need to be general; you can do it with sequential application of static replacements until no match is found.

https://en.wikipedia.org/wiki/Markov_algorithm
Dacia Spring?

+ It's classed as a supermini, which can just about fit 4 adults. It's the same as a VW Polo, Ford Fiesta, Renault Clio.

+ Kerb weight of 970kg, which is less than ICE cars of a similar size.

+ Around €12,000 with incentives.

+ Top speed of 125km/h, so you can drive safely on highways (in the truck lane).

- Range is around 240km, but for its intention as a 'city car' that's more than enough.

- 1 star EuroNCAP rating.

- Battery doesn't have thermal management.
> But maybe glare a little at your friend who goes into AI capabilities research, instead of getting excited about how cool their new project is.

I am this kind of guy and I consider ASI as good for human's culture. Maybe not for humans itself but I consider a culture (STEM) as an ultimate goodness while humans will destroy themselves anyway (global heating, nuclear wars, regular wars, wanting to burn more and more fossil fuels etc)

> Or agitate for government regulation of AI - either because you trust the government to regulate wisely, or because you at least expect them to come up with burdensome rules that hamstring the industry.

What to do if I don't believe neither former nor latter?

> While there are salient examples of government regulatory failure, some regulations - like the EU’s ban on GMO or the US restrictions on nuclear power - have effectively stopped their respective industries.

If you consider these bans as good then let me consider you as not a wise person.
Yeah, in our case the point isn't really the code, but how you reason around it. How able are you to explain the flow of the code. And also reason about choices made.

There is a real treasure trove of things to talk about.

Questions like:
- Why is it like Y?
- What is good and bad about Y?
- Why do you think X would be better?
- Why did you end up doing Y instead of X?
- How would you approach changing it to X?

Discussions like these on both a macro and micro level is very valuable.
I am not sure that’s going to happen. Most of the people does not care about choices. They just want to have comfortable life without worries.

Another thing is that people must feel that their participation does have an effect.

One more aspect is that most of the decisions is not a popularity vote but must be based on knowledge and science. Average people can’t make that choices unless you have extremely well educated population.

Overall, a simple introduction of a technology which will enable more direct democracy is not enough. We need more ground work which will promote individuals with certain values and behaviors.

However, I also do believe that introducing such technology might accelerate that ground work.
I would not call that development. Imagine a landlord raising your house to the ground every 3 years because the old one is "outdated".
I made a mistake between mustard and pickles that are indeed made in china and you directly jumped to me looking at facebook post and being misinformed. but my point is the same. making abroad and branding it as dijon is a fraud.

And just to let you know. go back in time a bit. any one that was against iraq was someone "misinformed" that was not following mainstream opinion. so at that time you would have indeed said that chirac was spreading wrong information :) people like you - the ones that are always on the good side / the right side of history are more dangerous than people that inform themselves on facebook
I don't understand how can those companies afford to put those fake meat sections on all supermarkets across the globe. At least in my european country all supermarkets seem to have this section and from what I've been told most of the products just end up being thrown away because nobody is buying them.

I assume they expect to lose a lot of money now but then to make it big at some point in the future. But those companies seem to be global multinationals and rely on global supply chains to create their products. And if the future requires decarbonization and reducing energy consumption, wouldn't that mean that complex global supply chains will be drastically reduced, and food production will move back to a more local level?
"Swimming in spacetime" is a reference to the following paper by Jack Wisdom:

http://groups.csail.mit.edu/mac/users/wisdom/swimming.pdf

The paper is quite accessible but here is a short summary:

https://www.science.org/content/article/swimming-through-spa...
And the amount of energy needed to get the raw oil, distill and distribute the gasoline. Not to mentioni that electric cars are ideal to be powered by renewables, as they bring a great storage with them. In Germany, you need about 10 solar panels to provide enough energy for powering the car.
http://blog.llvm.org/2011/05/what-every-c-programmer-should-...

> Signed integer overflow: If arithmetic on an 'int' type (for example) overflows, the result is undefined. One example is that "INT_MAX+1" is not guaranteed to be INT_MIN.

Probably not what the GP meant, but I think this qualifies as a "buggy language (spec)"
https://keith.seas.harvard.edu/blog/climate-impacts-biking-v...

It doesn't count the manufacturing of each. It's still a valid comparison without it, cause most Americans who have a bike probably also have a car that they need for trips that aren't bike-able, and also cause it helps to separate fixed and marginal costs anyway.
I owned 3 different makes of EVs, this is incorrect for all three.

On a Nissan Leaf, mild regenerative is always engaged in Eco mode unless you touch gas. Otherwise when you put on the brake it's regenerative + extra braking with pads if necessary.

On BMW i3 it brakes regeneratively once you slip the gas. If you use the brake pedal hard it's still regen + pads.

On VW id.4 it's quite like on the Leaf.

On all three it's pads only braking only when the battery is fully charged.
Well, you may have a hard time pronouncing the words, but that has nothing to do with understanding the language or with reading and writing in it. Spelling might actually be easier if you’re not distracted by inconsistencies compared to spoken language.

Also, “global” doesn’t have to mean “relevant and accessible to every single person in the world”. It could also be the opposite of “local”, for example, and describe the kind of content you can find, rather the kind of people.
This should indicate to you how useful BTC would actually be in a real financial crisis.
This one? https://www.spiegel.de/politik/die-weltbuerste-a-37393ed8-00...
Is there a book like “C++ for C++ programmers” for people that knew C++ 20 years ago but didn’t keep up with the latest features?
But the suburbs themselves are interesting in tokyo! There are always bars, shops, shrines, gardens, rivers, playgrounds...I've never found that sort of liminal neighbourhood made of rows and rows of identical houses with no one out in the street as I've found in America and Europe.
Paris is going to lock out parts of the city for ICE cars in 24.
> What you're missing is that real humans occasionally need to move a mattress. Or just bring home groceries once a week.

People without cars also have to do that. Groceries can be walked home (i know because i do it) and they also fit on busses. Mattresses are a rare thing and you can rent a taxi.
> What’s not immediately obvious from this is that it was not uncommon for an installation to require about 30 floppies

But not for 25 years.

>When you decided that you wanted X11, you would need to follow the readme with the understanding that getting it wrong could fry your monitor.

The usual disclaimer.
The defaults worked.
I've written in another comment that I'm very much in favor of cheap, small city EVs without all the safety features mandated in a modern car. I don't think we need a ton of iron to go shopping. But I also don't think it's practical to go all the way down to bikes - biggest velo vehicle might at most carry an adult, a child and groceries, while offering zero protection from the weather and very little safety, compared with the smallest and flimsiest hard-shell EV.

And I'm saying this while owning... let me count... 4 bikes, one of which is electric. And I absolutely love Uber electric scooters.

But no matter how I try to get creative, I just can't think of a way where you can have bike infrastructure covering everything. Too many pieces missing. Where would you park all those cargo bikes near train stations? And again, what do you do in winter with two kids?

Small city EVs on the other hand require no new infrastructure, zero major investments, are a fraction of the cost of a car, are non-polluting, and do 90% of what a normal car does. And when going on holiday - yes, you can take the train, which is what I'm actually doing btw.

All they need is a very small regulatory change. Allow no-highway cars with speed limits and none of the safety features of modern cars. Just do that.
Why does plant based meat costs more than actual meat ?
Yes but this places a task on someone, to decide when they're open to be interrupted or not. This places that work on them, and makes them do this work whether or not someone wants to interrupt them.

In the office scenario, I as the interruptor take on the burden of finding out when someone is open to being interrupted (and it's not that hard). For example I can just say "I'll ask him the next time I see him" and wait until I see him go to the coffee machine or the bathroom. Or, if it's more urgent, I can take a peek in his office and see if he seems to be engrossed in thought or more relaxed.
You are completely right, for 20 years most of the automobile industry built cars that used more energy and especially polluted more than it would have been necessary if they had copied the technology of the Prius.

Our environment would look much better now, if they had.

But in my eyes, the time for hybrids is over, any new car should be pure electric as it is simpler and way more efficient.
Personally, I can't wait to taste it. There has been a lot of hype surrounding lab-grown meat replacements, but I think it's going to be a good few years until the legal framework, and economies of scale will be there.
A friend did this to me once. He stopped being my friend that day. There's little more insulting to a man than to make him feel like a plaything.
There was a time when programs had screenshots. Now they use a thousand words to describe it.
Asia really should unite and push to deprecate this term. There’s practically nothing we share all across this so-called Asia metaregion, except it’s neither the West nor the Africa.
Were they real BEVs with regenerative braking or hybrids?
>You're correct in the sense that trains and bicycles are, true, more energy efficient. I'm not even looking for numbers here, because it's irrelevant.

On the contrary, it's highly relevant in a world where we have a very pressing energy issue.

>What you're missing is that real humans occasionally need to move a mattress.

Cargo-bikes can cover many of the transportation use-cases the average person has, and the rest can be covered by utilizing shared transportation vehicles. No private vehicle ownership is necessary here, and private vehicle ownership and its use as the primary mode of transportation is >80% of the problem.

>Or just bring home groceries once a week.

Cargo-bikes, closer shops, public transportation, grocery delivery and/or higher frequency of shopping solves this

>Or have kids.

Cargo-bikes, public transportation solves this

>Or that a full quarter of the population are seniors.

Bicycles, public transportation solves this isse. Additionally, car infrastructure is more exclusionary to seniors than the alternatives - same with children, who are not allowed to operate a car. Not to mention people with disabilities. All more discriminated against by car infrastructure than the alternatives.

>Or that quite a few people live in places with hard winters. You think it's a coincidence that Netherlands is the country of bicycle riders? Gulfstream :) They hardly have any snow or ice - just walk around in the street there, and it'll hit you that most buildings have windows that take up half the wall. Cold is just not a concern there, the way it would be in a lot of other places.

Bicycle rates are not statistically correlated with neither local climate, nor topology for that matter. Infrastructure is more or less the sole deciding factor.

>If you compare an EV with a train on an energy efficiency PoV, yes, the train may be twice as efficient (or less?). But an EV covers 80% of energy requirements (it's CLEAN, cheaper than gas, less carbon generating, less likely to subsidize oil-based dictatorships), while also not having you haul a toddler, an infant and 3 bags of groceries through snow from the train station half a mile away.

Essentially all of these problems can be solved satisfactorily with alternatives. Note that clean is also relative - the alternatives are very significantly cleaner than car-oriented transportation.

And we have barely even touched the subjects of transportation mode lethality nor economic discrimination, which are hugely significant - cars kill more than any other mode of transportation, and is more expensive both on the individual and societal level, making them a huge burden for poor people.
>the effort of physically going somewhere is high

Ok, I realize there's a context for it. Still can't help, but laugh at how low is a "high" mark for physical effort when in office.
Unions are a massive cashcow for left-leaning parties, whose policies give the unionized workers a monopoly on private sector labor spending in key industries, e.g. the establishment news media, and public sector spending in the case of public sector unions.

See campaign contributions to the Democratic Party by industry in the last election cycle:

https://www.opensecrets.org/elections-overview/industries?cy...

Unions are fully embedded in the establishment, to the point that the only thing that kills them is the contraction/bankruptcy of the industry they colonize.

Look at Detroit: it was the richest city in America in 1950. Within 40 years of the UAW Union taking over the Big Three automakers (membership rose through the 50s and 60s, peaking in 1979), the big automakers have lost their market dominance, and Detroit is a shell of its former self.
You can be 100% sure aldi, or lidl wouldn't put it out there if it wasn't massively profitable. The margins on these products are probably big so even if it doesn't sell well in one region, other regions make up for it.
I dont see how it matters. Its not like we have run out of room. Just have 4x the number of small neighbourhood grocery stores
> This creates tension every weekend when we need to negotiated what to do.

Is it necessary to negotiate? Why can't each of you do whatever they want to do?

"Fine you go out I'll read a book" or perhaps "I'd generally rather read a book than go out, but I'd like to spend this time with you, so I'll go out with you to visit places".