skysight-inc/HackerNews huggingface dataset:
Honest question: Why not? What application does "the vast majority of users" need that is Windows only, today?

From my experience with family, coworkers, friends, and neighbors, the vast majority of people today need a web browser. That's it.
Trademark Actions Against the PostgreSQL Community
Of course in regards to desktop Linux, what else? It keeps developers inside the Windows ecosystem.
I'm not really following this idea - we use github, not bitbucket, but when I get a break and am ready to look at PRs, I just go to the list of open PRs in the repo and run through them. Does bitbucket not have that kind of list?
The formal method involves using a programming language (a mathematically based, verification oriented language) to verify another module in some other programming language.

I’m sure it strengthens the codebase being verified. But there is a reason systems engineering of involves both verification and validation.
Thanks!

I tried PoI, but it didn't catch me (first ep only). Maybe I try again. I would love a good, techy private detective series. Would love to find something like Girl with the Dragon Tattoo, as a series.

For me, in Germany, Breaking Bad was the series which changed the game. After breaking bad, TV became the superior story vessel. There were some good series before, but after BB "everyone" around saw the appeal. It's a different narrative style than traditional TV series. Even gems like Battlestar Galactica, feel more episodically contained and are not bincheable like modern shows. BB wasn't pioneering but rather the turning stone(?), I think.

And yes, I do recommend giving BB another try. It starts so slowly, but it will get insanely intense! However, it's becoming uncomfortably stressful story-wise. If you don't like that sort of drama, you may not enjoy it. Then Better Call Saul is even better, but also even more slow progression. Tho, if you got into the BB style, the wrinting, acting and cinematography are unmatched IMO.
That doesn't harm others? Like what?
How about go nuclear, that works even during windless nights?
Okay, consent can be "manufactured" in some sense if you "spin it properly"; however my point in the parent post was that as of now, it seems that it has not been done (yet?). The arguments were made, and "spun properly" but they have convinced (excuse me for crude stereotypes grouping people, but here averages matter, not individuals) middle-or-upper-class urban liberals, but have not convinced large quantities of lower income people. However, their consent is required as well, they have their rights, opinions, votes and possibility to (re)act, and the current message is not really reaching them, so it's not being "spun properly" as far as I see, because it's not succeeding. People will do as they're told if either they're convinced or if the "ask" is not too high. There's a "green consensus" that supports the environment with small scale action that does not affect your budget that much. There is not (yet?) a consensus that a major part of the country's resources should be devoted to reducing climate change risk or impact.

Covid is a relevant example, and IMHO it quite clearly showed the limits of how much people were willing to follow guidelines even in the presence of immediate threat with clear obvious results happening right now. If you would be asking something comparable to Covid restrictions so that in 30 years perhaps the impact would be lower... (the delay in time, the uncertainty of impact...) IMHO Covid experience shows that people simply won't accept that.
"All animals are equal, but some animals are more equal than others" Animal Farm - George Orwell
The walmart-corp.com email used in the 'press release' was registered last month at namecheap (who have now deactivated the account).
cPanel is Perl, not PHP.
He asked JJ to make changes to TFA to set up his vision for TLJ. JJ certainly shares blame (TROS was garbage and everybody knows it, including JJ), and the flaws you describe are accurate. But this was RJ's movie, given to him by the executives at Disney, with no interference to speak of. How can you not blame the man with the smoking gun?
Pretty sure we have zero undocumented healthcare pros in the US. You have to prove citizenship to change bed pans for $10 an hour.
Various solutions are possible, including the obvious one of just removing -Werror. But the point is that this decision should be made by the team that owns/maintains the code, not by some centralized devops group.
Driving at 100km/h in a residential area harms others with a high probability. Can you say that of someone working the way they want to with transactions consented between two adults?
Current-design nuclear plants themselves are perfectly capable at ramping up and down on demand on the order of 10s of minutes. They usually just choose not to because fuel is a small fraction of their total cost and so the current (and adjustable) markets pressure them into selling as much electricity as possible by staying near 100%.
Isn't a rooftop water-cooling radiator just a swamp cooler? Common in dry climates.
MiServer – APL Web Server
Huh, I guess my information is out-of-date. It is a fast-moving space. And it’s a shame they’re continuing with Solidity.

