skysight-inc/HackerNews huggingface dataset:
Before C++20 templates were untyped. Since C++20 it's possible to define structural types for templates via concepts. Concepts are an explicitly structural type system for templates.

Nominal typing of generic code would be what most other languages that supports generic programming use. For example Rust has traits where one defines a named trait and must explicitly specify that a type satisfies a trait by name.

In C++ there is no such means, a concept does strictly structural checks (via constraints) to determine if a template satisfies a concept, no names are involved. In other words, a type T satisfies a concept C defined by a constraint R if and only if a T can be substituted for C's placeholder type during the evaluation of R.
There is another choice; Just file a claim and let your insurance take care of it.

Insurance companies can lobby for political or policing changes if it becomes a significant problem for them -- just like they already do for a plethora of other reasons.

Sure, it's a hassle being inconvenienced by a disabled vehicle, but having to deal with the image of some kids brains splattered all over your driveway is inconvenient too, and maybe for much longer.

Investigative resources can be devoted to following the illegal supply chain and prosecuting those who either run or purchase from illegal smelters.

We could also recognise that many of the actual thieves may be junkies funding a fix, and treat their condition as a medical problem rather than criminal one.

And then we wouldn't have to execute anyone.
It simply boils down to this:

We don’t need these animals to survive. Human beings can live long, happy, healthy lives without meat and cheese. Literally all nutrients we need to live and be healthy can be found in plants, or manufactured and added to foods (which is how livestock end up with B12, actually)

So, with that in mind, really any amount of harm or violence done to these animals is unnecessary, and done for pleasure (taste) only.

People who disagree tend to think that we somehow need to consume animals, but that has been debunked many times. Or, folks often convince themselves that violence and suffering of a sentient being for the reason of pleasure is somehow not simply evil.

That’s generally the viewpoint of folks who oppose eating and hurting animals.

Even the “one bad day” argument doesn’t hold up well, because folks would still raise hell if I painlessly killed my dog as soon as it became inconvenient to have one, no? Or they’d still raise hell if someone was unknowingly molested in their sleep.

There is more to deciding if we are treating a sentient being well beyond simply “did I treat it okay before I killed it?”, and the only reason that’s hard to see is because most people on this planet grow up being told that for some reason, some animals are different. For some reason, we can bludgeon a pig to death with a hammer (thumping), or boil a living lobster alive, but we can’t do the same to a dog or a cat.

We have been lied to. Doing any of these things to animals is wrong because we don’t need to eat them, except in very rare cases.

If you’re ever on a desert island, we can have a different conversation.
Tell that to people who use margin and padding to align objects in CSS.
- Malware crypto coin(s) will be created.

- James Webb telescope will miss its desired orbit.

- Brain drain in Australia.

- EU will not figure out its daylight savings issue.

- Fields medal will award another woman maybe Maryna Viazovska or Kaisa Matomäki

-An explicit example will be found (e.g. Merten's or Skewes's)

- World cup will be one of the biggest sport disasters.

- A heat dome near the Baltic Sea.

- Seeing Jim Morrison's work is in public domain (2022) for Canada & NZ. Causes the UK to pressure these two to switch to +70 policy before J. R. R. Tolkien works become public (2024).

-Covid causes more places to consider "die with dignity" policies.
Only in some languages.
My first web dev job was to make a java applet (yes) which showed a spider moving up and down on a web. Animated GIFs weren't a thing back then (like 1996 maybe?) so people who went to our website and waited around long enough for it to load over S L O W internet were completely astounded to see something moving. It was black magic.

Blink and marquee tags were the devil though. People who used those should still feel ashamed of themselves.
> I agree. The whole introvert thing is so loosely defined that it covers everyone to some degree.

Well of course. Because majority of people is exactly in the middle between extroverts and introverts. The extremes are fairly rare. Most of us are a mix of introvert and extrovert traits, because it is normal distribution.

The way people talk about it, you would think there are two distinct species with no overlap.
Hi! Thanks for making these! They're brilliant!

I enjoyed your "Tour of the Sacred Library" a lot! At first, I was just reading a nicely written, very "ambiance heavy" story, then little by little, I realized that the accompanying images were a bit "off", and finally that they were generated. Very inspiring experience.
The “hypercorrection” being to use the same long plural e from axis/axes with process/processes?
Interesting project, good luck. Wish I could help.
Here it is in fact one person though, which is also relevant to mention
FYI, Yiddish is alive and well (well, not as well as before the Holocaust). There are babies who were just born who are surrounded in a Yiddish speaking environment. Their first language will be Yiddish. However those people are a subset of the Haredim. They are a large and noticable group, but is is basically only them. Yiddish used to be a language shared by from the very observant community all the way to the Jewish atheists. That has (unfortunately?) passed. However enough living people speak Yiddish. Any old Yiddish play can be instantly translated. It is an active Wikipedia language and can even be found in Google translate. Most modern books in Yiddish will be Jewish related. But if you want to learn Yiddish, it should be easy to find a course or website (eg Duolingo) to help.
Here: https://news.ycombinator.com/item?id=28952502 (31 days ago, 59 comments) and https://news.ycombinator.com/item?id=28973198 (29 days ago, 9 comments)

