skysight-inc/HackerNews huggingface dataset:
I agree with the author on many things - parameter packs however.. I've looked at them several times. Even if you get a grasp on their syntax, I've almost never been in a situation where they could be used. As he correctly observes it's a compile time thing.

> In my particular scenario, all the texture file paths are hardcoded

That feels like a very unique case. Usually data is given in a vector or something and then you're out of luck anyways. Plus the syntax is very unintuitive (think about your colleagues), debuggability is zero.

Also the argument about constness feels a bit contrived. Sure with this you can write const and feel good, but the other version is hardly a bad nonconst. You can wrap things in functions or whatnot. The function seems to be a bit long anyways.
Navigation sticks when you scroll past it – HTML CSS JavaScript
Whether you get infected or not is a game of chance.
There are a lot of factors affecting the probability:

* Being indoors during contact (increases)

* Duration of contact (every minute increases)

* Physical distance between contacts (every meter decreases)

* Amount of contacts (every person increases)

* Wearing masks (decreases)

* Washing hands (decreases)

* Coughing, speaking, singing during contacts (increases)

Meeting people close to you ticks basically every probability-increasing checkbox in the list.
The properties you describe regarding pure functions are correct and useful, but those ideas miss the point:

Neither OO nor pure FP are required to build high-quality software!

OCaml developers have been living in this world for decades now and they seem to get by just fine. Further, they do this purely by choice! Their language has had OO syntax for decades and they are happy ignoring it!
Seems to me that a unikernel database should be the first application. Databases tend to bypass practically all the facilities of a kernel anyway. It’s often surprised me that they haven’t merged before now.
> Panpsychists look at the many rungs on the complexity ladder of nature and see no obvious line between mind and no-mind. [...] By the same logic, we can look steadily at less-complex forms of behavior that allow us to reasonably infer some kind of mind associated with all types of matter. Yes, including even the lowly electron.

> While inanimate matter doesn’t evolve like animate matter, inanimate matter does behave. It does things. It responds to forces. Electrons move in certain ways that differ under different experimental conditions.

Those points are quite some mental gymnastics. It feels like they took the "I don't understand it, therefore it was god" argument and applied it to consciousness, while attributing every single behaviour of any particle in the universe to intelligence.

I don't know why this should be taken more seriously than any (other) faith.
As a quick fix, can you add a hyperlink to the next pages at the top of the page [“Page 2”, “Page 3”], rather than just a single “More” hyperlink at the bottom of the page?
Already tried that. It asks me that other person's private information (such as date of birth).
Here's how this would go. The UK government did have epidemic plans, including a stockpile of PPE. Here's how the BBC described that stockpile: "Coronavirus: UK failed to stockpile crucial PPE". Of the four items that it complains were missing from the stockpile - gowns, visors, swabs and body bags - two (gowns and swabs) were ones that the government didn't expect to need for the epidemics it was planning for, the visors are expensive and bulky to store but so easy to manufacture hobbyists with 3D printers can literally do it at home, and I'm not even sure what's going on with body bags because there was famously a huge Brexit stockpile of those. Anyway, my overall point is that governments and corporations don't get credit for planning, they get blamed for the ways in which their plans don't predict the future exactly.
What do you make of the highly critical Assessing Unikernel Security paper [0]? Have things changed since its publication?

[0] https://www.nccgroup.trust/globalassets/our-research/us/whit... , from https://news.ycombinator.com/item?id=19738905
I recently re-read The Name of the Rose, and tried using Google Translate to translate some of the Latin quotes that appear throughout the text. It was close to useless, which surprised me as most (it not all) of the quotes are from well-known and widely translated texts.
> The planned const generics syntax is going to look pretty weird, because it builds on type generics. If Rust had chosen a different syntax for type generics, const generics might look less weird.

