skysight-inc/HackerNews huggingface dataset:
There is no shortage of good reasons to block ads. Passive ads no longer exist, if they ever did. They are all actively exploiting, tracking, and selling you- even if you never interact with them.

Some might say, "Stop using twitter", but how is any American supposed to do that when the President of the United States uses it as his platform? Beyond Twitter, there is no shortage of school systems, police departments, and other small public interests that use their Facebook page as a sole means of announcements. They shouldn't be - but it doesn't change the fact that they are. The Ad industry needs strong and enforceable regulation, and quickly.
Wow, 60 years old now. Is there any older computer still working, outside a museum?
Is Amazon a Monopoly
Do you have more details on this?
Can't speak for Airports but banks aren't agile lol
Not Einstein, he never was a mathematician. He got helped most of the time to do the math(as he should)
Probably in the sense that they predicted a range of masses that the lander would have to be able to launch with. I doubt they shaved things close enough where a few dozen pounds were make or break though.
Ford literally claimed their truck can pull over 1 million lbs.

https://www.youtube.com/watch?v=Au3U72CX74I
Have you seen The Birth and Death of Javascript? https://www.destroyallsoftware.com/talks/the-birth-and-death...
JetBrains has been gaining a lot of stock with me lately. I recently discovered that Rider is an extremely compelling replacement for VS2019 (for C# codebases), and this kind of news is going to keep them on my radar for the foreseeable future.

As another poster said, it seems like they are trying to build their own version of Microsoft Research. It is also entirely feasible JetBrains wants to build out these concepts to further enhance their core products. Detecting and executing refactor opportunities across complex, strongly-typed codebases could have some synergy with this research and tooling.
I hope those scada systems aren't running on regular Windows. If they are, they should be running on Win10 LTSB on 32-bit so they should keep working till at least 2025 if XP's level of compatibility was good enough to run them.

If they can't be run on that, there's still MS-DOS licenses being sold and FreeDOS might also serve them in a pinch. If a system is not maintained for long enough that it's still running in compatibility mode, you might ask well just disconnect the network cable and run Windows 3.11/95/98. Microsoft is not at fault for the manufacturer not maintaining their systems.
It's because you only hear about the bad things. Sure there are some crazy cops like everywhere else. But all in all I'm certain most cops are good people who just want to help citizens and remove the bad guys.
Yelp forces businesses to pay them money on threat of lowering their ratings, which can destroy the business. This is quite well-documented. One example appears below. I stand by my assertion.

https://cliffbig.blogspot.com/2014/04/the-yelp-protection-ra...
When I was a kid in Catholic school, we could get extra credit by going to Spanish language Mass, and I did it a few times as an altar server. Even though I didn't really directly understand much of it, I knew all of my cues, etc, because I'd done it so many times in English.
Alphabet’s DeepMind Takes on Billion-Dollar Debt and Loses $572M
Logging at Scale Done Right
The fields of neuroscience and psychology are far more advanced compared with the infantile field of deep learning.

Humans also learn independently from one another which means outlier events aren’t as much of a problem. You have the ability to observe the world around you, say you see an accident due to some rare weather event, and learn some abstract lesson extremely quickly. A CNN has to learn this over millions of samples out of band.

EDIT: clarification in last sentence.
"German volunteers learning Dutch who’d drunk enough vodka to achieve a blood alcohol level of 0.04 per cent (approximately equivalent to just under a pint of beer for a 70kg male) were rated by independent Dutch speakers as speaking the language more proficiently during a short-test"

Based on my limited exposure to Dutch, this sounds about right; drunken German.

Edit: "Als vliegen achter vliegen vliegen, vliegen vliegen vliegensvlug."
It's not a matter of whether or not it was in the calculations. It's how much fuel you could save by leaving some mass on the moon.
Maybe it has, but I still believe in the long run it will do us more harm than good. We were starting to see a massive push to shift away from FAANG, but GDPR has just made those incumbents far stronger. They roadblocked the free market.
The difference between targeted ads and untargeted is like the difference between alpha and beta, or index funds and hedge funds. It’s not that a hedge fund doesn’t have better risk adjusted returns than an index (they usually do), it’s that the fees are so high it’s usually worse net of fees.

There was a study posted on hacker news that targeted ads have something like a 5% higher conversion rate than untargeted ones. The problem is that you end up paying 30% more compared to the commodity service. So unless the fees go down or the efficacy goes up, it’s not worth it.
This repo was my first learning project.
I barely knew Idris, and have no experience with HoTT.
Please don't judge the language referring to this.
You can refer nice code here https://github.com/JetBrains/arend-lib
Pictures are weird.

I've always hated being in pictures, but I wish there were more of my everyday life growing up (including my 20's) to show my son. Digging through my grandparents house and seeing 1000's of photos of fireworks, parades, etc I know what you mean, just enjoy it. But slice of life photos of my grandpa being a young father to my mom and aunts/uncles gives an interesting perspective I'm very glad was captured.

