skysight-inc/HackerNews huggingface dataset:
> But there are better and worse things compilers can do in the presence of UB, and the big one is warning you about it when it possibly can.

The problem is that this is really hard to do without producing either too much or too little warnings, as undefined behaviour is usually input-triggered; and the compiler usually doesn't know all constraints on the arguments that the programmer knows about.

For example, the function f() in the article of the other discussion is perfectly well-defined for any argument x <= 0x402010, as in that case no overflow happens. The compiler doesn't know whether all callers ensure the argument is valid (e.g. this might be a library function, or the invariants might not be expressable in a way the compiler can understand). This is a lose-lose situation for the compiler: it can warn, but people will find the unnecessary warnings annoying and turn them off, while if it doesn't warn people will complain about perceivedly bad optimizations.

Of course there's a point to be made that the real problem here is that the C standard makes signed integer overflow undefined behaviour, but that's not gcc's fault and can be easily worked around with -fno-strict-overflow or -Wstrict-overflow.
I usually don't like the trainings companies provide to engineers to make them grow. The trainings are focused 100% on the tools the company is using (makes sense), but I may not want to learn the hype tools my company is using at the moment, but instead focus on more long-term useful knowledge. For instance:

- my company is using DataDog and they offer us training on that. Well I don't care much about DataDog; I care more about how metrics work and what's behind the curtains (e.g., time-series dbs). Chances are that DataDog will be gone soon or, most probably, it won't be used when I switch companies. So, I prefer to focus on non-hype stuff

- same for specific frameworks we use at work. In one of my past companies we were using Laravel. They offered us training on Laravel... but I just couldn't care less. I don't use Laravel anymore (not even PHP). I would have preferred trainings on more agnostic stuff like architecture/design/algorithms

And like this, tons of similar examples. So, the way I become a better engineer is by studying by myself mostly during working hours but also a bit during my own free time. I read "the classics" (i.e., books every software engineer should read), I keep myself updated with releveant technologies and work on personal projects to solidify my knowledge. It's a win-win for both myself and my current company (even if my company doesn't realize).
> I am rather sceptical of this being evidence of censorship.

CCP is clearly employing censorship on vast scale, this is not disputable at all.

Have you maybe meant "I am rather sceptical of this being evidence of censorship in this specific case."?
Pew's writeup of their own research is a better read than the BBC article.

https://www.pewresearch.org/fact-tank/2022/03/28/young-women...

The problem with anything written about this topic is that 99% of the time, ideology comes first and the goal of the writer is to either be pro-women, or anti-feminist. It's never a balanced view.

Pew's analysis seems pretty balanced. They looked only at young people who work full-time. Within this demographic:

16% - are in metro areas where women earn parity to men, or up to 20% more than men.
47% - are in metro areas where women earn 90-99% of what men earn.
37% - are in metro areas where women earn <90% of men.

It also notes that men work 4-5% longer hours than women.

What it doesn't dare to touch (I don't blame them) are gender roles and proclivities. Questions like: how much of this is due to men being on average more competitive, and valuing career/financial success more than women do? How much of it is due to women prioritizing family over work? How much of it is due to the professions each gender gravitates toward?

Those questions are all based on pretty well established observational data, but people find it very uncomfortable to acknowledge that gender roles exist and men and women continue to have very different preferences about how to live their lives, despite over a century of feminism. I think it's because one camp fundamentally believes that these preferences should be eradicated and the other believes they are natural and acceptable.
This is all very interesting, but I don't want to know all of this information, and I don't want to have to know it. What I need is some kind of wrapper with sane defaults, such that when I perform some kind of operation on a video file, I only have to specify the parameters that matter to me. The last time I tried to work like that, the bitrate was unusable afterwards. I don't want to have to think about the bitrate to create a clip of a video.
They know it affects the immune system.

They expect repeated exposures to mean the west is weakened with lots of people unable to participate in the economy, while their population won't have that issue.
>"The carefully split the wire part" in many places has me concerned about electric shock.