I’m wondering how Cardano’s Haskell-based Plutus platform will compare in practice, now that they’re rolling out smart contracts as well. I’m guessing they’re going to have significant adoption issues.
Fake Press Release Claiming Walmart Is Accepting Litecoin Boosts Its Value
Hydro already accounts for 10/15% of electricity production in France (thanks FSM for the Pyrennes chains and the rivers) - and it does not seem like we have much more capacity (there are some small dams from the early XXth century that are being reused.)

Nuclear and wind suffer from NIMYBism and are now nothing more than political totems. PV is going this road now that people are realizing installing solar farms means cutting on forest or actual food farms.

Coal is already pretty much extinct.

Whereas gas is "painless" from a political point of view, private interest in the field (total, engine) have a strong history of political influence, and "gas" wins if RE are installed but the sun does not shine nor the wind blows... So gas is the energy of the future for Europe until there is a breakthrough in fusion or safer modular fission.

This will not make the geopol situation any simpler in the east, and is of course a disaster climate-wise - except maybe for coal-heavy countries like Poland and Chez Republic
Nice to see someone living their research in their own life[1].

On a personal anecdotal parallel I went in and out of public and private schools growing up. My parents had to drive me to local high school campus so I could take geometry in 8th grade (I'd already done Algebra 1-2 and 3-4 in 5th and 6th grade at a private school which was basically run like Caplan's home schooling, a group of us did 4 hours of math a day together).

With my children now I've seen different schools work great and work terribly. We've moved kids between schools trying to match up needs of each child with the design of the program at the school.

My main macro observation (via 4 kids who are now adults and 1 who is in high school): For kids who know they want to be a specialist at a young age school is really hard for them.

If as a society we really believe in comparative economic advantage and each person working for their highest and best use then exchanging their earned dollars with specialists in other areas of their life then school is designed poorly for those who do choose to specialize, costing them years of advancement at a point when their brains are setup to build pathways more quickly.

[1] Caplan is a Princeton PhD and now tenured professor at GMU who is the author of "The Case Against Education" https://press.princeton.edu/books/hardcover/9780691174655/th...
I think so, sayonaraman, but if Pinocchio were carved out of bacon it wouldn't be the same story, would it?
Oh there were definitely dark patterns, especially if you add in the "Microsoft Edge is the recommended browser for Windows 10" or whatever was displayed when you tried to change the default browser.

My only point is that, even by their own logic, it's a step backwards, which makes the stated reason seem like straight up deceit.
That might have been true in the past, but now there are activist shareholders who will try to take control rather than dump the stock and move on to something else. After all, it is their investment, and if they choose to raise their voice then that is their right as well.
Yes, I understand the future-you aspect. You handle the most immediate costs first.

But I don't think that qualifies "adequate dental care" or "maintaining a healthy weight" (two problems frequently prioritized below this month's rent) as luxuries. Not only are they something everyone should have, deferring attention to those things is a net cost for everyone in the end (sufferers are miserable, society pays). This is why health insurance has started subsidizing preventative care. Climate change is a similar can of worms.
Just saw the new page, looks great!
RE: What am I looking at?

Here's some information I found from the site:

What are Design Principles?

Design Principles are a set of considerations that form the basis of any good product.

Why use them?

Design Principles help teams with decision making. A few simple principles or constructive questions will guide your team towards making appropriate decisions.

Who uses them?

Organisations, individuals and product teams have benefited from writing and following their principles.

What’s next?

The aim of the site is to help us analyse what good Design Principles are. How Design Principles are created and measured. How they develop. Design Principles should be improved over time, how can we build a history of Design Principles and their improvements?

There are still a few more things to come which are listed on the roadmap.

---