I spent a few weeks in Japan years ago and my favorite photos are the ones with me and other people just bullshitting around. There are probably 1000 photos of mountains, temples,paths, and animals that are essentially meaningless now. I've tasked myself on my last few vacations to ask for more photos, and to try and get as many candid ones as possible, while refraining from taking a bunch of "desktop background" photos I'll never use.

A concern I have now is many of those slice of life photos are being lost to cloud services that shut down (is flicker a thing? did it ever have an e?) or deliberately destroyed as part of snapchat's principle design. I'll get off my soapbox and let be, and just get some hardcopy photos so when my son is digging through my house, maybe he sees something equally interesting.
Outsourced work is generally pretty crappy - maintaining legacy code, writing dull line-of-business apps, etc. There are two kinds of people who do this kind of work. The original, in-house programmers who are well paid to compensate for the crapness of the work. Or outsourced programmers who can’t get any other sort of work so will do it cheaply.

There are plenty of good programmers of Indian ethnicity. But regardless of ethnicity, noone who is any good works in outsourcing.
Industry 4.0: Businesses Often Overlooked Areas
There are also a fair number of invented words.

I tried to read the first book in Spanish, and ended up owning a number of dictionaries because none of the ones I already had contained an entry for "los muggles." (I had not, obviously, read the English version first).
There is a learning method called Spaced Repetition, which involves repeatedly quizzing yourself, with a decreasing frequency as you learn them. So, if you always know the word for dog, you'll get that one less frequently than the one for cat that you have more trouble remembering.
Easy to be shocked by this but some slack can be imaginably cut.

I accidentally went to a concentration camp in the Czech Republic without knowing what I was letting myself in for. Sure the sign said 'concentration camp' but I was just cycling by and in need of an excuse to stop, so I took the turning and went in. I hadn't heard of this one before - it was the one the Nazis showed to the Red Cross to show that all was well when it was not. I wasn't quite teenage at the time, but definitely young and ignorant.

My mistake was to offer to take a photo for some American tourists that were there. They seemed to be taking selfies so I just 'helpfully' offered to click the button for them whilst they 'smiled'.

This was obviously insensitive, but I had just casually arrived at the place with no thought. Meanwhile the tourists I had tried to help had planned this visit for months (if not years) and they had lost their whole extended family in Theresenstadt and other places where 'Arbeit Macht Frei'. There is something iconic about ironwork that says that, an impulse to take a photo definitely exists.

But it is all very different if you go there because 'this place looks interesting' rather than because you have thought it through. I learned as much from getting it wrong with offering to help someone with their camera as I did from seeing the bunk beds and barbed wire. I expect your teenage girl pouting learned a lot too.
Both grep and rg will do literal search with all the whizbang optimisations they could think of if they're given a literal (a string with no metacharacters) or the -F option (to not interpret the input as a regex).

Which you'd know if you'd wondered, because that's something /u/burntsushi regularly explains: https://blog.burntsushi.net/ripgrep/#literal-optimizations
CVE-2019-1125: Spectre SWAPGS gadget vulnerability
If every email (including each CC) cost the sender 0.02$, I think that would solve most of the problems with it :)
Stack Overflow’s Annual Engineering Survey
"The lack of a tax is not a subsidy." -- dsfyu404ed

