skysight-inc/HackerNews huggingface dataset:
Yep. The easiest way to get some older games working on Windows 10 is already to copy the Wine version of DLL files they rely on into the game directory; this just goes all the way.
If you are interested in software that has the same functionality but is much more reliable, I would highly recommend Parsec. It's free.
Consider – Work Email Client
I was in the automotive industry. 10 years ago every infotainment System I had seen was either built on QNX or windows CE. When I left the industry later all systems I interacted with had moved to Linux. Why? Driver and off the shelf application support was a big reason. For QNX every driver had been ported, which is a huge task for something like a modern GPU.
You say this:

> I never saw this definition involving marketability anywhere, this is new for me. Perhaps it's really like you say, but that's not the definition I had

But then also this about your hypothetical about a “capitalist” system where “everyone owns capital” which makes it capitalist as opposed to socialist:

> You are free to manage it, sell it, buy it, as you wish.

You seem to explicitly recognize that marketability—the right to buy and sell—is an essential element of the kind of capital ownership that defines capitalism in the same post that you claim that it isn't.
I'm really a fan of rote learning and hate that it gets bad-rapped. It's not intended to teach creativity, it's intended to train reflexes. If you repeat "What time will Mr. Gonzales arrive at the restaurant" 1000 times, you'll immediately know how to ask when Bill will arrive at the restaurant. And later when you learn how to say "restaurant," "arrive," or "at what time", you suddenly know a bunch of stuff. Eventually you will forget about some of the things Mr. Gonzales did, but the reflexes will still exist.

I love the endless FSI substitution drills. They feel like video games. Also the Spanish ones are done so quickly that the instructor almost trips over his own tongue.

edit: also, https://fsi-languages.yojik.eu/, well-hosted labor of love.
we need to go deeper ...
No, to be clear, the commotion that has me concerned about Racket’s future is the substance of the proposal that was signaled on the list, not any sort of flamewar fatigue. One of the nice things about the Racket community is how thoughtful and earnest people are. I also tend to view your commentary as reasoned and agreeable, so no apologies needed!

To me, I’m just not that excited about the “maybe direction.” I guess I’m one of the parentheses clutchers who loves parediting in emacs. I’m sure the transition toward some other syntax will be cautious and careful, and that the resulting preferred #lang will be a fine one.

It just sounds like the center of mass for the Racket community won’t be quite what I was looking for when I came to Racket. I’ve got plenty of experience in at least one language, R, that started as a Scheme and then syntaxed itself to something less than Scheme (the language I mean, not the libraries—I'd kill for a #lang racket with R’s libraries).

Maybe Racket2 will be the bland syntax that succeeds in not obscuring the Music of the Spheres. If anyone can do it, this community will. On the other hand, I’ve got a healthy skepticism, uninformed by any deep understanding of the issues. I’m not sure what the benefits of sticking it out to see are.

The proposed change has anti-network effects in that Greg is already signaled his departure, and I’d already stopped reaching for Racket as the answer to “what lisp should I learn?” I simply don’t have a good answer to that question where I felt like I did a month or so ago.

But I’d be disappointed if Racket changed direction based on opinions of people like me. It’s not like I have any grand contributions to the community that are going away! I’m a dilettante who writes a little bit of Racket to scratch a personal itch once in a while. My primary takeaway from my one in-person RacketCon (Seattle) was, “woah, I don’t understand anything but these people are smaaaart.” I am not the right person to cater a language to.
Endless Hair Extensions
One of the Largest Mango Tree in South East Asia
One inaccuracy in the article refers to the Freddy Gray case in Baltimore. It refers to "Police opposed the prosecutions, and many began to do their jobs passively in protest." Police were ordered to stand down. From.the.mayor's.office.
Also, the culture there is still very much not to snitch. Most victims there know their killers. Many are killed in view of witnesses, and others know exactly who killed who. But they wont talk about it. They fear and distrust each other and the police.
This reminds me of what vineyards did during the prohibition, selling “grape bricks” and explicitly instructing people to NOT dissolve in water and let sit for 21 days or it would turn into wine.

https://vinepair.com/wine-blog/how-wine-bricks-saved-the-u-s...
The militarization of the police has come primarily from the militarization of criminals. Before the Valentine's Day Massacres, criminals had better cars and weapons than the police, allowing them to fight and win against the police. Prior to the LA shooting spree, police had no way to fight a criminal armed with assault weapons and no training on how to do so without endangering the public. When I lived in St. Louis, once the riots started to happen the police got tanks and other military equipment from out of state and then never let go of them (massive over-reaction to protestors that were not anywhere near as rough as you saw on TV, but that's what happened).