Personally, I do think the creators did a good job with their web design. I'm enjoying clicking around on desktop.
Currently dealing with a zfs cachefile issue on my nas, where hrmpf has been instrumental in letting me backup data and regenerate a cachefile from my macbook.
Unfortunately, the incentives are quite different. In France and Germany, once you get a university research position or CNRS appointment, or in Germany a permanent professorship, you can essentially do what you want within the 36hrs/wk, and writing a nice little handout is what professors often like to do.

In the US, new faculty are judged by their research output and grant input and are still under the threat of losing their job if they don't make tenure after a few years. There is zero incentive to write a book on top of the 80hrs/wk that are put into the job already.

Also, in Germany, a university will absolutely buy textbooks in bulk for students to use, but that's a philosophical decision of how you want to run a society: if it's upheld as important that everyone can get (essentially) free access to top education, that's what you get. If education is treated like a business, you get something else.
> I think it's fair to say that in the past year and a half, we had time to build capacity slowly and intelligently

> Change the config file for the hospital from 100 doctors to 200 doctors, and reload the config. You can spin up a new doctor in what 30 seconds?

...wtf?
This tracks with their other choices and behaviors, unfortunately.
At whatever time of day you call the API, data always starts at 0:00. Either UTC or the time zone you selected.

Many weather APIs follow weather model runs. Therefore in the evening, data suddenly starts at 12:00 UTC regardless of the timezone. It is quite a pain, if you want to build an app displaying todays data, but in the evening you do not get data from the morning anymore.

With Open-Meteo multiple weather model runs are merged together and partly overwritten. At around 4:00 UTC, the first weather model with data starting at 0:00 UTC arrived (usually called 0z run). 3 hours later, the 3z run arrives with data starting at 3:00 UTC. After a couple or model runs arrive, it is quite a mix out of different weather model runs. If done right, you notice nothing of this behaviour ;)

< 0z run >
< 3z run>
< 6z run>
< 9z run>

Data is constantly merged into a time-series. The API then selects the appropriate start time, which is set to 0:00 UTC (or if a timezone is set, local-time at 0:00, which could be 4:00 UTC depending on the utc offset).

Yes, unix-timestamps must be in UTC+0. If a timezone is set, data still starts at "2021-09-13T00:00", but this is now local-time. With a 4 hour UTC offset, I would have to set the unix-timestamp to "2021-09-12T20:00" and the developer has to correctly reapply the UTC offset again to get local time. This can be done, but is prone to errors.
Finally a use case for these electricity highways I’ve been hearing about.

We can move wind from where there’s too much to where there isn’t enough.
Its like comparing mental health and lung cancer.
How to add multi-select buttons dynamically in PVA using Composer(BFC)?
Yeah the two things are related. You need a battery or a gas turbine if you have windmills in the energy mix. This is why ultimately wind (or any other uncontrollable energy source) is tough to integrate into any energy grid.
> It is battle tested

The security track record of the language speaks for itself: https://www.cvedetails.com/product/128/PHP-PHP.html

It's been battle tested and lost many battles.
Azac/COBOL-on-wheelchair: Micro web-framework for COBOL
Let people opt into those things, or make it up to local law and let municipalities compete on services.
I forget what magazine carried this essay, and it was from maybe about 10 years ago, but a journalist decided to take up smoking (temporarily) at the age of 30-something or 40-something, with the idea of writing a story about it. One of his takeaways was the sociability of it, especially since everyone nowadays is forced to exit the office building to have a smoke.
The second question is decided by rebels. Lawyers only document the result.
I would put wordpress on that graph just to see how much it pulls by itself
OneDrive on Windows is fine now, but oh my gosh OneDrive for Mac is a mess. I didn't use it until my new M1 Mac (so maybe they are re-implementing everything without kernel extensions and it's causing issues), but it absolutely sucks. Every time it starts it can't find the folder, and I have to tell it where it is, then it will say "up-to-date" but nothing will actually have synced, then when it eventually catches up it spews duplicate files everywhere because every other box I have OneDrive on has updated since this computer actually synced. And Office doesn't understand that when I save in the ~/OneDrive folder, it goes into OneDrive, so it won't enable AutoSave or sharing unless you do a Save As and save it to the OneDrive SharePoint site it automatically adds.

