skysight-inc/HackerNews huggingface dataset:
I don't believe in any of that Rust exceptionalism BS. Rust is just a strongly typed language just like Haskell or any other strongly typed languages. This strong typing (particularly through the borrow checker) gives the Rust compiler the ability to verify properties about the code like any other strongly typed language. The mistake that Rust makes is that they attempt to make the verification a language requirement while nearly every other language either makes it optional or keeps the verification in a library or tool external to the standard.

With Rust though a significant part of the value in things like the borrow checker is that it has the assertion that if you break the rules set out by the "standard", the code doesn't compile. Even Haskell doesn't make the mistake of trying to enforce something like that (instead it's libraries that normally add that verification but those aren't part of the standard).

My point is that Rust has language requirements that force the language compilable by the compilers to never be close to or equally covering the entire language defined by the "standard".

There will be normal (and emphasis on normal) programs that will not be compilable in Rust on certain compilers but will work just fine on others due to the search space on the type solver or the borrow checker blowing up. These issues will also likely pop up in between versions of the same compiler when changes to the internal representation cause certain cases to fall outside the search space.

The only thing the Rust devs can actually do to solve this problem is to add arbitrary restrictions to the language spec based on the limitations of existing compilers.

This issue isn't unique to Rust but basically every other major language has gotten around the problem by not making it a problem in the first place.

---

This comes back to the point in my original comment. Rust the language based on the compiler will likely not be consistent within Rust the language based on the "spec" (whatever it ends up being). There will be normal code that fails to compile due to seemingly arbitrary changes triggering combinatorial explosions.

With C, C++, Haskell, etc this issue can pop up but the features that can invoke this problem are far more rare, are more self contained, and are easier to diagnose (i.e. template explosions which are localised vs the borrow checker which can be very much not localised).

The original comment was very much a critique of Rust and by no means some type of Rust exceptionalism.
Except they aren’t claiming that it’s only video games.

They’ve only mentioned it as one avenue of misuse.
Yeah, I meant Kleenex. There are more examples here. Some of these still hold protected status as you mentioned.

https://www.businessinsider.com/google-taser-xerox-brand-nam...
Same question for Travis CI, is there an example setup for this?
I don't know about adverse effects, but I've always considered the environmental impact of sparkling water. I still don't get why some people are unaccustomed to the taste of just water.
This might be also a part of all this, where Johnson & Johnson fought in court with the American Red Cross over the Red Cross emblem on American Red Cross products:
https://www.wipo.int/wipo_magazine/en/2008/05/article_0005.h...

https://www.jnj.com/our-company/youre-doing-what

https://www.reuters.com/article/us-johnsonandjohnson-redcros...
Micron Technology Puts Its Cash to Work Using Artificial Intelligence
"If we had less time to waste we would waste less time."

Citation needed here. I personally wouldn't be so sure about that
I think you just described a space blanket. In fact based on the title, I expected this to be one of those used backwards.
I wonder if more low tech solutions could work. What if you added random short screen blackouts or unexpected lags and see if perfect input still comes through. Anything that a human would react to but a bot won’t.
I don't know how I forgot that. It was more popular than alcohol and cigarettes at my school.
This reminds me of Tiberium Sun units. I always enjoyed the voxel models in that game and wondered why there weren't more tools available for modelling similar things.
A professional dungeon master keeps his games fun
How much geo data can they obtain if my location is disabled for almost all of my apps?
> but the spirit of the rule is to protect things like hopsital ships, medics, etc.