I think you're right that the drug war was a factor, but I think you're wrong in why it was a factor. It's not some arbitrary distinction between what you deem to be a "victimless" crime, as if there was never such a thing in the 1700s and 1800s. The reason is that it's an arms race. The police always want to be better equipped and trained at dealing with a situation than they people they're up against. If it's unarmed protestors, they want organized formations and tear gas. If it's a drug cartel with assault weapons, the police want tanks and helicopters.
> I didn't have to sign anything

Hmm, I guess you are american (with a magstripe card?) traveling in the EU? I never had to sign anything when paying with card here.
Take a look at how much trouble the author had finding a working ST, despite there being widely published and used libraries at some point but which no longer work in newer versions of Coq. The author ended up using a very specific git hash version of the Iris library, and he admits the documentation of Iris is pretty much non-existent.

This doesn't inspire confidence, considering this author is also the most familiar with Coq of the three. He also somehow claims that Coq is stable, which I can only take to mean that it won't crash rather than that it largely preserves backwards compatibility given his difficulties. If we can't rely on some measure of backwards compatibility so we can build on stable libraries, theorem proving simple won't scale any more than programming of any kind won't scale in the same circumstances.

The number of lines of code required for the second task also doesn't inspire confidence that theorem proving with Coq will scale.

So I frankly can't see any reason to think that Coq even with tactics is a viable approach to real world verification beyond exploratory toy examples. No doubt we have different goals in mind when it comes to verification/theorem proving, which is why you think Coq is suitable and I do not.
I feel you’re closer to “somewhat co-founder” status if you’ve contributed to major milestones over 5 months, especially without pay and no major investment.

Assuming you’re negotiating pre-money and you’ll get a non-competitive salary; id like to see at least 10%. Consider you will be diluted very soon.
Antibiotics are not given to animals for health reasons (at least not primarily). The antibiotics somehow help the animals grow faster for reasons that are not well understood. As a not so fun fact the vast majority of all antibiotics in the US end up being given to animals.
Spectre, Meltdown Patches Won't Fix New 'SwapGS' Intel Flaw
> The first phase will see Rocket Lab attempt to recover a full Electron first stage from the ocean downrange of Launch Complex 1 and have it shipped back to Rocket Lab’s Production Complex for refurbishment

Has anyone been able to economically refurbish engines fished out of salt water? I know that NASA and SpaceX both failed at this, why would the Electron be better suited for saltwater recovery?
I think formal methods may take off sometime in the future, hopefully not too distant from now. But this has been a thing since the mid 90s, and tools might still not be mature enough.

I did a whole MSc in Formal Methods about a decade ago, and I think abstract interpretation, model checking and axiomatic specifications are ready for prime time now. Exotic type systems and theorem provers are still a bit costly to use, but have achieved some spectacular successes like seL4.

I guess JetBrains wants to be in this space once things mature.
As a kid I would watch english-spoken news without having any understanding of English. Then all of a sudden one day I started understanding the news anchors. It was a weird experience. Shortly after I started on a lessons book and that got me to basic english - enough to understand a tiny bit to get into an American school, but not enough to actually communicate.
>There are always more bills to pay.

If saving money causes more bills to appear as you suggest the solutions seems to be to give the poor less money so they will have less bills.
>The whole idea that gaining administrator privileges through local escalation on a personal desktop is A Big Deal(TM) is silly.

I’ve seen steam on work computers. This isn’t limited to home desktop users by any stretch. People install steam because they don’t know it puts their work computers at risk.

You could argue that they shouldn’t have games on a work PC (some companies are a bit more lax and even play together) and an easy way to convince them to not do that is if you point out that Steam makes your system less secure by design.
That is due to Amazon's contracts with UPS to ship a certain percentage of shipment volume in order to lock-in given shipment cost rates that are below retail prices.

Amazon also keeps relability and transit time metrics on all of its shippers. I would guess that UPS has historically provided more reliable delivery for lower cost compared to FedEx, thus the volume shipping agreement with UPS.
I'm not sure I follow the purpose of the... fable? at the end.
> It just doesn't attract eyeballs like machine learning and blockchains.

... yet. The next AI Winter is right around the corner. While there has been seriously amazing work coming out of ML, in industry there is an insane amount of resources being put into completely BS ML systems. Outside of FAANG there are many "fancy" ML projects in industry that are just continually accruing massive technical debt, and for no good reason. The number of deep neural networks being used for problems that can be solved with radically much more simple (and easier to debug and maintain) techniques is astounding. Right now there is a boom in complex and fragile a systems made by teams of PhD in non-engineering fields that don't know anything about system or software design.

In a few years these complex systems will need to be maintained and fixed and it will quickly become apparent that the vast majority of these projects are a huge business liability with minimal financial or engineering benefit. Expect a huge back lash against predictions coming from complex, non-interpretable linear algebra heaps.