Related:

https://news.ycombinator.com/item?id=28759630 (47 days ago, 106 comments)

https://news.ycombinator.com/item?id=28794352 (45 days ago, 336 comments)

https://news.ycombinator.com/item?id=28897314 (35 days ago, 96 comments)

https://news.ycombinator.com/item?id=28989341 (27 days ago, 54 comments)

Probably more too: https://hn.algolia.com/?dateEnd=1637565463&dateRange=custom&...
Not sure whether you just meant that as humorous cynicism, but I think it has more to do with pain experienced by teams working on monoliths and them thinking “there has to be a better way”.
Neat! How about go to awk next? (:
There are definitely tiers to experience. I would expect that a rat can suffer far more significantly than a mite, or even a thousand mites.

Beyond that, your rat depends on you as a pet. I’m afraid that, if you can’t adequately look after your pets because of your beliefs, then you shouldn’t have pets.
You cited this[1] GitHub issue. In the comment section, I see this user[1] has been commenting many times saying negative things about Microsoft's open source commitment. Including this comment[3] saying:

> Maybe it is time to fork .NET and to get something like AdoptOpenJDK, etc…

However, this person hasn't done anything but forking other people's repos. Its kind of funny and sad.

[1]: https://github.com/dotnet/core/issues/505

[2]: https://github.com/vintzl

[3]: https://github.com/dotnet/core/issues/505#issuecomment-96123...
Long term, its best to seek alternative means of funding, and reduce dependence on them. I don't think a commercial for-profit company should be on the hook to subsidize free software. The bottom line here is that the entity paying developers for their time has a very important say in what code they're going to work on.
Why would that ever happen?
Since POWER9 and OpenSPARC are open architectures with open ISAs, I don't see why companies like Facebook, Amazon, Alibaba aren't using them and trying instead to build CPUs based on ARM. Is there a much better performance/power ration which can be achieved by ARM and not by POWER or SPARC?
Tyler Cowen: Milton Friedman Is More Relevant Than Ever
This statement:

>> do everything both low-level and high-level together

> This is very far from true. Like, not even the tiniest bit true

Does not really align with:

> It is easy to program in C++ or Rust and pay no attention at all to where allocations happen

(This is what high-level languages offer)

> It is totally allowed to drop to a C level of specification.

(This is what I mean by low-level)

I would also argue that in Rust the memory management unfortunately does affect the ergonomics of lambda and async, for example the need to explicitly pin memory.

I really don't mean to criticize all the recent effort that has gone into Rust, it is certainly a huge improvement over C++. But it's far from perfect and I'm arguing that is probably not the fault of any of the individual choices, but rather the language goals. I would like to see a future where we use more specialised languages; rather than the many languages that can both peek/poke bytes and implement the full lambda calculus. More specialised, simpler, languages are much more amenable to static analysis and formal methods.
Precisely. Which is why releasing code under the GPL requires a lot of up front consideration.
In what concerns .NET Native, F# was definitly forgotten, given that for a long time it did not compile MSIL required by F#.

And even though it works today, it is more of an hack than anything I would thrust to sign into production with my name on it.
Alt-culture: between the cultural debt and delusions
Seems like a way to game the number of collaborators displayed on the side-bar for every GitHub repo.
It's a skill though, that can be trained like any other. You don't have enough practice.

I always thought my father was just like me, no nonsense, no chit chat, just to the point. Until I went with him when he was looking for storage space, and had heard an 80-year old farmer a bit outside of our town had some.

They talked about essentially nothing for twenty minutes but if you listened very carefully, somewhere in between the farmer had asked what my father was looking for, and a few minutes later my father had spent a few sentences on it, and then later it was mentioned that Xx who is the brother of Y you may know him has that company and he is using storage now but in a month half of it will be free and who knows and the rest depends on what Z does in the spring. In the end my dad kept a lot of stuff there for years paying hardly anything.

And in the meantime they understood exactly who the other was, what kind of people they were from, and so on.

I was in awe (I just stood there listening), they just had a whole type of conversation that I couldn't do.

So now I try to practice when I have the chance.
This approach still doesn't fix what I feel is the worst part of "portrait" mode images, which is that the transition to the out of focus areas looks incredibly unrealistic. If your background is so far out of focus, then the entire subject shouldn't be sharp, areas outside of the focus plane need to be slightly out of focus. There is also a strong uncanny valley effect because the Bokeh doesn't have any of the character that comes from a real lens.

Personally, I think we are quite a long time away from being able to computationally blur photo backgrounds acceptably well.
"There is no evidence that Queen Elizabeth is a lizard alien from outer space -- that must mean she is!"
Designing a new xml zip based file format is like going back to 1990...
Ask HN: Do you ever give money to those guys with signs at stoplights?
I make a pretty good salary. I can easily spare a few bucks, but I generally don’t give them any money.

I was curious if others who work in places with lots of high paying jobs but lots of homeless as well, do or don’t and why or why not. My instinct is a more right leaning person would say “no don’t give them money they’ll spend it on drugs and alcohol” and a more left leaning person would say “give them a few bucks, it’s not their fault”, but wanted to hear from others. I feel a little guilty just trying to ignore them as I drive past, but I’m also like should I?
> Is there a way to fool Windows into thinking it's a normal SATA hard-drive attached to the motherboard and not a USB one?

After the first part of the installation is done (the copying files from the ISO image/DVD/USB stick part), Windows 10 won't run a check that prevents C:\ being a USB drive.

So I don't think there's any reason to fool it after that point.

And before that point of the installation the virtual machine is there to fool it. When the drive is attached to the VM as per the linked instructions (in my comment above) Windows will see it as an internal drive.

---

I have also tried Windows 11 using these same steps, but got a message saying that my (virtual) hardware didn't meet the requirements. I suspect it was the TPM module that was incorrect in the VM. Probably as more people try to run Windows 11, virt manager's support will improve (including the downstream distributions' copies).
Dr Thomas Jendges Commits Suicide “Covid-19 Vaccine Is a Genocide”
> I'll paypal $20 to anyone who can name a situation where string length (in number of visible characters) is actually required by any reasonable algorithm.

I've already described above where I've had this exact requirement. The client demands that "50 letters" be allowed in a title field for a website element. He means letters: spaces (and presumably newlines) don't count, neither do punctuation. Emojis were not a concern at the time. I wrote Javascript and PHP validators for client- and server-side validation and stored the string in a VARCHAR(127) to be safe.

And this is completely reasonable. He is a human, not "a computer person" (his terminology) and pays me to abstract from him those "computer things" which he has no desire to understand.
Also, for doing `substr()` to limit the length of a title, for example.

I'm still struggling with this in one place, where, for some reason, Cyrillic characters get cut in half.
Introduction to Lenses in JavaScript
Tweet few days before his suicide: https://twitter.com/ZaidZamanHamid/status/146223092728383078...
Your last point seems sound, but it strikes me that this model might only possible since there is a limited number of competitors in the market. I would expect more competition to drive the prices down while still increasing product core counts.
The developer division team is certainly producing division amongst the developers.
absolutely hate the filters, no, don't throw microchips trying to make bad camera "look" good, make a good camera.
Especially the DOF stuff, we're slowly conditioning people to accept this as truth, while it's so flawed, and always will be.
Same happens with compression, especially things like grained textures, are hardcore compressed on even highend phones, giving the impression of detail, where none is captured.
That’s true, but the vast, vast
Majority of people getting their cats stolen are Honda Element and Toyota Prius owners.
Same, I don't even mind if it takes a bit longer. I am more interested in stress free driving than getting there sooner.
I spent a summer in India in the late 1980s (Tamil Nadu). Going between cities, the roads were only partially paved. There were two dirt lanes, with a blacktop middle lane. The trucks would play a continuous game of "chicken", driving at each other until someone lost their nerve.

The newspaper had regular reports of truck "capsizings", where a truck would lose control and turn over. It was common for a truck to have laborers who would fill up the truck with some bulk product like dirt, then ride on the top to go to the destination, then unload it. When one of these trucks capsized, it was a major disaster.
How not to write property tests in JavaScript
Apart from natural inclinations one needs to account the time it takes. Networking is boring and slow process , and nerds are impatient. It seems like there is a problem to solve there, rather than considering it an unfixable natural handicap. Writing (becoming famous) may be one way but it still too indirect, hard if you re not good writer, and probably hit-or-miss way to succeed in.

The problem with the global and centralizing nature of our current social instruments is that markets in every niche are global, which means that all buyers and all sellers are in the same spot trying to network. This is monolithic. It is good for finding global optima, but it misses all the value that exists in local optima.
Commercializing can happen in many ways. GPL code in itself can’t even be published on the app store without violating the license. If you are not the complete copyright holder you can run into issues very quickly.
You should go vegan. I can help if, if you’re interested and want to try it, or don’t know where to start.

Because you’re right, about everything you said. And you obviously wrestle with a lot of the ethical inconsistencies with eating animals.

Let me just say this, though: you lose nothing by trying to be vegan for a month or two. If you hate it, you hate it. But if you find you enjoy it, it could change your life!

When I was wrestling with the same questions and feelings as you, I ended up trying to be vegan so I could sleep easier at night and haven’t looked back 6 years later, healthier and happier than ever, with no real special access to food or crazy changes to my life.

Just food for thought.
* their exercise price is almost certainly going to be equal to the 409A valuation, which means they're worth $0 upfront*

I don't think this is generally the case; typically the 409A valuation is using accounting rules that are different from how you would personally judge the value of the stock, and the founders are trying to minimize the 409A valuation, so typically 409A valuations are much lower than people would buy the stock from you if there were a market for it. But you have to make your own judgment of how much you think the stock is worth.

But essentially, my point is that even with quite optimistic assumptions, the OP is not getting a good deal, and I think we clearly agree on that, it's just a question of "how bad" a deal the OP is getting.
> Open .NET

> What would .NET look like without Visual Studio?

I am not sure what these people have been doing, but as someone who as been doing professional .NET development for the last two decades I have not used any Visual Studio at least since 2018. What is this headline trying to tell me?

> What use is an open-source programming language that can only be debugged with proprietary software?

Sorry, what?

> What would programming languages and a platform that didn’t have the Visual Studio baggage look like?

... what is "Visual Studio baggage"???

> What would .NET look like if it didn't lose that generation of brains back in 2006?

If anything, .NET had a Visual Studio lock-in back in those days, but not today ...

Sorry, I am really trying to understand the point here, but I just can't. Help? Also are we talking about .NET or "programming languages" here? Or both?
The alternative being no one would have bought Sun and Java would have died as Java 6.

I understand Sun ex-employees have an axe to grid with Oracle, yet no one else cared for Sun assets.
You need only a determined child with a sharp tool to ruin your house.
„Reduce complexity“ / „minimize balls you juggle at once“

That‘s very broad, but some examples: Keep the number of distributed PRs low. e.g. merge a PR that adds an aws policy via terraform early, so you can absolutely stop thinking about it. Finish easy, fast tasks first so you reduce the amount of things you need to think about. Actively decide against working on a semi-urgent task now/today, focus on it tomorrow morning or if your current task is fully done.
You know the argument is good when every response is “I don’t care”.

So many horrific things have continued in this world because of people saying exactly that.
according to animal metrics for intelligence, sure we are stupid. But we have strong evidence why our metrics are more effective than animal metrics :
1) human death rate is lowest among almost all species
2) human comfort + happiness rate is highest among all species
3) our accomplishments and understanding of the world is a million times that of any other species
4) all other species survive because we allow them to. We can (and have) eradicated entire species.
etc. etc.