Don't worry. The internet virtue point demerits from playing with electricity are cancelled out by the ones you earn from avoiding ladder usage.
Wow, real insightful snarky comment.

I got tired of this nonsense when Texans were doing it to Californians over wildfires and their own power failures. And I got even more tired of it when Californians did it to Texans.
I wonder how long this will last? a boiled water requirement in response to a short term pressure loss seems more like a "lets be safe" rule than a "things are contaminated". When I was a kid we had a 3 week boiled water restriction due to a seagull getting trapped and dying inside a water tank.
I think it's a combination of not enough Western production, no possibility of acquiring a local production license like India and the hit to their public image if they admit their vaccine isn't good enough. The current largest producer of mRNA vaccines is India, AFAIK, and most of that goes to India and the EU.
I think that it's misunderstanding that dictatorships need any.
I don't think parent was comparing vaccines, he was comparing attitudes towards vaccinations.

Old people (i.e. those who saw the benefit of polio vaccinations and the horrors of non-vaccination) should be more inclined to vaccinate.

Younger people, many of whom have never seen the value of vaccination in their lifetimes, might be more inclined to distrust vaccinations.
I don't doubt this and I do reckon the average creator on OnlyFans makes a lot less than you'd think, especially from the outliers, but I'd be curious as to how this was calculated. I suspect there's a hell of a lot of inactive creators / ones with one or two followers for example.
Just think a little deeper… How much are these preferences based on the sort of people already working in a career/location/company?

I live in Western Australia and it’s been a rather big thing recently looking into massive systemic sexual and non sexual, harassment and assault throughout the entire industry… because it was a “blokes job” for so long and they are now grappling with the fact women want these sorts of well paid jobs too. Women are even on record by multiple employers as statistically better drivers of the large vehicles throughout the industry, they want women.

But we have been hearing stories of women being warned off by other female staff, of people leaving or deciding not to take promotions not because they don’t want the job… but because of the other people.

Correlation is not causation, just because we see an effect of women not wanting a job does not allow us to attribute it to any one cause without investigation and evidence!
"since it is not edible". As of this time, but I wouldn't put it past them to evolve an ability to eat plastic somehow. (Though if they did, a new rat-based eco industry would be born)
Weird, I dislike Flask because it quickly becomes a dependency soup the moment you want to add something simple like forms or a DB.

Django has less dependencies[1] - one "real" one (asgiref), one to work around a sqlite issue ("sqlparse"), and up to two timezone related backports depending on your OS (tzcata, zoneinfo). Plus obviously a library for your db backend, if you're not using sqlite.

And with that you get a lot more for less, compared to a Flask + wtforms + sqlalchemy + alembic "starter setup":

> $ pip install flask "sqlalchemy[postgres]" wtforms alembic
> $ pip freeze | wc -l
> 13
> $ pip install django psycopg2-binary
> $ pip freeze | wc -l
> 4

1. https://github.com/django/django/blob/60a7bd89860e504c0c33b0...
Google Partners Adoptium – What's the Deal?
That's very neat, it's almost the opposite of the problem you usually have when photographing people, but it works really well to create a unique mood.
Their behaviour is not that weird for an authoritarian regime and easily explainable without this theory imo. (As you say as well.)

What would be an example of a piece of knowledge which they could have about the virus and which would warrant (in our eyes if we knew) 0 covid policy forever? Maybe I lack the imagination.

Edit: Please don't downvote replies to this comment with fabricated not-real scenarios. That's exactly what I asked for!
I don’t mind calling myself a 10x engineer, but it’s of course better when others do so. ;)