Could you provide an example? Because I don't really see it, except by requiring that non-const generics also be explicitly annotated?
If more people are interested to sell than to buy, that will create downward pressure on the price - even if in the end for every individual trade there is both a buyer and a seller, that is a sort of "overwhelming", if you think of the buyer as a (name, bid) pair.
How to prevent React setState on unmounted component – a different approach
Wait, Tame Impala is one person?
I wonder how many papers give a negative result because p was found to be .049 or so. I'm recalling that thread here a while back debating whether the statistical critical value is too high.
> A virtual thread is a Thread — in code, at runtime, in the debugger and in the profiler.

To explain: if you debug async code on Kotlin right now, you cannot single-step in a debugger, because the debugger attaches to a thread. But coroutines get scheduled on different threads all the time!

I wonder what this means for ThreadLocals and Locks? Will they work as before? If so, that is huge! Because locks don't work with async code either, for obvious reasons. The consequence is that the whole ecosystem is split in two parts! You cannot just use a Guava cache in Kotlin coroutine-based code.

If Loom manages to avoid all of this, this is fantastic news.
> I would of thought volatility over 15-20 year term when choosing between DCA or lump investment is largely irrelevant.

You can see the effect for the total return of your investment even in 15-20 years. Try for example SP500TR for 20-year period and slide the starting point over dot-com-bubble. 20 year ROI(TR) alternates from >300% to 180% and back to >300% within 3-4 years.
> I really like that they are adding things like check, assert, validate into the language itself.

I'm not sure. Contracts are supported in some other languages as a library feature; recent examples I encountered were Elixir, Scala, Clojure, and Haxe; there's also, of course, Racket, but there it's hard to say where the library ends, and language begins... Eiffel, Cobra, Pyret have contracts as a language feature - it may be easier to support it that way instead of first making the language expressive enough and then writing that library.

> What matters more is that it puts them all together in the right way, moves at a good pace, gains traction.