The pendulum will swing back, and likely pretty hard (as always probably too hard). I'm not sure theorem provers will be the winner, but the general class of understandable, predicable, and explainable things will become more popular. It is quite possible that "my tool proves things are stable and work" will be a big sell in the next wave of tech.
You can go and buy free range chicken meat at plenty of grocery stores - they are still not ideal from a animal suffering point of view, but its just a change that requires money, and rarely more.

Otherwise, look at the farmer's market at your local community center. A lot of them have close to ethically grown chicken meat.
being "tough" on crime is not effective. this article reminds me of this: http://www.bbc.com/future/story/20180723-why-we-should-treat...
Many of those doordash.com “delivery” links on Google Maps didn’t come from the restaurants either.
Criminalizing victimless behavior prevents enforcement of violent/property crime too. Would a prostitute report being raped by a john? Maybe, but it seems unlikely when they have to worry about getting thrown in the system themselves.
I think it's a vicious cycle. Many countries with less "crime" require less police, therefore they can be more selective about the people they hire and spend more money to train them. In the US, policing and prison are huge industries, and at a certain point there are not enough qualified individuals to go around.

Now imagine the TSA and Border patrol and many other government security institutions. So many cast offs.
Just bear in mind that there's a huge difference between being able to get the gist of something spoken in a foreign language and being able to convey your thoughts effectively in that language. Even after man-years of study I still sound like an idiot when trying to speak English in conference calls, even though I can understand nearly 100% of written and spoken English.
> Evening learning probably isn’t ideal for teenagers either. In a study published in 2012, Johannes Holz at the University of Freiberg, and colleagues, found that 16- and 17-year-old girls performed better on tests of factual memory if they’d learned the material at 3pm than at 9pm.

> However, another study, published in Psychological Science in 2016, suggests that evening learning can be beneficial – especially if you follow it with a decent night’s sleep, and a follow-up session the next morning.

In other words, we have directly conflicting results, because this is all a bunch of p-hacked complete fucking bullshit.
Or maybe the core message just resonates and people have additional discussion in the comments?
Yes, electric car manufacturing is still done largely with non-renewable sources. But it's happening nonetheless. Manufacturers like Porsche and Volvo expect to be over 50% EV by 2025. Even for fuel-based cars, plug-in hybrids are becoming more common. So the auto industry will be switching quickly.

Unfortunately, we will still have other pockets where fossil fuels are much harder to root out - heavy oil for shipping, jet fuel, and the existing base of coal plants that aren't financially viable to replace. But how many decades are left in those coal plants? Who will build a new coal plant to replace the old one?

And as gasoline and coal are phased out, they will become more expensive, as economies of scale drop out. Meanwhile, economies of scale in manufacturing are a key reason for the drop in the cost of renewables. Market forces are mostly on the side of renewables here, and trends even more so.
Not sure if their models have changed, but FedEx is more focused on express delivery. UPS is broader on all package delivery.
Really? I thought the lower sigmoid colon was in the same place on everyone. Does that mean some other part of the digestive tract is stressed to the point of forming diverticulae in an Eastern diet?
Same here, only inverted! There are so many people without dietary restrictions in my admittedly red/conservative circles that no one really bats an eye at anyone else's diet.
In my personal experience with Fedex while living in multiple cities, it seems like they aren’t enthusiastic about residential deliveries at all. Delivering to the wrong address, throwing fragile items over a fence, putting packages in hard to find places, etc. Never had any of this with UPS and also have had really good experiences with FedEx Freight.
Powershell falls over in the other direction: the objects flowing down the pipeline are "magic" and can't be serialised, or even necessarily inspected with normal tools. For most unix operations you can replace

foo | sort

with

foo > file
sort < file

I like the idea of powershell, but every time I try to do something complicated with it I'm disappointed.
Call me when the Fraternal Order of Police stops defending bad cops that were found guilty in a court of law, declaiming the “injustice“ that took place.

These guys are supposed to uphold the law, instead they prop up murderers and accuse the justice department of railroading “innocent” cops. See “Police union blasts ‘sham trial and shameful’ Van Dyke guilty verdict” [0]

0: https://chicago.suntimes.com/2018/10/5/18460941/police-union...
As I understand it, there's no way to have the feature of "remember me" on the login box allow skipping 2FA without this. Anywhere they could put it while still allowing a no interaction login would be just as vulnerable.

The primary way of attack was to trick a steam user into either uploading the token file directly, or trick the user into running an executable that uploaded it silently. If you're already tricking the user into running an executable you design, there's not much left that can be done to stop this since such an executable could reach inside the running steam process and read whatever data it likes.
Thanks! Technically I did get paid form my original company, but was working for the upcoming sister firm. I was assigned to do so during office hours and the startup has to pay back my original company my salary over the last few months
People have dozens of conversations every day that don’t match with the hundreds of ads they see every day. But then once or twice coincidentally a conversation preceded a relevant ad and the user jumps to the conclusion that their conversation was being listened to without noticing that 99.9% of the time the ads have nothing to do with any topic of conversation. Its occam’s razor or confirmation bias or some other phenomena HN likes to point out.
> "If you can be liable for allegedly copying a three-note phrase, I think that really dampens the creative output of artists," said Keyes.