Honestly I’m quite tired of this false humility norm. Seems to me it’s mostly about redistributing the fruits of common labors from those that focus on the craft and try to improve their productivity, towards the socially focused “humility experts”. I much prefer working with cocky 10x engineers rather than these humility policing 1x ones…
But that is the answer, in that there is no answer :) And agreed, it is always a mismatch. But I do think that with what I said, that'd be the foundation to create a 10x engineer. That's how I became one, because I was matched with people of that skill level and got to work directly together with them for years. And if I'm 10x by my company's standards, go figure how good those guys were ;)
See also: https://wiki.archlinux.org/title/FFmpeg
Is this a straight sci-fi material or is there something else to know that wasn’t mentioned in a hypothesis section?
> Does this include that a compiler, when it can prove that a program it compiles contains UB, erase your disk as part of the compilation process? i.e. without you ever running the compiled program.

No, but technically compiler would not violate specification by compiling program that on running will scan your disk for secret data, publish it online, apply ransomware to your disk and deliberately destroy your SSD.
In that case it wasn’t a money launderer, but you’re probably right that the old owner and the town were corrupt. As for the end being happy: We’ll see. There is a lot of work and a lot of cost ahead.
> have thrown away maybe two cucumbers in the same time.

that plastic is not for you not throwing away two cucumbers, is for the supermarket and distribution centers to not throw away pallets of them, it increase the efficiency of the whole logistic chain (which runs on oil)
This doesn't make sense to me, twice:

1) the presence of launchd doesn't make systemd necessary

2) the previous absence of anything like systemd on Linux distros means I don't know what you mean by "necessary"
No, it isn't. The line with UB has to be reached in the execution for the execution to be undefined.
In that case, it would be illegal to sell a game console that requires games to work or selling a cell phone that requires cell service to work. Does that also mean that Apple can’t sell an AppleTV without an HDMI cable? Or for that matter sell an AppleTV without selling a router or without selling internet service.
How does it affect the immune system differently to other pathogens?
Excellent guide, thanks!

Shameless plug: a while ago I wrote a simple Python script to remove silent parts from video using ffmpeg, which AFAIK it doesn't do out of the box:

https://github.com/bambax/Remsi

It might be helpful to others.
The issue with this is you need flat PCBs due to the depth of field of a flatbed scanner. Even in that article they had to remove components from it. That's quite annoying since most of the boards I have have stacked USB connectors.
> If your change is made only to lure people in, not improve their life in any way, mabe you should not even start the A/B testing at all...

Yes. It is totally possible to misuse the tool and run bad tests. That’s why, at least where I work, we don’t run live A/B tests until we’ve done some initial validation that the idea isn’t just terrible, and we have some level of confidence it will work and not harm the user’s experience. For example, we could segment user feedback and customer support issues we received by test variant so we could look for unexpected issues we might have inadvertently caused with the challenger design.

I can’t speak for how A/B testing is used elsewhere, but every A/B test I’ve run has been because we thought it would improve things for the user.

You certainly could run an A/B test to see which banner ad is more deceitful, just like you could use React to build the website that sells the scam medicine that banner ad is advertising.
Small Plane Crashes into Transmission Tower in Maryland
If you're doing a new build are there products out there that are more nature-proof? (eg. like would be used in permanent commercial displays)? Or countersunk into solid material?
You'd think that with China's cavalier attitude towards intellectual property and trade secrets they would just copy one of the more effective mRNA vaccines and distribute it under the current Sinovax label.
A smart 10x engineer would use his special power to do 1/10 the work everyone else does.
Yes. The question should be what's the amount of cured covid cases per capita between US and China? The difference is probably pretty big.
> If it's a lab-leak it means the virus was potentially well studied before the leak, and it's effects known

Even if the lab-leak theory is true: knowing how it behaves in the laboratory (in vitro or in animal testing) doesn’t tell you much about how it will act in humans.
So you would dislike seeing code like, say...

if (!((my_ptr = malloc (sizeof (struct my_struct))) != NULL))
exit (1);
The best numbers for this come from Hong Kong, which uses both Sinovac and Biontech/Pfizer.[0]