Specifically medical organizations that commit to treating _all sides of a conflict_.
co-pilot seems great at automatically writing boilerplate code, but iffy at doing anything novel - like most supervised learning systems
Might not be a game but be from this: https://www.wipo.int/wipo_magazine/en/2008/05/article_0005.h... and then seeing the widespread usage of red cross symbolism in video games
I mean, I don't totally disagree with you when it comes to sports, but e.g. then they should just get rid of the name "artistic gymnastics", get rid of the silly music, and just call it tumbling. Figure skating is probably more difficult to fix, but even there I'd prefer the simple fix of having "girl's" figure skating (say 18 and under) and women's figure skating separated. The current rulebook makes it nearly impossible to be competitive at a top level once someone develops breasts and hips.
https://archive.is/CFYgU
Rent seeking kills innovation. Patents as currently legislated, issued and resold are overwhelmingly just tools for rent seeking.

There probably is a theoretical way to do it that encourages innovation but it’s hard to see a society ruled by self serving individuals not wrecking it pretty fast.
Just like building for the web then?
In that scenario you also do not know what version the browser is (or even what kind of browser).

An advantage would be that the browser gets security patches by the OS.
Of course it looks strange -- the stock price reflects a short squeeze on naked shorts, not value or growth.
The issue is that associating it with just medical treatment is wrong. It's the symbol of an organization that's internationally recognized as neutral in wartime, and that's the important part.
Colorado Gov. Polis Signs Data Privacy Act
danluu talked tangentially about this in a recent twitt. He said that people are interviewing without intention to accept the offer, but roughly half of them end up switching jobs.

It seems that usually companies pay their long term employees below the market, and they only notice when/if they go job hunting.
Focus/PIP is a lot harder in Europe for this reason, among better labour protection laws
> Second, here's someone who leaves a lazy, drive-by comment. It's two words long. It took them five seconds. It has no actual thought, and therefore it's not the kind of comment we want on HN.

Every time the subject of downvotes come up on HN, this is always the stance most people take, but in reality HN has grown to the point that people are downvoting with a hive-mind like reaction.

Look at the sibling comment to mine by tuxie_. I see no reason why their post should be downvoted, yet it is.

I personally think downvoting on HN has become large scale deterrence of any discourse that goes against the hive-mind or is provocative, because people drive by downvote, then someone sees that comment is downvoted and piles on because "Well if the community thinks they're wrong, then I do to."
You are reading the version reprinted on someone's blog, not the original text.
There is a plan, and the manager will hold employees to it, the difference is they aren't proactively saying "if you don't complete these steps, you can see yourself out." At that point the manager has usually already, for better or worse, flipped the "bozo bit" on the employee and is very unlikely to attribute any successes and instead over-index on the failures. The vast majority of employees put on a PIP do not successfully complete the PIP.
This is great! I really like the retro look on the example models and the video.

I've never edited voxel models with the spritestacking 2D technique, I'll give it a try. Is it more efficient than placing voxels in a 3D viewport?

On a side note I've been building my own very simple voxel editor in VR you can take a look at it here: https://www.youtube.com/watch?v=tiaGvePo6jo
I use Android with the Lawnchair launcher. I only have 4 visible apps on my homescreen, one page, no dock, swipe up to get to app drawer. Lawnchair has "Cover Mode" folders which only show the first app in the folder on the homescreen but will show the whole folder when you swipe the icon up.
Swiping up on my phone app shows icons to immediately call contacts I call frequently and also Jitsi's app. Swiping up on Signal (I uses it for SMS as well as encrypted messages) again shows some contacts I text frequently, my mail app (K9), and a shortcut to Signal's Note To Self. Camera isn't a folder, swiping up just opens Gallery. Swiping up on my browser (Bromite, a more private Chromium fork) shows a shortcut to open a new incognito tab, a few shortcuts to sites I use frequently, and a shortcut to launch the J2ME version of Opera Mini 8 in J2ME Loader. (I don't like the android version of Opera Mini.)

It looks like this: https://owo.whats-th.is/95SaivC.png
This article of course presents automatic programming as if it's a brand new
thing that is only now possible to do thanks to "AI", but that is only how
companies that sell the technology find it convenient to present things to
market their products. The thing to keep in mind is that program synthesis is an
old field and a lot of progress has been made that is completely ignored by the
article. Of course most people haven't even heard of "program synthesis" in the
first place, simply because it is not as much hyped as GPT-3 and friends.

