skysight-inc/HackerNews huggingface dataset:
To add to other user's comments, linear types are useful for reasoning exactly about (some) imperative constructs, which is really, really hard to do with standard type systems. That's why reliably guaranteeing e.g. why it's still difficult to ensure safe and timely disposal of database connections in Haskell (maybe not now) or Scala, despite their powerful type systems.

There's many other such modal type systems/logics used for other special purposes like temporal logic.
"Eventually, the [Washington] state’s computers started to flag anomalies: out-of-state banks, duplicate email addresses and multiple names using the same bank accounts. But there and elsewhere, antiquated state computer systems failed to flag foreign IP addresses, repeated computer serial numbers and techniques to mask that number."

The current version of WA employment security dept software was deployed in 2017. It was a boondoggle that cost taxpayers ~$50mm.

edit-to-add-link:
https://www.king5.com/article/news/investigations/years-late...
The fact that they actually gave a preview hardware to developers months ago kinda helped.
Here's the chance for the US manufacturing to catch up!
I have been doing the same, Best Buy/Target/Walmart any big box retailer I know does some quality control. I have purchase way too many products from Amazon that broke immediately, just shockingly terrible quality. And the worst part is Amazon isn't cheap anymore, I have found that they have a 20-30% markup over their competitors and the cheap things just third party fake goods.

IMO buying the cheapest products on Amazon is like using disposable plates and utensils, sure the one time purchase is cheaper than buying dishes and real utensils, but over time it's way more expensive.

Honestly, opening a package from Amazon for a 5 star recommended item that you had high hopes for only to find a cheap piece of garbage is infuriating.
What the hell do you do at the DMV? I honestly can't figure it out, but it seems like Americans are always going 'to the DMV', this side of the pond I think the equivalent (authority handling driver licencing, road tax, vehicle registration, etc.?) is the DVLA. I have and would never 'go to the DVLA', I have no idea where that would be, I assume it's just offices. It's all online and other than changing address when I moved I haven't even needed that.

Whereas in normal years, for all the jokes you'd like to make about British teeth, I go to the dentist every 6/9/12 months (according to ~how short of cash he is~ his recommendation) - but going by HN comments and films et al. 'the DMV' seems an even popular day out!(?)
A Man Who Gave It All Up for Litecoin
It is 1% of all US federal tax revenue. It is not insignificant.

Also, insane that your health plan costs as much as the average citizen's share in all federal taxes (which also include corporate taxes, tariffs and whatnot).
My point being the production on film instead of tape
Mallory Harris is critiquing Dr. Levitt because he has made scientifically incorrect statements and when presented with the contrary evidence has not corrected his misstatements. The article documents these misstatements, implores him to correct the record, and he does not. These misstatements are clearly presented and cited.

It would be problematic for a medical doctor to disseminate medically incorrect information to the public and not correct or clarify it. Similarly, it is problematic for a scientist to disseminate scientifically incorrect information and not correct or clarify it. It would be a simple thing for him to simply tweet, "On x date I tweeted y. The evidence now suggests that this statement was incorrect." The science on this continues to evolve, acknowledging that sometimes we are wrong is not a stain on one's reputation. It is the mark of a scientist who is pursuing evidence rather than a narrative. Dr. Levitt is pursuing narrative over evidence, and his actions have consequences.
Yeah, they also recommend living life. I think the work thing kind of came up more/first just because one typically needs money to go do enjoyable stuff.

I spin in place.
My mega Corp (US) employer started offering 4day weeks for 80% pay this year. But it seems to not have really gotten much traction. Just a couple of people I’ve heard a of. Not sure why? We’re busy with projects so I’m wondering if taking 4days/80% is seen as not being dedicated enough to the cause?
This definition would generally bar you from using phone modems, Wifi cards, and GPUs. With some exceptions, their CPUs have nothing to run without external help, so they are forced to load and run arbitrary code to even be operational.

Replacing a memory chip would not do anything because those aren't used.