I don't like where this is going. Those songs have key differences in percussion and partly in melody too, as explained in the graphic. This sets an interesting precedent, to say the least.
Other places have a war on drugs, or have regulations about lemonade stands, and they don't have the pathologically awful policing that the US has.

The US is extraordinarily violent. That's where you need to start: why is violence so common and acceptable in the US?
Ebiyaki (shrimp) is a fairly common substitute that I take. For me, I barely taste the tako at any rate.
Yeah, language is all about input. I'm learning Spanish now and it's going super fast. it's the second foreign language I've tried to learn (which I think helps, especially as they both have conjugated verbs, which is not really a thing in English), and it is much easier than the first (definitely helps).

Anyway, my method is:

0. Learn the grammar rules but don't fixate, just enough to get oriented. Occasionally review them.

1. I listened to this person who said something in Spanish then the same thing in (this case) the first foreign language I leanred, and does this over and over, occasionally adding new elements with an explanation, but mostly just brute-force repetition.

2. After a few hours of this (which is pretty boring), started watching 'Easy Spanish' videos on youtube, where they ask people questions on the street and have subs in Spanish and English. Watch these on repeat.

3. Start watching other Spanish youtubers who speak in that youtube manner (where everything is EXCITING!) - I have been watching Luisito Communica (or something like that, my Spanish is still bad).

4. (This is mostly how I learned my first language - Russian) - Listen to podcasts, but read the transcription first. For Spanish i am using radio Ambulente

5. Listen to full albums on youtube and follow along with the lyrics on genius.

I hope that soon I can just watch movies and stuff in Spanish without subs. Once you can get to the point where you can do that it's not even work to get better.
Remember, this is the same airline that just placed a huge order for Boeing 777MAX airplanes. It's obviously run by incompetents, so I'd stay far away.
There's nothing wrong with wanting to go to these places and even taking photos of them, there is something greatly wrong with going to places and not respecting them: leaving rubbish, trespassing, damaging properties. This is very much made worse in the modern day of vain instagrammers because instead of taking photos of things, taking selfies is such a trend more than it ever was, which is causing people to climb into/onto things, tresspass and damage. That is not ok.
Interactive gyneacological art.
it's an interesting way of contributing, but, the mathematics are clear: there's not enough space in the world to ethically raise $animals_to_slaughter so it's not realistic for the larger problem at hand: how consuming animals is contributing to environmental catastrophe and all it entails (factory farming leading to pumping animals full of pesticides, runoff ruining oceans, clearing rainforests to name some)

i think it's inevitable that lab grown meat and/or plant based alternatives get enough economic and environmental momentum to relegate "grass fed"/ethical whatever to a really high price niche forever, so i'd personally just focus efforts at arriving to that point ASAP, be it working for one of these companies, investing, or what have you.
Exactly!

Please note Tranquility Calendar itself was proposed in 1989. This is just a web representation of it.
> People install steam because they don’t know it puts their work computers at risk.

Tell me, what precisely does having administrator privileges on a workstation provide that having the user account's privileges does not? With the user account you still have access to the user's files (and they are almost certainly the only user of that workstation) and all network resources they have access to.
Tech Sales Training: The Major Do's and Don’ts
If this is hyperbole, please remove the quotes. If this is an actual quote, please cite it!

Ether way it's hilarious, but it would help to be clear.
There's an old joke: "How do you know if someone is vegan? Don't worry, he'll tell you."

My eyes would be glossing over in both cases. I've been confronted with this information many times in the past; often against my wishes despite the social cues I'm giving. It's not that you're wrong, or I don't care, or I don't get it. In the moment, I might even be interested. But the evangelists have burnt me out.
Close to Landing –| Dhaka – Hazrat Shahjalal Int'l Airport –| Bangladesh
It's better for your business to depend on many customers than on a few large customers, I'm guessing.
Puppies with cancer is the protypical bad cause area. Malaria eradication is way more cost effective.
There's a way to nearly eliminate all Twitter ads from your feeds. Whenever you see one tap / click the drop down arrow on the top right of it and select "I don't like this ad."

After you do it enough Twitter will drastically reduce the volume of ads it shows you. I see one every day or two and it's usually Twitter's "you've been selected to fill out a survey" ad.
When you deal with a huge customer like amazon (or Walmart) you have to be willing to accommodate them a lot and accept low margins while you get high volume. Some companies want to do that and others don’t.
I think, honestly, it’s more a bureaucratic nightmare thing. “This wasn’t technically illegal, so we’re not going to comply with your extradition request.” Now it is.