From my point of view (my field of study is basically program synthesis for
logic programs) code generation with large language models is not really
comparable to what can be achieved with traditional program synthesis
approaches.

The main advance seems to be in the extent to which a natural language (i.e.
English) specification can be used, but natural language specifications are
inherently limited because of the ambiguity of natural language. Additionally,
trying to generate new code by modelling old code has the obvious limitation
that no genuinely new code can be generated. If you ask a language model to
generate code it doesn't know how to generate - you'll only get back garbage.
Because it has no way to discover code it doesn't already know how to write.

So Copilot, for example, looks like it will make a fine boilerplate generator -
and I'm less skeptical about its utility than most posters here (maybe partly
because I'm not worried my work will be automated) but that's all that should
be expected of it.
Having worked in payment systems and also having a reasonable understanding of cryptocurrency, perhaps you could enlighten me as to what the limits are?

Your idea that cryptocurrency would solve your friend’s situation is just plain wrong. It might have solved it for one party, but it does push the fraud risk onto the buyer. If your friend had sold a laptop to an honest buyer, but the laptop died as soon as it left the house, or was of lower spec than advertised, the buyer would have been out of luck.

I’m not sure why you think pointing this out indicates that I’m upset, I can only presume this is tone trolling.
There was a thread[1] earlier in the week lamenting how tough it is to make modern comedies. Between the Twitter mobs scrutinizing anything for insensitivity and the need to appeal to international markets, it's really hard to come up with a universally funny and PC-acceptable comedy anymore. You can't do slapstick or silliness. You can't (even gently) poke fun at "groups" anymore. Best you can do is a cynical "dark comedy" that provides awkward discomfort and doesn't actually make you laugh.

1: https://news.ycombinator.com/item?id=27750565
Whether it was done by the publisher or someone else, the work has to be done. If not by the publisher, then it's reflected in a lower share of the sub fees for the publisher.

But my point wasn't to say the high sub fees are okay, it was to rebut the idea that publishers add no value, when that is often (though not always) incorrect.

IIRC, the small publisher I worked for had net profits of about 10% on $5 million in revenue. Not unreasonable for handling pretty much every aspect of the process apart from final decisions on article inclusion and a few other high level details.

Even when I worked at the small company though, we hated Elsevier. Elsevier are little better than extortionists saying "nice library collection you have there. Shame is something happened to it. How about you pay us double this year?"
Doctors are under pressure by insurers and hospital administrators constantly.
If they do that and all the ambulances, hospitals etc. change to the new symbol, that symbol will have the same problem in a few decades because it will be similarly omnipresent. Considering it’ll probably take about as long for all the equipment and buildings to relabel, it doesn’t seem like a practical solution.
Everything I click, I just get a screen to login. You will never get traction here with something like that.

Did you recorded the videos, or it's a collection of videos of other persons?
popular culture was always intolerable, you're just old enough to notice
Steam engines are only an example of patents working as intended if there was any value in publishing the ideas - that is, if the knowledge would have remained secret without the patent.
> Trying putting the whole article in context instead of picking apart two sentences. What they're saying is that the Red Cross Emblem is being watered down, so much so that it's losing it's symbolism of humanitarian protection status and impartiality and as such are becoming a target in conflict zones.

Wow that's a lot of snark.

1. I did read the entire article, I just didn't quote it all because that's not what quotes are for. Note that the site guidelines advise against accusations of not reading TFA.

2. "as such are becoming a target in conflict zones." So basically the absurd "videogames thus killings" argument that I addressed in my original post?

3. I got a couple dozen upvotes in a few minutes, so I'm not the only one confused by this.
What the post fails to highlight is what causes problems or why is it an issue?

E.g. it sounds like people died because of it? Why?

I'm not sure I follow - isnt it a good thing that the emblem is widely recognized and used, so everyone know what it stands for help/medicine/first aid/dont shoot, etc...