The artificial constraint is either that the code (firmware) is closed, or both closed and signed.

Otherwise, I like the criterion a lot. It's a decent distinction between what's "software" and "hardware".

Another blurry line is devices that come with a memory chip where their program code is loaded, but they later need to have a patch loaded by the OS each time (like Intel microcode). Yet another uncertainty depends on how we define root access. If we take it to mean "I have the last word", then Intel/AMD and some ARM CPUs don't qualify, as they have deep, manufacturer-signed-only modes.
I just don't know what a 'ROM game command' is. Seems more likely it would be controller inputs to one person's emulator? Or perhaps everyone has an emulator and the inputs are simply shared.
Last year ~6 million people were eligible for unemployment.
The fact you are flaunting your entire family's healthcare costs and using the entire US population of adults, retirees and children to justify the theft of 36 billion dollars is concerning.
The amount of time I've spent lately just looking for one simple thing - honesty - when looking to buy something, is embarrassing to say out loud.

One of many, many examples. I wanted to buy a 10k lux light to see whether it improves my winter health. I spent well over an hour on Amazon going through reviews and products. When I found something I liked, on several occasions, Fakespot rated the product a C or D and noted it saw tons of reviews being removed and other heuristics. Then I personally noticed some products from different brands looked almost identical. And sometimes I noticed the same product from the same brand with separate entries. Also, when I wanted to read 3 or lower star reviews, I was told there were some, but I'd click the filter and it'd find no reviews lower than 4 or 5.

The other month I posted a review on Amazon for six canning jars where 5 spontaneously cracked in the fridge by themselves, unmolested. My review got removed and Amazon said it failed some guideline. This never used to happen.

Look, I'm happy to pay a little more here and there, I rarely look for the cheapest thing or budget item. But why is lying and deception so commonplace and lackadaisically accepted? It's grating.

Someone should invent an Honest Amazon competition. Honestly, Ebay vendors are often more trustworthy.
https://saaspages.xyz/ does that as a way of driving traffic to their paid product, a landing page builder.
I know this is usually brought up as a clearly bad thing, but I have a non-rhetorical question: what do we do about it?

In this case, the value of the company Bezos created, Amazon, has gone up because it provided a useful service during the pandemic. If we decide we want to tax that, it seems like the only means we'd have available is to force him to give up shares in his company. Are we essentially saying a company's success entitles the government to take over ownership?
Ask HN: Tools for graphing Git CSV files?
Do you know of a tool to visualize csv file changes using git history?

Example use case:

1) csv file stores weather readings
2) csv file gets updated daily and committed using git
3) dashboard shows graph of readings over time

Any ideas before I write something in Python?
From my experience in web development, forcing smooth scrolling on a particular website is usually something pushed for by designers. It looks great in mockup videos, and probably on their Macbooks, and it's a losing battle to push back against that feature in every single mock.

i.e. Blame designers, not developers, in most cases.
For myself, I find I'm more productive in the last half of the week. But my employer (and team) tend to front-load the week with meetings, so by Wednesday my schedule is clear enough to be heads-down and get stuff done.
I think the degeneration of the salary condition of the working class (including engineers) has two reasons:

1) The decline of Soviet Union. Since the largest opponent is gone, elites of US did not need to suck up the working class as they did not need that many manufactoring power any more, and they could finally throw the working class under the bus because they didn't need to virtual signal their "higher living standard of the working class".

2) The rise of competitive investment banking, including predative M&A and other "unethical" stuffs that blue blood bankers did not do (much) during the 50s and 60s.
According to the New York Times' "How Full Are I.C.U.s Near You?", AdventHealth Ocala in Florida is currently at 97% capacity with 56 Covid-19 patients, and the average I.C.U. in Florida is at 82% capacity.

https://www.nytimes.com/interactive/2020/us/covid-hospitals-...
I'm actually going to be working mostly 3 day weeks until mid-March (at which point I would otherwise lose my vacation). I kept holding onto it until there seemed like a good time to take it and that time never came.
The overview doesn't mention if there is support for Metal?
What a wholly unremarkable number. For comparison, that's about 2.5 weeks' worth of deliveries for VW.