No, out of these only the last one matters: there is no "good" pace (you're either moving too fast or too slow), and there is no "right" way to design a language. The only thing that matters for a language is to gain traction - otherwise, it dies - and that seems to be almost entirely unrelated to the technical features of the language. Luck (e.g., C, Python, PHP) and money (e.g., Java, C#, Go) seem to play a much greater role in making a language successful, along with vendor lock-in (e.g., Objective C, Java, C#).

The lag between an innovative feature conception and its implementation (in the mainstream language(s)) seems to be 10-20 years on average, but it can sometimes take 50+ years while a feature is repeatedly discovered and forgotten in 10-20 years cycle. For example, there are optional static type systems (for otherwise dynamic languages) in languages from the '80s (ie. Common Lisp) and '90s (ie. Dylan), and the more formal gradual typing is IIRC from 2001 (by J. Siek). TypeScript, Flow, Python's mypy, and similar solutions are a mainstream-ish emanation of these ideas - it them took some 15 years to materialize and a few more to appear on the "working programmer" radar. This is a very common pattern: basically, if you want to know how programming will look like in a decade, you can simply look at the experimental features and ideas from 10+ years ago.
For those, like me, who don't know what the acronym LTO is: it's Link-time optimisation, the stage during compilation where the "linker" has all of the object files which make up your program available to it, and is therefor able to optimise across the entire program at once (instead of the individual constituent source files which make up the program).

There's a long, detailed PDF about LTO produced by GCC which was useful in helping me to understand exactly how this works here: https://gcc.gnu.org/projects/lto/lto.pdf
They do gravel bikes too: https://cyclingtips.com/2020/04/viathon-g-1-grx-600-gravel-b...

It's not really true that they are "competitive" with bikes costing twice as much (unless you mean you can ride pretty much as fast and have as much fun).

On the gravel bikes, the Viathon is $2298 for a carbon frame and GRX 600 groupset. Specialised make the Diverge Comp E5 for $2100 with a (lesser) aluminium frame and a mixed GRX 600/800 groupset (better)[1], or you can upgrade to a carbon framed Diverge (with a Sram group set, so not directly comparable) for $2500.

[1] https://www.specialized.com/us/en/diverge-comp-e5/p/175289
I'm not advocating for garbage looking products. All I'm saying is that lets be tolerant on looks because functionality matters the most
This looks good. I started learning Swift a few days ago because I want to play around with iOS and macos apps, so good to see I could use it on other platforms too.
+ I like the visual indentation, would be nice if whatever design we pick could include that

- The upvote button is huge and a little obnoxious, and the downvote button is missing in comments
This. As much as I dislike Google for lots of their practice. Monopoly isn't one of them. They won the Search Engine war because they were technically better. I guess most people dont remember the days of Yahoo and Alta Vista.

Look at the current pricing of medicine in US! Instead of going after those they decide to go after Amazon and Google. US is a place that many living outside of it could never quite comprehend.
The fundamental problem with this solution is a simple, numeric one: there are very few executives and a lot of low-wage workers, so large-sounding pay decreases for the former can only fund tiny pay increases for the latter.
For desktop, I use the refined hacker news extension (github: [0], show HN for it: [1]) which allows you to set custom CSS. It has a dark mode setting but I prefer the following CSS which makes the entire background black and the text white (Screenshot: https://imgur.com/a/2lcy1Ga):

:root,
html {
background-color: white;
filter: invert(100%);
}

* {
background-color: inherit;
}

Another great thing about the extension is when you go back to the same thread, it gives a little highlight to new comments that you haven't seen before so you can quickly find them. Only downside is that that doesn't work for comments after the first page.

[0]: https://github.com/plibither8/refined-hacker-news

[1]: https://news.ycombinator.com/item?id=20173974
Yes, and from next year all immigrations from abroad have to pay NHS immigrant tax per person which can be up to £600. We already barely use the services we pay for, and now they want to charge even more. Why not increase it for all citizens?

Really get the feeling they don’t appreciate immigrants like us
Parameter packs are quintessential compile time lists: you can pass them around, transform them, destructure them…they are really quite useful when you need to make sure certain things are done at compile time. For example, I recently used them heavily to generate code at compile time for a virtual machine I designed, all from a single instruction architecture that I encoded in the type system.
Or cause sick people to avoid you. If I have a cold, no way I'm standing next to a smoker.
Creating a quality table widget would likely take more resources than the app in many cases
I'm guessing it's for people that want the Google products to be their main desktop office suite. Haven't looked into it, but maybe it can open .docx files etc. directly as the default app for it?
I don't know that clones are problems in and of themselves rather than what they do behind the scenes: allocations. Cloning an Rc is completely innocent, cloning a HashMap<String, Vec<String>> is deadly in a way you may not expect if you're used to shallow-copying hashmaps (or even deep-copying them).

And it's true that if you think of allocations as being no big deal unless you're aiming for very high performance, your Rust is going to be slow (also your C++ and your C).
Yes, I remember using zsh and in my experience this was barely
useful since most Makefiles are auto-generated with hundreds or
thousands of targets.

> one could always have a 'help' target that prints a short documentation

Sure, that's fine. But the point is that if you have an unknown Makefile
you can't (or shouldn't) just execute it without knowing what it will
do. Makefiles should be treated as individual programs just like any
other executable and there's no guaranteed standard way to get help
from it.
I think there's already plenty consensus in the thread about not making it the default.
While we're on the topic of styling, why is the default font size so small? The comment size is 12px. In my view, that's like sub/superscript or caption size, not body copy.

I regularly zoom to 150% on HN or use a bookmark that sets styles via JS so I don't have to strain while reading. Am I the only one? And no, I don't need glasses!
Thanks for taking questions. Are there outstanding work items for QEMU being statically linked with a unikernel?
Get Contract Templates – 30 different categories
I can't read that paper. Firefox says the HSTS cert is wrong.

Edit: Thanks for the updated link. UKL can be compiled with usual hardening features like ASLR, stack hardening, RELRO.

As I said here (https://news.ycombinator.com/item?id=23202042) I'm dubious about the security story around unikernels, but most of the issues in this paper are not relevant to UKL specifically.
Are Video Games Bad for You
> every time I read an article about the Chinese society I discover a much more nuanced picture than "it's a dictatorship with no free press and human rights".

This is a generalizable realization. If you’re aligned with any political faction, it’s best to assume that what you hear about other factions is more negative than the reality.
It's not just you. I don't have any sources to link to, but 15 years ago a website was frowned upon for having light text on an (almost) black background because it was bad for readability and made your eyes strain.

I tended to agree and find this dark mode craze quite curious because of how the industry has completely flipped its opinion.

Maybe someone has sources/studies that contradict this, but that's my memory of the situation.
How much in a restaurant's cost is (food and its preparation) vs (rent, decor, service and marketing)? I bet less than a half. If they only had a kitchen, they would be totally ok with this arrangement.
I mean could you have a high quality mic on the phone/laptop just by using AI ? i.e Blue Yeti USB Mic
There is a chewing louse named after Gary Larson of The Far Side. :)

https://en.wikipedia.org/wiki/Strigiphilus_garylarsoni
>inflation costs the rich more than the poor, since the rich are more likely to have savings

The truly wealthy have a lower proportion of their savings in cash. They preserve their wealth in assets like stock or property which pays dividends and increases in value along with price inflation.

>Cheap food is a competitive, low-margin business, so it's unlikely that the cost would increase

The Federal Reserve cannot print more supply for consumers. When they increase the supply of money to chase the same supply of assets, the outcome is price inflation. Food and rent is a disproportionately larger expense for low income individuals.

>The mechanisms that limit them (credit ratings etc.)

These mechanisms are not limiting them from monetizing debts. Additionally, credit ratings organizations are subject to retaliation by sufficiently powerful governments.

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

>but wealth redistribution must ultimately work; why would the rich be so afraid of it otherwise?

I'm not sure it is fair to assume that 'the rich' want 'the poor' to be worse off. Producers create products which consumers want to consume, because they perceive it to benefit themselves. Finally, I'm not sure that the truly rich elites are opposed to UBI. Bloomberg has published the article and continues to push this narrative. If anything greater centralization favors elites. When asset prices increase those who have their savings in assets benefit the most. Again, the elites are not keeping their savings in cash.
Really the “problem” here is that C++’s functional constructs will never allocate memory, giving them somewhat strange signatures that don’t really conduce themselves well to typical functional concepts. At compile time there is no such goal and as such some of these constructs can only be found there.
but not everyone who can sniff can MITM, encryption always prevents sniffing
> The photo shared on Twitter of the millipede Cambala by Derek Hennen. The two red circles indicate the presence of the fungus.

I don’t see the two red circles in the picture.
The slaves must free themselves - I always think of the start of the mining unions - the strikes went on for a long time, and they were very nasty, it was a huge fight. People have been tricked out of these rights that were hard won, capital won't easily go back to decent conditions for workers without a fight.
How would one test a library for generating compressed archives with a test designed for testing decompressors?
Maybe it's because I'm an amateur musician and hear some truly awful music, but by EDM standards, that's at least mediocre, not "bad".
https://www.multpl.com/s-p-500-pe-ratio

Average, but to believe it you have to assume the E doesn’t change meaningfully over the next couple of months.
I don't know where things will go in the future, but now: Multiprocess no. fork() will fail. Pthreads works already.
“fulfillment associates” - wow, the word employee is too laden with Socialist entitlement! Let’s new-speak them into “associates”... sounds like a Country Club membership
There are two red circles, but there is nothing identifiable to the untrained eye contained within them.
The Big Short - "It's possible that we are in a completely fraudulent system."
It's not really something that anyone in the project has thought about. Running the vmlinux on baremetal is actually more interesting to us.
What makes you think that they aren’t?
The author of this article has made the Dive into C++11/14 series, which is about using modern C++ for Game development.

[1] https://www.youtube.com/playlist?list=PLTEcWGdSiQenl4YRPvSqW...
I think the key question is what happens to Taiwan in a US<->China war:

1) Does the US have a base-of-operations off of China's coast? If it independent? Is it Chinese?