Or does it mean soemthing else?
Judging papers based on the prestige of the publishing journal is not necessarily a bad thing. Everybody does it, consciously or unconsciously.

Having those journals owned by publishers that engage in rent-seeking behavior is.
There are now way more types of immunotherapy than what you mentioned.
Monoclonal antibodies, CAR-T cells, BiTes, cellmods etc.
Downvoting is too blunt a tool. You can downvote for many reasons "(I think) you are wrong", "your comment adds nothing to the discussion (simply repeating the original)", "I don't like you (lets be honest that is some peoples reason)"

Also the suggestion would balloon the number of comments and make the thread even harder to read
If you ever tried AI Dungeon before it imploded, you'd agree GPT-3 is pretty impressive and is generally capable of coming up with original stuff. Obviously with a bias towards the kind of stuff that's in the training dataset, which is why you try to use a very broad dataset. But still original.
Is it better to go wide, or to go deep in your tech career?
CheckMyLanding: A place where you'll know weak places of your landing page
I’m always struck by theme of replies in threads like these.

For those saying “I’m just here to write code for money, full stop” was that always how you approached software engineering? If not, would you choose a different career if you could do it all over again?
> UPL is basically an Apache like license but with a patent grant

Apache contains a patent grant.

> still maintaining JavaFX and other large libraries, even when they didn't become super popular

They kept JavaFX proprietary for years before opening it up, and they only did so reluctantly—after it was obvious that it was a failure.
Some of that impact is making the CIA more effective at the things the CIA does, as Amazon runs a special datacenter for them on-prem at Langley.

It is quite sad how many in our industry are either sufficiently clueless or sufficiently indifferent that they would eagerly go work at the CIA's sysadmins, especially under the guise of "important" or "impact" (quite literally in the case I mentioned).
Hm - everything people are saying makes sense. I was repeating what I've been told by literally every HVAC guy I've had work on multiple houses over the last 10+ years. If the professionals are all wrong, I suppose it could just be one of those tropes that persists in an industry?
I do judge GTA. I judge it to be the greatest AAA series of all time.
> an accurate representation of real life

In real life, the symbol is pretty strictly limited to a specific international organization well-known for their neutrality in armed conflict. Portraying it as just meaning 'healing' takes away from the power of that neutrality.
> How about User Experience (UX) and System Experience (SX?)?

> UX engineers are creating software for the express purpose of interacting with users, i.e. human beings, and having to deal with all the messiness that entails.

In the latest 5 years the UX are creating software for the express purpose of telemetry and destroying users experience. Every two months there's a major interface redesign. Every two months someone thinks that the users are idiots and need no configuration options while they make grey text on white or black background.

> SX engineers are creating software to be used by software. Their focus is on API/SPI design, versioning, flexibility, discoverability and so forth.

Discoverability is dead. Help is not in fashion anymore and when there is some help available it needs a web browser and an internet connection.
Looks kinda similar to the google search trends
https://imgur.com/a/bbTjUkf
It's telling that my first reaction to "~2k a month" in daycare expenses was that it seemed like a pretty good deal. My son's daycare 13 years ago was $2400/month.

It's even more telling that there's such a disparity in insurance. I think the entirety of pre and post natal care for my son cost us < $500 out of pocket.

I agree that money is a big factor. I graduated college in 1997 with a "large" amount of debt for the time, which was $35k. I was able to pay it off in about 7 years, while still living in a (very, very small apartment) in a city. My wife and I had a fun 4-5 years of living debt-free and enjoying life experiences before settling down and having a kid.

Between massive loans and skyrocketing housing costs, it's much harder for the younger generation to do those things as young as I was able to. I think people now are also more OK with prioritizing other life experiences and feeling less pressure to have kids.