Do you have a reference for that claim? Other sources explicitly count tax breaks as a type of subsidy, for instance

"In countries with well-developed tax systems, subsidies provided by reducing companies' tax burdens are commonplace. Examples include tax exemptions (when a tax is not paid), tax credits (which reduce a tax otherwise due), tax deferrals (which delay the payment of a tax) and a host of other instruments. In common language these preferential tax treatments are called tax breaks or tax concessions; public-finance economists refer to them as tax expenditures."

https://web.archive.org/web/20120905082615/http://www.iisd.o...
To quote that report on which the second article is based:

“While the most important provisions of the NFA remain substantially intact, no jurisdiction fully complies” [1]

But those claims in that article, and the description of them in the video, seem overblown.

I understand the authors are trying to sound an alarm in order to prevent any significant retreat from the positive changes that happened in 1996.

But that's all it is.

There is no claim that Australia's gun ownership or gun violence problems are back to pre-1996 levels and there is no evidence to back such a claim.

If you look at the various statistics on this page [2], the key figures remain substantially lower than their 1996 levels, including Rate of Civilian Firearm Possession per 100 Population and Number of Licensed Firearm Owners, and they have not materially increased in the past 10 years.

We just don't have a gun culture or gun violence problem in Australia. The total number may have risen, but apart from very narrow exceptions, none of them are semiautomatic or automatic, and I gather almost all are for use in farming and pest control on private land (pests including foxes and rabbits are significant problems for farmers in Australia).

Most notably, the rates of gun-related homicides and other fatalities in Australia remain extremely low by world standards [3].

[1] https://sydney.edu.au/news-opinion/news/2017/10/05/australia...

[2] https://www.gunpolicy.org/firearms/compareyears/10/rate_of_c...

[3] https://en.wikipedia.org/wiki/List_of_countries_by_firearm-r...
I switched to Firefox recently due to some of the changes in Chrome (esp ad-blocking) and so far, really like it. The UI is a little clunkier than I like and I miss some of Chrome's autocomplete or CC auto-fill features, but FF is fast and way more secure. Plus it has DNS over TLS which is a huge win in my book.
The "only" lemma is because other lemmas are defined via \func

I've learned about \lemma and \property and HoTT precategories and univalent categories not so long ago.
Now I'm planning to rewrite all of this from scratch
Then add Judge Roy Bean Public House to OpenStreetMap

In Denmark you will find almost all restaurant and food places in Openstreetmap.

I have created tools that help to keep POI'd up-to-date by mapping to public health inspection reports.

https://github.com/elgaard/OpenStreetmapTools/tree/master/re...

https://digitalfrihed.dk/restaurants/all.html

We could use some kind of open reviews. That is more tricky, which is also why the commercial platforms are not that good.

Wikivoyage.org is great for tourist, but too limited for locals (you cannot have every single pizza and burger place in travel guide).

The Osmand app with Wikivoyage is a great example of what can be done with free software and data. It is all offline. You can search for restaurants near you without revealing you location to anyone. When you click on the the webpage of a restaurant, it opens in your browser without redirecting from Yelp or sending the URL to Tripadvisor. And when you click on the phone number for the restaurant, your phone just calls directly.
All beef is grass fed until a short period before slaughter, where American ranchers fatten them up with a diet of corn-based feed. What we call "grass-fed" beef is just "grass-finished" instead of "corn-finished."
I was going to disagree but on some enterprise W10 you are correct. I seem to remember W2K not doing this so I wonder when it changed...
Cue the "accidental panspermia hypothesis" - the real (messy) world variant of panspermia[1].

[1] https://en.wikipedia.org/wiki/Panspermia
> “the lowest probability of injury of all cars the safety agency has ever tested.”