2) who gets Taiwan's manufacturing and technology? Does it supply the US military or the Chinese military? War is mostly about supply chains and manufacturing capacity. It's how the US won WWII.

These are big questions. They're not necessarily urgent, but they are big.
The irony that who appears to be the maker, https://setetres.st/ site can't load with JavaScript turned off.
UKL is multi threaded, not multi process because there is no fork. Plus it's a Unikernel i.e., just one process. You don't need any scheduling code, Linux does it like it does normally for kernel and user threads.
I think a Black Swan event is an opportunity to shift society out of an inadequate equilibrium. Not just for NHS staff but to reshape the relationship between capital and labor.

Top 2% of income is no great shakes when you look at the full distribution. The 0.1 and 0.01% make several orders of magnitude more.
Good job preserving the HN spirit!

My only feedback is the gray text (#808080) on the dark gray background (#222222), has a contrast ratio of ~4:1 which some people may find difficult to read (and slightly below WCAG recommendation for regular text[1]). I think you can lighten the text slightly without disrupting the surrounding color hierarchy.

[1] https://webaim.org/resources/contrastchecker/
They are towards the top of the image, they are much easier to see if you open the image in full
New evidence that Earth's solid iron-nickel alloy inner core is rotating
Okay, I think I see the root of the misunderstanding. UBI can be fully paid for by taxes [0], and the resulting system is administered using existing tax authorities. In the USA, this would mean that the IRS, which already administers taxes, would incur a one-time cost of setup but no additional ongoing costs.

This means that we can analyze the impact of UBI as if it were a tax adjustment. The impact on businesses will be that, since laborers will have more job mobility, businesses will have less negotiating leverage over employees. This is a good thing.

Because cash can pay for anything, UBI is cheaper than any equivalent social program which purchases goods on behalf of recipients. When combined with the overall lower cost of administration, this makes UBI definitionally less costly and more impactful than other social programs, dollar by dollar.

Sweden is worth mentioning because, for basically any reasonable path in society that one can imagine, there is government money available to motivated citizens. This is the vaunted alternative listing of "other social programs" that your perspective values so much. Similarly, Alaska is worth mentioning because they really do send no-strings-attached money to every resident. This demonstrates that UBI does not have to disrupt the social and economic fabric of our society.

UBI is not an investment. UBI is a reassessment of taxation principles. You are not an investor, but a member of society.

[0] https://en.wikipedia.org/wiki/Negative_income_tax
“Zoom let a whole school in Chile sign up using my email address”
Bermuda? Panama? Switzerland? Cayman Islands? Bermuda? Delaware? Oh there’s plenty places
I would guess their success is due almost entirely to solving the licensing issues with the content, and doing so with such competence that major services want to work with them without fear of exposing themselves to liability.
Well put.

A much more sensible response would be "That button lets them pay $2/year for a basic hosting account which makes the service self sustaining".
The title here needs to include "..." in the original article.

For a moment, I thought this would be a satirical article, characterizing some group as "new species".
Frank Zappa has a couple (plus an asteroid):

https://www.nme.com/news/music/frank-zappa-3-1234673

https://www.ultimate-guitar.com/articles/features/7_animals_...
An inflation of the money supply is by definition inflation. When the supply of money is increased by debt monetization (the status quo) price inflation follows. If productivity increases, all things being equal prices would have fallen and benefited the consumer.

Where are the low income people decrying cheaper mobile phone prices?

If you suggest that UBI will be fully funded by taxes, then the taxes will increase prices.
Stephen Colbert had a spider named after him, Aptostichus stephencolberti: https://en.wikipedia.org/wiki/Aptostichus_stephencolberti
Ask HN: What is the point of “© 2020 CompanyName” in website footers?
If I simply add this to the footer of my website, does that automatically have legal authority?