skysight-inc/HackerNews huggingface dataset:
> I have always been told that, if a program contains UB, then the computer is justified in doing anything at all

You have been told wrong.

That's the point.

1. The C standard actually contains language that says what actions are permitted. These do not include "anything at all".

Permissible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner characteristic of the environment (with or without the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a diagnostic message).

This was initially a binding part of the standard. Later versions of the standard still include this language, but made it non-binding. Which certain people interpreted as "the standard now says the exact opposite of what is literally in the text of the standard".

2. The C standard is and always was a compromise document, not a complete definition, in order to make it possible for the standard to be applicable to a wide variety of compilers on a very wide variety of different kinds of machines. It is thus by necessity and intention incomplete. Hence IDB and UB. That is, being compliant with the C standard is not sufficient to be useful implementation of C, something that is (or at least was) stated explicitly in the standard. This language might have been purged from newer versions of the standard, but it was there originally.
The Ultimate Laravel Deployment Guide
That's been the unfortunate part: "do you want 4K or 1080?" has been the question for the longest part without consideration that many people want something in between--hiDPI without going into sizing where you can't tell the different. I have only had 4K screens (15", 14", & 13") since 2015 and can't handle 1080, but I don't want the wasted battery from 4K on smaller sizes.
Not really dissagreeing here. But still, the specifics of these variables might derail from the actual question at hand. Do people actually self report accurately regardless of state? That why i just mentioned that i think these specifics aren't quite useful
Chinese people are just like any other people. That’s also true of most of the planet. Have you spent any time living in East Asia? Perhaps you ought to.
https://en.wikipedia.org/wiki/The_Screwfly_Solution

(An alien invasion story where there's no fighting back like in Independence Day)
Doesn't work like that for me. I get all sweaty but hands remain cold.
Click and Swap, our alternative to Drag and Drop
Such an object would be std::byte (and char), but it is still complicated when an (array of) this object is a member of another object. Nailing down the exact semantics has been very hard and compilers have been known to miscompile such code.

I think that the whole object model need to be formalized from scratch (similar to what was done for the concurrent MM) but that's still hard to do while preserving all the properties that current programs expect.
We do this at work and _everybody_ is very happy with it. Works extremely well!
Right now nobody claims it's making money. Musk himself said gen 1 is "financially weak". They have 600k+ preorders and geo satellite people are very happy with it, which is a couple million users mostly in the US just from that. With 400 satellites per launch using Starship, Starlink looks much better financially. They plan on starting to launch Starship with Starlink this year. This reasonable analysis says about 3mil subscribers are needed without factoring in Starship.

https://littlebluena.substack.com/p/common-sense-skeptic-deb...
100% remote yet the office is enforcing a mandate means the move is 100% political, and not at all about protecting their employees.
Restricted Stock Unit; a form of compensation that a company may provide.

Such stock is subject to a vesting period, where you only gain the stock after a period of time.
My parents would scream their lungs out at each other and I had the same thought a few times growing up. Interestingly once my father passed away my mother started insisting he was the love of her life & a great husband, and that she will never again find such a man.
Why complain about a functions though? you can just write your own that does exactly what you want it to do. I don't see how this is a flaw in the language. You could at least mention things like the loss of size information when passing arrays between scopes, that is an annoyance that can be considered as a problem in the language.
It was widely covered in the media that unmarried women are the happiest subgroup. However, the reported study may have misinterpreted some data.

The study reported that married women were happier only when their spouse was in the room. When their spouse was absent their response was miserable. The problem is that the original survey defined absence as a spouse no longer living in the household.

https://www.vox.com/future-perfect/2019/6/4/18650969/married...
"Proper" should also include at least 100% DCI-P3 coverage instead of sRGB
On the other hand, if this number also includes socks, underwear, rain wear, winter wear, sports clothing, swim clothing, etc., it might be less absurd. And don't get me started on clothing for young children, of course.

Still, when you say "68 items of clothing", most people think pants, blouses, dresses, costumes, and the like. But that's the fun with statistics :-(
> Amazing projects like esbuild, SWC, and bun solve the first half of the problem, emitting JS from TS, but they skip the critical type-checking phase completely due to complexity.

I love the idea behind it, but I'm also wary of now potentially having yet another tool that only solves "half of the problem". Could this potentially be contributed/merged with SWC in the future, seeing as it's also Rust-based?
Ironic. Rust is saving others from slow compilation speed, but can't save itself.
Have you ever leaned on deferring type errors to any significant extent? I’ve been writing Haskell primarily for several years and I tested it out maybe once or twice briefly, but otherwise haven’t found the utility.
When I was in the US several years back, I was amazed how poor your mobile service was and how poor payments was. Looks like it hasn’t changed.
This absolutely does not stop you from doing what Wise does under the hood: have bank accounts in two countries and settle using comms rather than the banking system. A message comes in “Alice should now be given x amount from the local account” and a local bank transfer is executed.
Fair enough, but we could only do that if there were some master plan to reallocate the land used for animal feed, the processing, the innumerable distribution systems that get food to people. Saying this is like saying there's enough energy from the sun, wind and hydro to let us go off fossil fuels. It would be true if you could wave a wand and redesign the whole system from scratch. But that observation doesn't make it any less of a crisis if the system as-is begins to break down. The trouble with a lot of these idealistic proclamations that "we have the ability ...if" is that they don't take into account the messy realities, and so the only purpose they serve is virtue-signaling. Tl;dr the only useful solutions in this will involve ways to produce or more efficiently distribute more fertilizer, not to say that we could or should get along without it.
This looks great! I think you've got one more customer.
What did you use to build it?
It's absolutely disgusting how many of C++'s recent additions exist to work around problems introduced by C++'s other recent additions.
The promotion and negotiation problems will negatively affect single childless women too, right? So those would make that group less happy compared to the male groups.
I'm sorry, what point are you trying to make? Where is "here" in your first sentence?

The social credit system is somewhat unique, and it is not a stretch to say drinking to excess may not be regarded as a favorable characteristic. This may disincentivize individuals from reporting the behavior. I am similarly curious, and fail to see how this is derogatory to either the Chinese government or its people.
This appears to be the goal of optical switches.
> But you can describe how a policy is terrible without your comment becoming a personal combative mess.

What's the point though? Look at this exchange between RReverser and chrismorgan: https://news.ycombinator.com/item?id=30019370

chrismorgan: WebUSB is not finalized, there’s no short-term prospect of a second implementation, it is not on the standards track, given other implementers' positions if it ever becomes standardized it will be with breaking changes, etc.

RReverse: lol it was first proposed by Mozilla in Firefox OS, and WebUSB is good, actually

chrismorgan: "My main disagreement with you is not based on the soundness or otherwise of WebUSB functionally, but your position on it as a specification."

... and the discussion was safely deflected to discussing FirefoxOS and the merits of WebUSB itself.

This is the modus operandi of Chrome's "developer advocates": ignore, deflect, gaslight. It happens again, and again, and again with any and all public personas out of the Chrome team. No matter how constructively you engage with them. To RR's credit he doesn't stoop low to gaslighting (as in "we blame other browsers for everyting").

The only recourse is to cut through all the bullshit and call out the deflections and the lies.
> I don't personally like the company or Zuck or some of the things it does very much, but they aren't the devil.

What about Rupert Murdoch and Fox News? Anti-vaxxers are why we are still in this mess. Yet I constantly see Covid misinformation on Facebook. We could discuss the genocide in Myanmar, Cambridge Analytica, Facebook's psyops campaign against their users, etc.

Maybe Zuck isn't the devil. But he sure as hell is irresponsible at being the CEO of Facebook. If you can't tame the scale of your operation then you shouldn't be that size to begin with. The collateral damage is too significant.

> pure as the driven snow

There are degrees. There are literally thousands of places that are not Fox News, Exxon, Nestle, or Facebook. Especially in the tech world. You can't toss your resume out on the street in Silicon Valley without it landing in the lap of a recruiter. I'd start with "didn't contribute to genocide" or "didn't think a psyops campaign on our users was okay" is a good place to start. I've certainly never worked at such a place.
You could make ammonia on wind or solar farms in the middle of nowhere and get it via tanker a couple of times per year, obviating the need for expensive powerlines. Bonus: the tankers can run on ammonia fuel.
Fair enough. Maybe he was using the same way we say español when we really mean castellano
This would argue in favor of several languages. Which would be fine - maybe we need several, maybe one would clearly win out.
I miss LAMP :(
The problem is that politicians always choose to hide the true cost of living.
no need to apologise :)
Holy shit, we do. Never actually met anyone who had to pay it, though.
It's great that they are investing in Gnome but I don't think adding progressive Web apps into Gnome is something anyone asks for.

Rather I would put money into evolving Gnome with new features like system76 guys are doing with their own desktop environment in Rust.
With very-high-temperature reactors (one of potential paths for Generation IV reactors) you can produce hydrogen using reactor heat directly, bypassing the electricity conversion step, thus significantly improving efficiency of the process. And with sufficiently cheap hydrogen you would not be able to produce fertilizers, but also steel, another dominant CO2 source.
> For instance, sewage solids from cites in are sold to farmers for use as fertilizer.

That's how we get the next pandemic.
Do you have any examples? std::launder fixes an issue that has existed since C++98.
Observe, this is a policy limitation rather than a technological one. These policies can and will change and there can and will be limits to crypto in the country. Unless you can get everyone in the country to accept crypto, you’d still need a way to convert it to local fiat. And everyone in the country will absolutely not accept crypto as the transaction costs are prohibitive.
Yeah good point. I think it’s that adobe stranglehold. “Never got fired for…” kind of thing.
Your use case is a bit different than what the article is arguing for. If you have a personal preference to have everything shown as a single commit in the PR by all means do things the way outlined above.

My original comment was targeting the two supposed problems that the article is framing and the supposed convoluted (and possibly dangerous) solution with git reset.
"find it three times faster than mice that had received sham injections"

We are worried about placebo effects in mice now?
You mean "de facto relationship"? From what I understand, no, it's the exact opposite.

https://www.gotocourt.com.au/family-law/de-facto-relationshi...

"The courts can make an order for the division of any property that you own together or separately. They may also order a split of any superannuation, or that one party pay spousal maintenance.

The net asset pool will include anything acquired before, during, or after separation. It does not matter whether the property was owned jointly or individually. When determining a property settlement, the court evaluates the types of contributions – financial and non-financial – made by either person, as well as their future needs."

Edit: this applies to AU "de facto relationship" vs UK "common law marriage" terms... it might be different when discussing different countries.
I don't think electrolysis equipment is particularly cheap, there's some excitement about cheaper alternatives coming to market and mass production that use cheaper materials.

But overall it's going to be the cheapest way to make hydrogen and then ammonia very soon. And the market has already seen that inevitable future, lots of right-wing Australian mining billionaires have jumped into the market hard for example.

The main saving is avoided carbon, which isn't priced in everywhere. But the sheer scale of ammonia production means it's easy to gradually introduce this as long as you spread the initial upfron cost across all the users (which is basically everyone).

It's a very mutually beneficial arrangement for renewables so the two things reinforce each other strongly and I think it'll be one of those things that moves faster than they expect.
Seriously? Some of the poorest people around here do that sort of thing in the winter. The fumes are horrible and include all rainbow colours.

This entire thread is horrible. Not many other topics bring out the worst of people. Disgust is what I feel reading many of the comments here. Apparently waste is good and even if it were bad, what can you do, heh?
I also tried to convert to an alternative layout, but then realized that on phones, qwerty is pretty objectively a good thing (due to large travels that help greatly there with accuracy). So I dissed the idea.
You don't provide any context. All the great powers have all kinds of ridiculous plans [0]. None of them are meant to be "first tier", they are meant to be used under certain bad circumstances when things have already gone down the drain. I doubt that that plan for invasion of Sweden was meant to be used with nothing else going on forcing them to do so. So, could you provide the context those plans were made in and for, please? If it turns out the SU indeed just wanted to become bigger without any other pressure I'll admit you were right, but I doubt it.

[0] I've no intention to single out the US specifically, it's just that this one was easy to come to my mind as an example: https://www.hrw.org/news/2002/08/03/us-hague-invasion-act-be... -- I doubt the US would actually send an invasion force, this is more a political tool. If you cut the context you could claim "US has plans to invade the Netherlands", which would be highly misleading.
Neat idea. What does implementing new syntax in one of the established C compilers involve? Is it the kind of thing that could be reasonably tackled in a small patch just to play with?
HN is not just a discussion board, it also serves as a place to get caught up on the latest happenings around the world. Hence hacker news. Flagging a news article for removal just because the readers have no civility is untoward.

If anything, it is the community and moderation teams responsibility to ensure toxic comments are downvoted or removed.

If you decide to never allow anything “controversial” on HN, it is an easy backdoor for bad actors to get articles they don’t like flagged. All they have to do is make comments inciting controversy or astroturf the comments from both sides.
Why would anyone run a simple elegant site when you can get buried in js dependencies and plumbing stacks for months?
We could avoid this number by investing in soil preservation, nitrogen fixing plants, reduce meat consumption, even in concepts like humanure.
> but can't save itself.

Sort of. The Rust compiler has gotten much faster in the last few years. On most common crates it's become 25-30% faster (https://arewefastyet.pages.dev). This page isn't up to date with the latest releases, which have also become faster.

During development the most typical configuration would be debug-incremental builds. Those are pretty damn fast. And personally, I don't even use rustc during development to figure out errors. rust-analyzer does a great job of giving all errors in line. I think most others who use one of the IDE options might not be waiting on rustc much.

Honestly, "rust is slow" is a bit of a meme at this point. There are engineers working on triaging compiler performance regressions every week, as well as engineers working on improving performance. But there's no concerted effort to communicate these efforts to the community. Which leads to this meme being perpetuated. I guarantee that even if the compiler improves by a further 50%, there will still be comments saying it's too slow, simply because commenters aren't aware of changes over time.
Once again sci fi got it right. Everyone in the future wears similar things because the fashion industry was too costly.
Australia, Canada, Austria are probably the countries that really showed their true colors during this pandemic.

Zero respect for their citizens.
I was initialy excited to try learning Elm, until I saw some of the drama on the GitHub issues and a blog post about leaving the Elm ecosystem after having a bad experience with the project leads (I think [1] was the post).

I've since put it in my little red box of "hot but you'll be better off staying away from", depsite the numerous podcasts praising the incredible effort and design that went into the language. Has anyone got any thoughts on this?

[1]: https://lukeplant.me.uk/blog/posts/why-im-leaving-elm/
We should push to adopt a standard iconography for "language/region menu/options". A good candidate may be a world icon (which some companies already use, e.g.: dell.com).

Once there, given that the language list itself is in its own localization (or that iso codes are used to represent them, or both) you should be able to pick yours just fine.
I could post my fully automated self hosting infrastructure, but it would be boring. Few bash ssh scripts and LEPP stack. None of this complexity and yet 10+ years uptime. Interesting nonetheless but think i'll pass on this. I have done these setups at cloudproviders for clients; that is definitely the risk averse version; if something goes wrong every month with AWS, it's just 'ok'; if something goes wrong every 5 years with your non-cloud, it's panic & heads need to roll (even though it costs a fraction).
Basically crypto is a way to scale up illegal financial activity? One trader has a way to get money in nobody asks questions about and is able to capitalize that ability.
I suppose picking top X open source Typescript codebases and compiling them with the expectation of output being identical with TSC would be one way to test this, albeit not what one would expect as a test suite.
Why does everything about marriage have to be romantic? If you're the spouse you'll be the first person the doctors ask if taking them off life support is ever a question. That's not romantic but it's a direct possible consequence.
I imagine React was created by Facebook slackers.
I don't know about ammonia, but aluminium (a similarly "energy-intensive" commodity) is produced in Iceland where they have lots of cheap geothermal energy. Similar situation, making use of a local energy source and exporting the embodied energy as a physical product.
IMO, the problem with divorce is that the payout is given at the time of betrayal/leaving not the time of loyalty.

Hear me out. Imagine you work at a company. You do good work. You get a salary and some stock. The company is not publicly traded, but rather buys back the shares you own when you leave. The salary part makes sense - you are getting paid while being with the company. The second part does not. The company is rewarding you just as you’re walking out the door! Even worse if you’re fired for performance, theft, consulting on the side, etc.

This is exactly what divorce often looks like. Suppose he makes a lot more than she. She could never afford the house herself. She is a loyal wife, makes him feel at home, etc. He is a loyal husband, works hard, provides enough for a decent home, etc. She earns what she gets above her salary through her domestic work. This is often quoted by feminist groups.

Now at some point she wants to leave, turning his life upside down. It is at this point he must reward her! Or worse, he catches her cheating, and now must reward her when she wasn’t even doing the most basic thing to deserve living in the house to begin with!

It would be far better if her compensation was complete as time went by. Like now, a company pays you ever two weeks grants you stock every month or so. There is no significant payout on your last day. This is how marriage should be.

Ideally there would be some agreed upon value of her labor that she would collect every month or so. It could be cash, or payment to some insurance that would pay for housing and job training for her upon a divorce. The point is, for the most part, when they split, she had a predefined benefit, enough to start her life again and reflect the value of her work.

Most importantly, there would be a stronger sense that it was earned on both sides because she accrued the money while in good standing.

Obviously switch the sexes as the situation permits, etc.

This should be the default, not part of a prenup that puts you on the defensive for “predicting a divorce”.
Not judging you personally as genuine or not but it is in the OPs best interest not to share these details lest you or someone else on this thread that is a social justice warrior make a point to try and sabotage his solo adventure in the startup phase. The woke know no bounds when it comes to demolishing individuals.
I think Apple hit here the sweet spot with the 13" and 16" sizes.

My wife (a teacher) loves his 13" one, it's ideal for her to make video calls, write emails etc.

For me as a developer at least 15" is a must, even though I love Framework, I'll only buy if they release a 15" or 16" version.
The utility bills for the utilities you don't have? The whole point is you don't have a fixed address that requires utilities.
I’ve a 2013 MBP, and I can confirm that 30W is about right for trundling use. About 65W when I make the fans go whee.

It’s nothing compared to my desktop running an intensive game - that’ll chew up 600W no problem.
I've found the complete opposite effect.

Allowing people to work undisturbed has, for my team at least, allowed faster delivery of goals.