Three doses of Sinovac are actually marginally more protective for >80-year-olds (97.9% vs 97.5% effectiveness at preventing death), though the difference is probably not statically significant.

0. Study in The Lancet Infectious Diseases: https://doi.org/10.1016/S1473-3099(22)00345-0
So far has not been needed. With the lens I'm using and the amount of light I can stop it down to f/8 and not have issues with blurry parts. For the macro pictures of components I need to look into focus stacking if I want to have both the board and the chip number in focus but that's not a big priority for me.
I don’t buy that. No other country was able to completely arrest the spread of COVID through lockdowns, even Australia and New Zealand which are islands surrounded by giant oceans were not able to stop the flood of infections.

China borders 14 countries. If there’s “no COVID” it’s because it’s being suppressed, with or without Beijing’s knowledge.
It is not explained why points 31 to 36 are valid, unlike HDL synthesis tools, C compilers are pretty deterministic, same input same output, except timestamps, etc.

If an UB adopt X behavior one time, a reproducible build will take same X behavior the next time.

Of course I am not negating the fact that this undefined in the first instance nor condoning the UB usage.
I would also like it run in-browser. Is this technically possible?
They do not trust the gov especially injection. Quality is not there. And if trouble they will shoot down the complaint people to “solve” the complaint.
I am always amazed by articles like these. This guy thoroughly covers this topic.

I cannot say I have ever written anything that ran into or caused undefined behavior. And I have programmed for a long time.

Is this just an interesting topic or do people actively push the compiler to see what it will do? Maybe I am a boring/simple programmer. :)
> Numerous Chinese-language accounts, some dormant for months or years, came to life early Sunday and started spamming the service with links to escort services and other adult offerings alongside city names.

> The result: For hours, anyone searching for posts from those cities and using the Chinese names for the locations would see pages and pages of useless tweets instead of information about the daring protests as they escalated to include calls for Communist Party leaders to resign.
I have been running Time Machine backups to a Synology (via SMB, exclusively over wifi except for the initial backup) for years and years. I ran into this issue only once, but it was after moving the backups around and changing the shares on the synology (so may have been my fault).

So far I've found it to be pretty reliable.
Show HN: Create a festival lineup from your top artists
That would make everything lit with the flashes look way too yellow. also it wouldn't make it a perfectly FFFFFF white mask around the board.
Also known as "nasal demons"
SvelteKit w/ Typescript.

The front end logic compiles to vanilla JS and ends up lightning fast compared to React/Vue with much smaller file sizes.

The back end framework is extremely light so you need to pull external packages in or build your own solutions. For example there's no built in ORM or such. This can be seen as a huge negative for some but personally I like to use raw SQL and build my own libraries for things anyway.

I've found insane value in using one language for both front end and back end. Reducing cognitive friction and context switching is a huge win and it allows you to share logic in both places.

My validation logic is defined in exactly one place, so if a piece of data will end up invalid on the back end then realistically it has no chance of even getting there since my submit buttons on the front end will be disabled if my inputs fail that same validation logic.

Similarly I have objects with state classes defining allowable behavior. I can use these state classes in both the front and back end. Why on earth would I want to define these things in two separate places, in two separate languages? Defining once reduces potential errors and obviously saves massive amounts of time. For your average CRUD web apps in 2022 I have no idea why you would reach for a solution that doesn't allow code reuse in both the front and back end. It's such an obvious and huge win for me.
The C specification doesn't say anything about what a compiler may or may not do during compilation. It only specifies how the compiled program should behave.

So, yes, the C specification allows a standard-conforming compiler to erase your disk during compilation. It even allows it to do that if your code doesn't contain UB.
Replying here also for the other comments.

Imho Mac hardware, especially with M1/M2 is the best value for money one can buy right now. Performance is outstanding, coupled with all day battery life. Build is also super premium including the keyboard now. I tried Lenovo X1, Dell XPS 13 which are supposedly the best PC laptops and found them way inferior... and more expensive!