The "time" part is very tough. We were incredibly fortunate to find a day care that was literally across the street from my wife's office. It didn't reduce days off or need for random pickups, but it did make things a little easier. I'd say that roughly 50% of PTO I've taken was for childcare related things.
The sad part is that it's totally possible to run Windows without any of the snooping and annoying extras: our corporate Windows PCs run great, no distracting anything.

It's just the consumer that gets screwed and, let's be honest, who is willing to pay the actual price of a SW license anymore? I remember paying hundreds of dollars for SW in the pre-internet era. So instead of paying in dollars you now pay with your data. The fact that Linux is still underrepresented on the desktop just shows that we're willing to put up with it to get the shiny thing.
Do you have an example for this?
I agree that the word brilliant is an adjective that humans can choose to use or not use to describe a particular technology. Your initial statement was that making that decision is always due to politics, as opposed to a person's genuine opinion... or perhaps implying that people simply don't have the ability to evaluate something independently.
This isn’t the complete picture. It’s true that the vesting schedule gives you only 5% of RSUs in your first year, but employees’ cash signing bonus is increased to offset that. So if the total compensation target for a role is generally $500k (say, a principal engineer or a director, maybe?) and your salary is capped at $160k, you’d be given a signing bonus of $500k-$160k-(total stock vest x 5%) in cash. It’s not as though you’re paid significantly less when you start, it’s just that how you are paid is different.
Sure, I can see that. I was differentiating between internal company scale politics vs. larger-than-company politics. If Microsoft gave the same first-class promotion and support to F# that it did to C#, that would undoubtedly increase F# adoption.

My experience is a micro-scale observation that it did not take much campaigning to convince developers to try it (given the existing level of support backed by Jetbrains).
Psycho Goreman is a great example of a mid-budget movie that’s 100% about the fun. The issue really appears to be about movie investors being unwilling to take risks like they used to, which makes sense given investor sentiments as a whole across the past several decades leaning more and more conservative as wealth loss protection is a requirement, which removes a lot of creative room for new IPs.
The pacific northwest doesn't look like Texas though. Our birds, mammals, forests, I don't think any of it could withstand that heat regularly.

What we're talking about is one biome being changed out for another if this becomes regular. Allegedly this heat wave is 1 in 1000 years but who knows what is normal now.
I did want to look at it but there's too much risk of me clicking on the wrong thing. So it will stay in limbo forever.
no it does not. if you use native-image, thats on another level tough.
I was hoping to see comments about why this wouldn’t work at scale.
My background is also in maths and I am keenly interested in, and frustrated by, notation as it appears in various fields. There's a time and place for fancy, dense notation, and I don't think it's here. Subjectively I found the use of unusual math unicode symbols to be gratuitous in this repo.
I'm not sure I understand the question: is there not value in managing every single logistic detail of a complex process?
It's 501, and has not been inflation adjusted since the early days of HN IIRC.
So you just have to pull in earthly and then call it. Here is an example. Note that the travis file has almost nothing, because you can move all that to an Earthfile so that you can easily port it and run it locally.

https://github.com/zedtux/database_cleaner-nobrainer/blob/ma...

https://github.com/zedtux/database_cleaner-nobrainer/blob/ma...
I’ve seen comments with data and explanations are downvoted. Objective facts are downvoted if it doesn’t fit the narrative or political angles.

It’s actually fun to go back and read comments from 5 years ago and see a stark difference in the way we used to have a discourse.
Officials: Texas was “seconds and minutes” away from an uncontrolled blackout
Is there any evidence at all that misuse from video games or any other kind of media have contributed to any of these fatalities?
It worked well early on but once we ran out of F# devs to hire we regressed to the mean.
they give you a signing bonus, paid out over time, to make up for the difference in total comp in the first two years
That is actually not true, Gallup says right know we feel the best we have done in 13 years: https://news.gallup.com/poll/351932/americans-life-ratings-r...

I think there is something to what you are saying, and Americans are not feeling as well as the (average) GDP data should indicate compared to the Nordics, but in general data shows we feel fine.