And yet, this is the 6th most valuable company in the US; worth more than Intel, AMD, and Nvidia combined.
Extend a template and specialize it for some type. Extend the template again and specialize it for some other type.

The two resulting derived classes are not the same, and you cannot have a function that accepts the base template with a wild card type and pass both types into it.

In Java, you can do: void myFunc(List<?> list); and all List objects with any type can be accepted by this method, in addition any class that extended List can also be accepted into this method, such as ArrayList<?> or whatever.

As far as I've seen, this is impossible in C++, unfortunately.
> Why HTTP/S sockets rather than raw UDP

Because Defold targets mobile mostly and https/websockets does better at working with corporate firewalls and VPNs.

Also mobile games typically aren't as latency-sensitive as real-time desktop games since they often have to work over slow/unreliable wireless cell networks.
They haven't been universally "wrong" - just wrong for large segments of the population. Equities in America (which are majority owned by the wealthiest top 1%) have done great and the wealth of those at the top has multiplied several times over.

Given that a quarter of all political contributions are donated by the wealthiest top 0.01% (no, not a typo - and 84% of politicians take more from the top 0.01% than all donors giving less than $200), it is entirely unsurprising to me that our policy reflects their priorities.
Nature is one of the two top journals in the world and their conclusions directly contradict what you're saying. This was a study of 10,000,000 people.
IIHS says "Nationwide, 53 percent of motor vehicle crash deaths in 2018 occurred in single-vehicle crashes." The other categories being multi-vehicle and property only.
I have the same thoughts after reading it. In fact, the author expounds a little bit on your question later, saying:

"An October 2019 study on the mental well-being of crew, commissioned by a group affiliated with the International Transport Workers’ Federation, the big maritime trade union, found that even before the pandemic about a fifth of mariners surveyed said they had suicidal thoughts."

I'd be curious how the suicide rates compare to a non-pandemic year..

Regardless though, I feel like the juicy part of this article isn't the ~6 suspected suicides, it's how messed up the cruise ship companies are and how badly they botched communication in an attempt to cover their asses. They seem to be purposefully misinforming families about what happened with their loved ones. Some of these suspected suicides were found in their rooms and there doesn't seem to be closure as to what exactly happened. I can't imagine being in that situation.
Small Towns and Covid-19
GHC models linearity differently. Rust puts linearity on the types, GHC puts linearity on the arrows. https://i.imgur.com/s0Mxhcr_d.webp?maxwidth=640&shape=thumb&...
This problem has existed since 1986. The US government is responsible for this hideous law. I'm not anti-vax by any stretch, but there have been many, many cases of the current vaccine and millions of other vaccine issues besides and there is nothing the average person can do. The US government indemnified the pharm companies. I'm so sick of the little man taking the crappy end of the stick. It would be great to see someone like AOC take on big pharma. If anyone can it, she can. She seems like the type who would relish this task. Hopefully the incoming POTUS will offer her a position where she can take some of these evils to task. I'm not getting my hopes up.
This is heartbreaking, and by no means anomalous[1]. I know a number of people that have committed suicide during the lock downs.

It is becoming a political topic, which is always risky to weigh in on publicly, but I do implore people to keep in mind when deciding on policy the law of unintended consequences. Everything in life is a series of trade offs, including the decision to lock down. Even if you believe the lock downs have been effective, they cause real damage and disruption to people's lives and mental health. It is serious and needs to be considered and weighed.

What we have is a variation on the trolley problem, not a simple "save people with lock downs or not." I have no idea where the right balance is, but I've been shocked and saddened at the unwillingness of pro-lock-down people to consider the unintended consequences here. I have plenty of criticism for the anti mask crowd too, but this comment is already long enough.