We don't need a hive mind, we have intelligence. Bees act the way they do because they are genetically programmed to act that way, and they don't have the ability to think or reason for themselves. We do. We protect our species when we need to. Not out of genetics (maybe a little bec of evolution), but out of intelligence.
Loved that show! I don’t know where they found the guy who played wolf, but he is awesome.
Sure, my point is that the twist doesn't need to be at a particular point, nor does there even need to be a twist. It's just a progression of related images–I think the progression in the ones you're showing is similar to the "evolution of a programmer" joke where a junior engineer starts off with something simple, progressively makes it cleverer and more complicated as they learn more, and eventually return back to the simple solution.
This was discussed before:
https://news.ycombinator.com/item?id=29006861

Their usage of port 5000 appears compliant with IANA port designation.
If you want Traits like in Rust, Result like in Rust, Option like in Rust, then just use Rust.
Unintended consequences!
> How about letting me just push php files via ftp to some outdated Debian machine.

Cool, let's go with that.

Which file are you going to push to which server?

I mean, you need to run integration tests to ensure everything works, but you'd be out of a job in no time if you ran those pointing to a production data store. Thus you better make sure you push that php file configured to point to a gamma stage data store.

But after you ran those tests, you better promote those changes to production. Are you going to ftp that as well? You better not sneak a typo there.

And bad luck struck and you broke prod when you ftp'd your php file to prod. How much time went on until you noticed it? And what's your plan to roll back that change? You better be damn sure about what php file you want to push this time around.

With a CICD pipeline you do not have to do anything and the odds that you break a deployment because of a typo are terribly low.

> All these layers of complexity made me swear never to touch "devops" again.

Why not consider the problems that continuous delivery solve instead of put up a blanket ban on a methodology?

Because with DevOps, you do not have to ftp any random file anywhere. You just push a commit to a mainline branch and your devops magic takes care of running unit tests + integration tests + end-to-end tests + canary tests to any stage, and automatically roll back any deployment that fails some test, without any interaction at all and before you know anything went wrong.
Can you be more explicit? What you hint at sounds really interesting.

I think you are suggesting that the Animal Welfare Bill has an intended side effect of tipping the balance of cross channel cooked shellfish trade in favour of the UK?

Or I didn’t get the joke.