It's like OneDrive on Windows 5-6 years ago. I know other people that used it, it worked fine at one point, but now it's terrible.
So they would just automatically sell the coins, as pizza234 suggested. Seems like you don't want a human trader and instead want an automated process automatically selling, considering that Wal-Mart is global and operates 24/7.
I've understood the second E to mean "...with our proprietary stuff". Building OSS on top of other OSS is still just Embrace.

An example of Extend would be building features for WSL that only work in WSL, not Linux proper. So now people become dependent on the MS ecosystem, and lock-in begins; the lock-in is what enables the Extinguish phase.
Yes, the economics is why they are not suitable.
No, you're spot on. That's been my conclusion of the past few years, that Facebook, Twitter et al. are the tobacco companies of our time. They act very much the same as the tobacco companies did: misleading their 'customers', and corrupting the politicians who would otherwise regulate them.
I think these remote controlled drones are pretty tame. Especially when compared to other area denial weapons like land mines, razor wire, chemicals, and boobie traps. A drone isn't going to blow kids legs off while playing soccer 20 years later because a military forgot to clear it.

I doubt they are cheap enough to be practical though. Especially when you can do the same thing with fixed cameras, electronic sensors and patrol aircraft.
I may be wrong (I am not a lawyer) but I suspect that if Microsoft prevent Mozilla from doing this, Mozilla may be able to win a lawsuit (probably not in the US, but in the EU seems likely) arguing that it is anti-competitive to restrict defaults in this way. See judgements against Google for similar restrictions on Android.
The Sukhoi SU-57 / T-50 / PAK-FA fighter has a levcon, it's a bit like a canard or a movable slat on the wing glove.
DoD looking for commercially available nuclear propulsion for small spacecraft
I'd wager alcohol is healthier (within reason) since it promotes reducing your inhibitions which might open you up to learning since you are more open to new experience and ideas under that influence.

Social media, untamed and untempered, tends to influence in the other direction: piping you into a predefined ideological box—and largely dominated by materialistic influences to boot.
Is this really surprising? I have always assumed bad faith.
Can't say I much care for the man, but when he's right, he's right.
Somewhat ironically, changing the domain to fullwsj.com will redirect you to wsj.com stories via Facebook's redirector and that's currently not paywalled.
Grow your company with podcast advertising: a bunch of tips on getting started
Exactly. It's unskilled or semi-skilled work. Treating them the same as freelancers doesn't reflect reality as they have almost no leverage in there situation with their employers.
Yeah Three.js is slow.

Godot and Unity can both compile to wasm so I'd try out one of those.
Why not converse. Show the data that you're using.
No biggie, they will just make a new fork of modified ETH blockchain where this error is fixed, and all the users will follow.
> I think this shows how much HN is a bubble in itself.

The worst aspect of it is how unaware HN is of its biases.
Posting with a burner account because I'm a friend of [redacted]'s. Yes, [redacted] has been experiencing a manic episode for the past 4-6 weeks as a consequence of diagnosed bipolar (not sharing anything private, he's been upfront about this on twitter). His friends are doing what they can to help. [redacted] is a really sweet and genuine person and it's been difficult to watch him suffer.
> Sure, fine, put in a generic "are you sure you want to do this" prompt.

That's how it used to work (and how it works with non-browser associations) before the more recent Edge-pushing dark patterns.
TFA talks a bit about that. The short of it is kinda as I was discussing above - if you consider the entity temporally as well as spatially, the Trigger's Broom/Ship of Theseus problem becomes moot.
The first indicates that there are multiple services to "be heard" - but I've said repeatedly that the ultimate fallback is running your own website.

Sorry I was responding to the notion that people took being banned from FB/Reddit/whatever as being quashed. Those people are free to print their own newsletters or run their own websites.

It seems like two separate points, which is why I don't see it. Maybe I should have made it more cohesive.
Integration testing as im used to it takes less time to write than unittests since you need to spend less time mocking things (mainly just mock external requests). Of course the initial setup requires more time but there are many readymade examples you can copy from. For example the official documentation.

https://docs.microsoft.com/en-us/aspnet/core/test/integratio...
The "majority of devices" if you count IoT, etc. However, Windows has market dominance in desktop computing.
Feophant: PostgreSQL inspired SQL database written in Rust
But not from logical, especially forward compatibility errors?
Pretty much what I meant :)