[1]: I have no scientific data to back this claim up. This is my opinion extrapolated from anecdata. Take with a grain of salt
Why is in-kernel Wireguard a priority? I'm happily using https://github.com/WireGuard/wireguard-go with no issues to speak of, on FreeBSD.
I don't have a pressing need (have last gen Mac Mini) so I'm waiting and hoping for a 32gb version.
It's a pity that there's really no social norm to penalise sharing non-credible information/misinformation.
weird sarcasm aside rewriting python in go makes sense in this scenario because it’s a stable language that supports cross compilation. ruby doesn’t have the same guarantee
I'm still having issues where my "Amazon Prime" membership results in a delivery usually taking 1 week instead of "2 days".
If the isolation is the cure and covid is the disease, isn't that backwards? The comment says "can't be worse", so they're saying it is preferable, since it can't be worse.

EDIT: Nevermind, I see now that "can't" is probably meant as "shouldn't" instead of "is impossible to".
What will it take? Time.

If you wait long enough...

* There will be universal healthcare

* The police will not be permitted to use deadly force

* Landlords will not be able to evict tenants for any reason whatsoever

* Colleges will not be able to discriminate based on aptitude or demonstrated performance

In short, if you wait long enough, all the "wants" of the Left will be achieved. It will happen whether Republicans or Democrats are in charge, but voting in Republicans slows down the process just a bit.
> You can do the same thing with two cameras so I'm not sure why LIDAR would be preferred here.

I almost spilled my beer about to comment that a camera or two are equally if not more powerful than lidar. To me personally, Lidar feels like an incomplete solution to 3D mapping when high res images from a smartphone camera can provide so many more data points from different angles.

My thinking was vehicles should have an idea where other vehicles are without the need for comp viz. Like beacons saying "hey Im here." And we can try to calculate relative direction and distance. The vision bit should ideally come in to validate and confirm other things like road signs etc. Ideally we should add that data to mapping software andnthe car should know these things without "seeing it".
Actually, the software cost now is closer to ~$36.05B
> so they made next to nothing or maybe even lost money after interest, taxes, upkeep, etc

Don't forget that you can "lose money" on a house and still be basically ~100% ahead of where you'd be if you had rented. The only way that renting actually comes out ahead is if you're actively and aggressively investing amounts larger than your would-be down payment, and making consistent profits for the duration that are larger than bank loan interest rates.