NHTSA is taking issue with how the results are being framed. The ratings are only valid across classes in some cases and for stuff like front impact rating the numbers are only valid for cars with very similar weights, Tesla is using the numbers to say they have the lowest probability across all cars. See [0] page 7 for the original letter, the NHTSA has very specific guidelines for what their numbers actually mean and how they can't be compared in all cases across different vehicles, Tesla has violated those by comparing their score to all vehicles which definitely includes vehicles outside the +/- 250 lbs weight difference the NHTSA feels is appropriate.

[0] https://www.plainsite.org/documents/fnrhg/tesla-nhtsa-foia-r... (still reading but see bottom of page 3 and top of page 4 and the NHTSA letter on page 7)

edit: To expand having read more they specifically say that in a collision between vehicles of different classes the numbers become largely meaningless and that the larger vehicle like an SUV will have the lower probability of injury compared to the smaller vehicle.
I made a Keanu Reeves text adventure game
Programming in 1969: An interview with my mom
This reads like a hitpiece against vegetarianism/veganism to me, or a way to assure omnivores that their current diets are OK and not completely terrible for the environment.

> she returned to eating meat after learning that the soybean and corn monocultures that accounted for much of her vegan diet were wreaking havoc on the environment

This is patently false, even though she might have believed it. Over 70% of soy grown in the US goes directly into animal feed [1], with some being used for biofuel as well [2]

> After spending her high school and college years subsisting on a vegetarian diet of flavored yogurt, Gardenburgers, pizza pockets and mac and cheese with frozen vegetables mixed in ... “As soon as I started eating meat, my health improved,” she said. “My mental acuity stepped up, I lost weight, my acne cleared up, my hair got better. I felt like a fog lifted.”

It should be obvious that if you go from a diet heavy in processed foods to one based on whole foods (plant-based or otherwise) your health will improve, but this wording makes me feel like it's trying to show that an omnivorous diet is healthier than a vegetarian/vegan one.

The article does raise a good thought though, being the following:

> The system’s advocates say it can regenerate vast swaths of grassland, which has the potential to sequester carbon rather than emitting it as factory farm operations do.

I haven't yet seen good analysis on whether the grassland tended by grazing livestock does good than the livestock themselves (in the form of methane emissions), but it would be wonderful if it did.

Finally, the article thankfully acknowledges the elephant in the room:

> Critics of the alternative approach say that not all studies show improved carbon sequestration on grazed grassland, and that the system can’t produce enough meat to meet current demand

Regardless of whether or not meat raised in this way is better for the environment and/or peoples' health, there is no way enough meat could ever be raised this way to meet the modern demand for it. The demand for meat worldwide is going _up_, and the typical Western diet that is heavy in meat will continue to be a hugely destructive force on our environment until we _all_ slash our consumption of animal products.

[1] https://www.usda.gov/sites/default/files/documents/coexisten... (PDF warning)

[2] https://www.canr.msu.edu/news/where_do_all_these_soybeans_go
I'm searching for a short TL;DR for the question: WHY?

Why should anyone do that? The only reason I see is possibly to use win 98, 2000, XP, ... programs under win 10.
Frankenstein for Scientists, Engineers, and Creators – Book Review
The current factory farm system and the nearly infinite levels of suffering we put animals through is a weird aberration we will look back on in hundreds of years as completely insane. It's like a macabre torture machine most people just avoid ever learning about because the don't want to know how dark it really gets while eating their nuggets.
Your conversation was probably influenced by the web ads campaign

I think this is likely correct, and a million times more sinister.
This author is impressive.

I value their work highly enough to savor, not rush it. Just wanted that quality recognized here, should they read HN.

(Thank you)
This reminds me of The Knowledge.

https://en.wikipedia.org/wiki/Taxicabs_of_the_United_Kingdom...
Because, of course, its not a emulator
> I do get that point, but it seems to me that only very advanced programmers are able to work with such languages and systems.