Regarding macOS, I completely understand that some people like it, some don't. But we all want good tools on that hardware :)
Embed Doom in Java with GraalVM Wasm
Elon Musk says he'll make his own smartphone if Apple bans Twitter
Also, there needs to be an incentive to be 10x, or at least not a disincentive (like hordes of 1x:ers seeing “brilliant assholes” everywhere).
Sorry, the api may be unstable because it is still in beta testing; If it's convenient, give me your playlist and I'll try again for you。
> The "best" engineer in the world would probably tell you that "the only thing that they know is that they know nothing"

This just tells me that the engineer in question is very good, but also has imposter syndrome.
Getting the sequence and using it to design a vaccine are light-years apart. We've been able to sequence genomes for decades but designing an mRNA vaccine is bleeding edge.
There is an old german proverb that fits here, "Es kann nicht sein, was nicht sein darf", mocking lords and judges who purposefully mixed up things that are physically impossible to happen and things that ought not to happen by policy and made their life awfully easy that way.

People already weren't fond of that kind of logic a hundred years ago.

I think HTML5 sets a good example of how to do it instead: A large part of the standard is about defining behaviour for functionality the standard explicitly deprecates and disallows in compliant documents - all just so "legacy" HTML documents don't end up with "undefined behaviour".
China’s Revolution Turns Green
I was going to recommend DevSpace for kubernetes, looks like Telepresence has a lot of similar capabilities. I'll have to check that out as well.

https://www.devspace.sh/
Whatever the issue, it is goner and only viable policy is Co-existence. Not initially but now I’d different.

hence no point of zero policy. Emperor has no cloth.
If it makes money, it was intentional
i do wonder how easy/hard it really is to reverse engineer a vaccine - and if it went wrong, some heads will roll. It's not like software piracy, where a perfect copy could be made.
C will accept every valid program, at the cost of also accepting some invalid programs. Rust will reject every invalid program, at the cost of also rejecting some valid ones.

("unsafe" (aka "trust me" mode) means that's not quite true, and so do some of the warnings and errors that you can enable on a C compiler, but it's close enough)
So as I see it, one time charges are basically SKUs that just pass through the billing system unmodified. The billing process might compute the price (based off a price list, see below), and it will probably apply discounts and tax, but otherwise they pop out the other end - onto an invoice - 1:1 with the input. They aren’t aggregated or otherwise processed. This means that can be generated by some external black box that we don’t know anything about (eg, decline fees from payment processing).

For usage, as you say, there is a complex process that’s needed to compute the final value for an invoice - in telco the formal names are mediation, guidance and rating - which isn’t needed for one time charges. A usage charge may be the aggregate of thousands of usage samples (CDRs, charge detail records), processed through a bunch of rules. The CDRs can come from many sources and be formatted differently. Importantly, you don’t want to treat these CDRs as full charges that appear on an invoice, because doing so will overwhelm your billing database for no benefit. Similarly, while you could in theory send a one time charge through the rating process, doing so is probably wasteful, as the processing functionality doesn’t significantly overlap between usage and one time charges.

Pricing is very complex! You are absolutely correct, it should be separate, and it should apply to all three types of charge (consider that the actual decline fee charged to an account might be different depending on what plan they are on, or some other factors). So yes, pricing ideally needs to be separate, or at least decoupled from the billing process. That adds another layer of complexity for sure.

I hope this makes sense, It’s getting late where I live :)
Why not javascript specifically? Using integers or floats is wrong in any language. You want a decimal representation library when dealing with money.
> Here's the list of guarantees compilers make about the outcomes of undefined behavior:

> That's the whole list. No, I didn't forget any items. Yes, seriously.

I’m a little disappointed there isn’t an empty <ol> or <ul> in the middle there. I imagine screen readers would announce something like “list, zero items”.
example:

https://api.sharegiftlist.com/download/pdf/2022-11-28/iGaUTI...