BB is the point when TV series started to be seen as superior format for sophisticated story telling. When series became very long movies basically.
“In such a hypothetical world, developers could potentially avoid the commission while benefitting from Apple’s innovation and intellectual property free of charge. The Court presumes that in such circumstances that Apple may rely on imposing and utilizing a contractual right to audit developers annual accounting to ensure compliance with its commissions, among other methods. Of course, any alternatives to IAP (including the foregoing) would seemingly impose both increased monetary and time costs to both Apple and the developers.”

Apple can take their 30% even if you use stripe.
No but now we have proof.
Nim newby here -- does Nim have something analogous to Go's channels for inter-thread communication?
Haha, I wish! Most of the books for the intro classes I teach are essentially redundant. It's a lucky occasion when you teach something where you learn something completely new that you find interesting, and these classes are typically small, so there's even less incentive for a publisher.
> Those included in the XCheck program, according to Facebook documents, include, in top row: Neymar, Donald Trump, Donald Trump, Jr. and Mark Zuckerberg, and in bottom row, Elizabeth Warren, Dan Scavino, Candace Owens and Doug the Pug.
There’s a big gap between “undocumented” and “citizen” though. I’m not familiar enough to know how many healthcare workers are here on a visa (student visa for medical school perhaps?) but in theory any that are could be granted citizenship or permanent residency.
Some of it is laudable, some of it is just political show, IMHO.

Indeed, was there really any pressing need to reduce the residence requirement from 5 to 2 years for garbage collectors?

To be meaningful this sort of programme should focus on people who have gone significantly above and beyond otherwise it just dilutes the act of getting citizenship. For instance legionnaires wounded in battle can apply for citizenship... Clearly not the same at all.

Let's not forget that next year is a major electoral year with both Presidential and general elections.
it's 12000 in a year, not 12000 this week:

"Un an après son lancement, 16 381 dossiers ont été déposés en préfecture sur l’ensemble du territoire français et 12 012 étrangers sont devenus Français"
from the first link in the article:

https://www.interieur.gouv.fr/actualites/communiques/marlene...
You mean via nuclear transumation? That's not chemical nor particularly practical in a pre-fusion powered economy

The problem with your third assertion is even if we accept that there is no way to prove the consciousness of others, you need to categorical deny your own and thus borders on absurdity and outright denial.
I imagine WSL doesn't really affect most Linux desktop users and it really only impacts those that used full-blown VMs for dev work on Windows anyway.

I doubt many people are dual-booting on work computers and WSL really only benefits developers, which are most likely developing something on Linux (i.e. server linux) for work.

Again, Windows is no longer the bread winner of Microsoft and desktop Linux is comparatively irrelevant to Microsoft considering it represents like 1% of the market. Both ChromeOS and macOS are more direct competitors to Windows.

Why would they work to extinguish a non-competitor for a product that has taken a backseat from all of their other products? It just doesn't make sense.
I hope not, America takes enough Canadian health care workers. This is better for countries with socialized medicine. They don’t need any more incentives to go.
How is it any more naive than thinking consciousness can arise on it's own from a box of carbon switches (aka a brain)?
Interesting; it almost sounds like it could be translated as “expires each day, refreshed each day” — i.e. it’s “ephemeral” bread. Kind of like “daily”, but “daily” in the sense of “daily news” — it has a one-day shelf-life.