FWIW I'm on my 2nd house, and the costs listed have never felt like they change the balance of the equation at all. I don't have HOA, most people don't (unlike all the other costs listed, HOA is a choice, you don't have to buy into a neighborhood with HOA dues). The other costs are somewhat in the noise. Closing costs are a one time thing, think of them as part of the purchase price, nothing to think about later. Tax and maintenance are ongoing but not very large (and don't forget rent is also paying tax and maintenance, bundled). The biggest additional costs of owning a house for me have been remodeling, but so far those have come back to me with returns, in the form of a higher sale price on the house.
I'd think inertia keeps a lot of people staying with how they've always worked and what they know, and what all/almost all of their colleagues do; they've never even considered it, or even know it might be an option.

And of course, it must be recognised that purely for financial reasons it's not going to work for everyone.
Does Apple still get a cut in lightning licensing? If so I think they will move engineering heaven and earth to avoid losing that revenue stream so also agree with the above poster that I’d put money on moving to the wireless.
Yeah this only works if you have your person not "some person". A fantastic example recently:

Some newsletter sent a book recommendation list. Instead of clicking links, finding the right format, and dealing with all that, I just slacked my assistant "Hey can you get me all the books from X newsletter on audiobook". Feels silly to delegate, instead of a task I put off and think about and finally waste time on eventually, it's a 5 second thing and I can move on right away.

The "not have to think about it" part is the bigger benefit imo.
It all seems reasonable to me. Caring about shortened names is putting a lot of emphasis on something trivial. Programming gets a lot harder than that.
A recent study by Ohio State University found that nearly 50% of athletes who'd had mild covid showed some evidence of heart damage (specifically myocardial inflammation) afterwards. It's a small study and so shouldn't be taken as conclusive, but it's worth considering. https://jamanetwork.com/journals/jamacardiology/fullarticle/...
Nylon won't be glossy for sure. PC can be glossy, though. However China goods are very often glossy ABS and it'd be mentioned if they'd use PC (or some PC composite)
Ah, when I looked at it maybe late November, it was telling me I couldn’t get one till January here in central FL.
It is very easy - all interviews, opinions, public speeches by all scientists are under "non scientific opinion". Only scientific articles on reputable scientific journals are scientific opinion. All other media is not, because even if you link your speech to specific article and you speak with journalist you use dumbed down terminology. During process of converting scientific article into layman terms there is loss of information. Sometimes it is crucial information or it becomes source of misinterpretation.
Why I made my employee onboarding platform open source
Once the job market for graduates started to saturate they told people they should go into STEM. Once the STEM job market saturated they said people should become programmers.
I worked 4 days a week for 10 hours a day for a while. It was really nice. We’d often end up working late anyways, so even though the days were long it still felt normal, but then you also got a three day weekend every week. One of us would take Friday off and the other would take Monday off.
Tekken 3 nostalgia
Every time. Every single time there is somebody totally okay with fraud if it relates to a program he is otherwise in favor of.

Can't you just spell out, "UC is good, but fraud is bad, so let's eliminate the fraud, even if it's a mere XY billion dollars." It does not require any internal contradiction to think that way.
Threats of suicide can’t be an excuse to let people go do whatever the fuck they want. Imagine that world.
No worries. I apologize for our needlessly confusing language :)
I've had the M1 MacBook Air for a couple weeks now and it's great. It's very fast and almost all of homebrew works now. I'm doing Go and iOS development. I imagine for nodejs/Ruby native extensions it might be some time before everything works natively, but Rosetta works great as well. They honestly nailed it.
Public figures need to be sensitive to motivated reasoning https://www.psychologytoday.com/us/basics/motivated-reasonin... by the general public when they post. Looking at:

https://twitter.com/MLevitt_NP2013/status/130176837049748275...

What if he had ended this tweet with "But: I will take any FDA approved vaccine." ?

Except - he was at exactly 280 characters, so he couldn't have added this without removing other text, or doing a multi-tweet message.

https://academic.oup.com/joc/article-abstract/69/4/345/55470... says "We show that doubling the permissible length of a tweet led to less uncivil, more polite, and more constructive discussions online."

Maybe the character limits inherent in platforms like twitter cause many of the problems we're seeing right now, because people literally don't have the words to explain themselves.
I have the mac mini 8GB. I recommend getting 16GB because I recently clocked out the 8GB because of firefox + jupyter notebooks (plotly consumed like 6GB). Overall, it's been great but there are still things broken natively. However, the Rosetta(2) makes the experience seemingless. The biggest problem I have is remembering to isolate the x86_64 and arm64. For instance, having miniforge setup for Python becomes a PITA since one version is meant for the M1 natively and the other is the x86_64 build. But since I got my Mac Mini, I barely use my early 2020 MBA anymore.
Tekken 3 <3
I'm more or less in the same boat, but haven't made the plunge on an M1 device. I farmed out all of my development work to a NUC, interestingly because the current Macbook Pro line is so bloody awful. I have a 13" MBP it's by far the worst machine I've owned since my last Windows machine (a Dell the better part of 15 years ago).

I'm going to wait and see how the MBP line turns out, but I'm nearly at the point where I'm ready to jump ship and just deal with the pain of Linux.
Here's a better link: http://learn.hfm.io/fractals.html (can't edit it anymore, sorry)
And you don't see any of this stuff when logged in.
Have you tried the Docker technical preview? It seemed to work fine for me (although I didn’t run hasura’s image).
How can linear types be used for something like doing a bunch of calculations on a DataFrame of unknown size ? ex: filter rows based on certain conditions, compute some averages, and then plot certain columns etc.

Its hard to find real world use examples and learn about linear types when I search online. If anyone has links, that would help.
Just wait for USB4!