That's because the field is still in an exploratory and research phase. Unless you're in an industry where correctness is the most important criteria or involved in research into this stuff, your average programmer isn't going to be using any of this. It's still too early, but that doesn't mean it's a waste of time.
Have you been talking to my entire HR Department?
Is this why we need a decentralized Certificate Authority like Handshake.org so ICANN doesn't have too much power to censor the Internet?
Funny you mention that. Most contractors I worked with and have worked at the likes of BA and banks complained about permanent employees resistant to change, and being out of date in terms of practices used, bureaucracy and "not my problem" kind of attitudes. Obviously, the most incompetent complained about contractors as they would get a way higher daily rate, while most of those permies struggle to find a job even tho the market is an employee market.
The 5 Best Acquisitions in Microsoft’s History and Why Upwork Must Be the Next
This has been “fixed” in upstream ZOL, but Linus should be ashamed.
Have we been wrong about the age of our universe all along?
The low "air" pressure, lack of atmosphere, lack of magnetosphere, radiation (including UV radiation from the sun) kinda makes sure it becomes a non-issue in a short time. That's why NASA probably didn't worry about leaving it there too much.

It won't decay biologically though.

I disagree with "Pristine environment", it gets hit with extra-solar-system all the time, as the several marks on its surface attest to it.
It's weird that tech people think that just because they invented something, they can just as easily make it go away.
Microsoft Contractors Are Listening to Some Skype Calls
A quick comment based on our experience. We have been providing a proprietary messaging server based on WebSockets and HTTP Streaming for many years now, mainly used for financial trading, online betting, and aerospace. The increased popularity of MQTT in recent years pushed us to find some good points of contact between MQTT and our well established practices to deliver real-time data through the Internet. Simply tunneling MQTT over WebSocket didn't seem to be enough in some scenarios (perhaps corner cases, perhaps not, we don't know yet). In particular, what is completely lacking in MQTT (and in MQTT over WebSockets) is the ability to throttle and resample the data on the fly based on the available bandwidth.
To make a long story short, we decided to "add" this and other features to MQTT by creating a gateway that transparently remaps MQTT over our proprietary but open protocol (TLCP). The result is a solution that exposes very standard MQTT API (Mosquitto-like), but is much more Internet-friendly than MQTT over WebSockets (both for throttling and other reasons, which I don't list here to keep it short).

In this Dzone article we explain a bit more about adaptive throttling:
https://dzone.com/articles/mqtt-throttling-data
Thank you :) how many hours did you spend working with pandas last week?
As Peter Thiel pointed out, in the idealized frictionless free market of politicians and economists, profits are driven to zero. The market is only profitable when there is friction.
Show HN: E2E Encrypted Group Chat In Less than 200 LoC
Googlebot evergreen rendering in our testing tools
Getting those records would likely require a lawyer and that would require a lot of spam calls. I'm talking about suing in small claims court which would be more likely for most people. Having a true caller ID would put a critical document directly in the citizens hands.
FedEx to end ground deliveries for Amazon
How do you know the true margin? They can be employing Hollywood accounting. If they are not, that doesn't mean that they are spending 65% on something worth while either, perhaps a different entity could be more efficient and have a margin of 99%.
The question is how much they need you to get to first revenue or cash flow positive (or get first investment). Nothing else matter - not your skill set, work ethics etc.

Everything can be found given a price.

Why did you waited so long to ask for equity? I.e. why did you not ask for it before the 5 months?.

So, if the product can stand on its own (I.e. can get paid customers month over month) I am afraid that you do not have leverage, and hence you are treated as any other employee. If not, than you have leverage.
Violent crime was at extremely negligible levels in the fifties. In just 3-4 decades to the 90s it ended up increasing (per rate) by around 800%. That's a part of where the hyper-tough on crime laws came from, and it's also when you started seeing an increasing militarization of the police.

Violent crime then decreased by about 50% to 2014, though that still of course leaves us at a level multiple times higher than where we started. And it's now back on the rise. Here are the raw numbers [1]. They're quite interesting to consider.

Something I'm quite curious about on Hacker News, preempting the downvotes can people explain what they find offensive about data?

[1] - http://www.disastercenter.com/crime/uscrime.htm