skysight-inc/HackerNews huggingface dataset:
Lead in solder is not a safety hazard unless you eat it, it isn't vaporized in normal soldering.

Lead free solder is used for environmental reasons because electronic devices will eventually be disposed of. Since the amount of lead used in one person's projects is minimal, it only matters in mass production or when RoHS is required by customers, regulatory agencies etc.

Leaded solder is so much easier to work with I wouldn't use lead-free it unless I was required to.
And it's important to remember that the state doesn't see the law this way. I guarantee that whoever wrote the application forms didn't think they were passing a law about filling in section A3; they just wanted information about safety, and the style guide for writing forms says they get that information by putting a lettered and numbered section.
They clearly are the state of the art of IDEs for most mainstream languages nowadays.

It's easy for young developers to overlook the power of intellij IDES, and to use the "sexier" vscode.
But clearly for any medium to large project, learning to master intellijs are one of the highest ROI that a developer can get.

Of course, it should be mixed with ideaVim.
If you're wondering, the "6M users / 405k customers" comes from the Community editions of PyCharm and IntellJ (maybe also Android Studio) and their free-for-students offer[0] ( which I would imagine is a big part of getting companies who hire college grads to license JB products).

0: https://www.jetbrains.com/student/
Google being big search engine is not as big problem as their use of their money and position to leverage into other areas. By all means allow Google to be a dominant search engine, but force them to sell stuff that is not their core business, like

YouTube, Gmail, Drive, Android, G Suite ...

Facebook should be forced to sell Instagram.
Here are some research findings related to yoga practices, what difference does it make to human system is well documented here: https://www.innerengineering.com/research
Go through it if you are interested.
Multrin: Cross-platform app that lets you organize other app windows in tabs
Absolutely. It bothers me that most people think the solution to fixing bad practices in companies is to have the government regulate it. It just gives the government more power and strangles the market. It prevents innovation IMO. We as the consumer have the power to fix it, and given time I believe we will.
I'm in Austria, so iTunes doesn't have any TV shows at all, and for movies it's hit and miss. Two films I recently looked for and didn't find are "Tank Girl" and "Waking Life", not really any special. I just checked again and apparently Tank Girl is on Amazon Prime! So maybe I'll watch that tonight :)

It's also really bad with kids shows. Netflix and Amazon have a lot of them, but the selection keeps changing, and once something disappears from the streaming catalog it's often gone for good (ie. you can't get it for download anymore either). For one show (Lego Chima) I ended up buying used DVDs because I couldn't find it anywhere to download / stream in German. I have no idea how it makes any business sense to stop selling a TV show just because it's a couple of years old.
I remember trying to figure out how to run YARN jobs in discrete cgroups with memory limits. It took us at least three working days to compile all the options and eventually discover that Cloudera didn't have new enough software versions, so we couldn't do it. I decided to write what I'd learned in Q&A format on SF (or maybe another SO site) so that in the future someone might benefit. Expensive knowledge, freely given. Promptly closed.
There is absolutely no point to moderation on climate, correct.
MovableType, from what I remember, defaults to generating static pages. It’s proprietary these days, though. wget -r on a wordpress site probably takes a bit too long? I don’t know.

Anyway, the task solved by static generators is trivial, so we get a trillion non-supported github repos all building the same kind of site (basically a Wordpress site), badly. Moving from one to another without breaking links is hard. Wordpress at least will not go away at a random moment.
>They charge phone companies billions of dollars for the use of Maps

Can you elaborate on this? Are you talking about their javascript APIs[1], or for the right to preload the app on their subcribers' phones?

[1] eg. https://developers.google.com/maps/premium/overview
Amazon Prime Video is confusing.

When I had an Amazon Prime Video subscription, almost everything I wanted to watch had to be paid for separately, yet had Prime Video labels all over the place.

It took me months before I realised that Prime Video wasn't actually getting me anything I wanted. I needed to pay outright for each season of what I wanted, and Prime Video didn't change anything about that, such as prices or what was available.

When I figured that out, I dropped the subscription. I still watch things on Amazon Prime Video, without the subscription to Amazon Prime Video. Yes, confusing.
Looks like a lot of fun. Was the word that went viral the one with the "IJ" letter? Forgive my ignorance of Dutch.
OK, I just went to my wife's computer who has never searched for Kodi or Debian in her life. Exactly the same results in Firefox private mode.
I'd never blame my child and it isn't their fault.

Before they were born I had time to work out, put in more hours at work, go to movies and out to dinner regularly, time to read...etc. I now fill all that previous time with them. I don't regret it (not one bit). It does take a while to get used to though.
That is definitely on the high end of remuneration. The median I expect is about $2K a month.
> And in this world Google has an actual monopoly that won’t be broken without government intervention.

On what? I genuinely don't see what people think google has a "monopoly" on. It's definitely the biggest player in search and ads, but it's nowhere near the only company. I wouldn't even call them "overly dominant"
The mods hand pick what is front page. HN is not a social media site, it's a curated news site.

I agree with your sentiment. Google gives away services for free and display ads.

I like this far better than the FAANG company that charges 2x the cost of competitors for medium quality products.
It depends on your goal.

Database internals books are not worth reading if you want to work on implementing real world database engines. You are better off checking out internals and documentation of various implementations and also research papers in that field. And you would be doing your own research anyway.

But if you are just starting out in programming, it's probably as good book as any to learn something new and practical about algorithms and data structures.
So how exactly did you find apps/sites to partner with? I've never heard of either of those.
I'd go so far as to say Intellij and eclipse are one of the biggest reasons for Java and python's success. Those two languages came about during an IDE revolution and it made them so much more accessible.
Agreed, so cool! And good point. Here's to finding a way to keep micro-plastics out of the ocean altogether, for the sake of marine life, humanity and the planet.
I think until now there's been quite little talk about just how wild wild west the Web is, so I like the talk about breaking up Google.

The problem is that Google can use its cross-platform cross-product cross-industry reach to have a significant uncompetitive advantage. A banal example would be Google hassling non-Chrome users to use Chrome, or a link to Gmail sitting at the corner of your Google Search screen. As far as the market goes, that's stealing, because you're getting market share not through competition, but by bypassing competition.

Google didn't become a behemoth in so many markets just because its products are good, but because it had an uncompetitive advantage, which is a cryptic way of saying that they were very big in an unregulated environment and they used that.

I'm not talking about how Google became big, which is a nicer story about a great product. I'm talking about how after it became big it became humongous.
Jetbrains products are awesome though. I used to use a heavily customized vim which was a pretty good setup, but the things a jetbrains ide can do are just much better than what my custom setup could do. I pay for a personal subscription and couldn't be happier. I will recommend everyone to atleast give their products a try. They have a free trial period.
I love jet brains but I'll say this. Their software is part of the reason I paid for 32 GB of ram on my new macbook pro.
I’ve never needed to ask a question on SO since its inception, but I have found a few answers. I guess by the time I adopt a technology it’s already at the appropriate place in the hype cycle where all of the easy questions have been asked and answered.

SO is purposefully not meant for discussions - I am okay with that. But I’ve found Reddit to be pretty good just for discussions.

On the other hand, what has saved me in the last two years from having to depend on SO or Reddit for answers as I’ve gotten deep in the weeds with AWS and all of their proprietary “locked in” goodness, is our company’s business support plan with AWS. Their live support is excellent and are batting close to 100% not just for “something is wrong” (never had an issue) but as an “easy button” when I just don’t want to waste any more time trying to figure something out.

I can imagine if you are somewhere doing anything that comes close to the edge of your company’s competency, paid support would be a godsend.

On another note: I guess that’s another reason I don’t do side projects outside of the company. I have access to resources and support.
Major differences between successful and unsuccessful people
It was! And the one that went viral includes an "ij" indeed, though it's a regular vowel sound in Dutch, similar to "oa" in English, so it occurs in many words.
Ask HN: Design and Implementation of Term Rewriting Systems
Hello!

I’m looking for resources on the design and implementation of Term Rewriting Systems. I’m particularly interested in systems for use in discrete math and computer algebra systems, but any resource is welcome.

Also, how do these systems relate to graph reduction in lazy functional languages?

Thank you!
I think you're right in a way you don't mean to be. There was room for moderates in the 90's and 00's. We have unfortunately blown our time window for a moderate response. Think of it like knowing your paper is due at the end of the semester, but not starting till a week before. You don't get to do the paper in a measured and pragmatic way anymore, you already chose not to, your only options now are a sloppy panicked rush, or failure. Yes the sloppy panicked rush may also lead to failure, but the operating margin for moderate solutions is almost entirely exhausted: https://www.ipcc.ch/site/assets/uploads/sites/2/2019/02/SPM1...

edit: yet again i'm downvoted to -2 because I dare explain the shape of the curves in plain english and then link to my source (the canonical authoritative source no less).

hacker news is swarming with climate change denalists downvoters.
It would be great if you could include alternative spellings and shorthands in the country dropdown at the start. For example, I searched for "USA" and it didn't bring up a result. Had to type "United" to find United States of America.

It would be a minor but noticeable improvement to UX, in my opinion.
If that's all AirBnB was used for, nobody would complain. But at least 90% of listings on Airbnb are for whole apartments that nobody lives in.

If people just rented out their guest room, or rented their apartment out while they're on vacation, I don't think anybody would complain.
Huh I had been wondering what happened to Skip. They were the first scooter I tried and I had a great experience.

After they stopped servicing SF, I tried Uber's red scooters and they really sucked. There was not enough torque to get up 90% of the hills in SF.

I downloaded the Spin app in frustration but on one attempt wasn't able to get a scooter.

Skip indeed seemed to be doing the best out of all these companies.
I'm also a big of of their products, and pay for a persnal subscription for Rider, ReSharper, DotMemory, DotTrace and DotCover. Rider is absolutely stuffed with features, and is way more stable and performant than Visual Studio.

I also like the way your renewal gets cheaper every year, as a kind of loyalty bonus.

I honestly had no idea they were making so much revenue - very pleased to see it though!
New Zealand just changed their requirements to 50 cigarettes which means any normal "duty-free" pack you buy isn't allowed.
I badly want to use intellij for Rust and other languages. But the issue I smash up against is that years of Vscode + my customizations has made using any other editor terribly clunky.

I can spend hours customizing the controls and UI but I still feel like someone handed me the keys to some old car made in a country that doesn't exist anymore.

This in part revealed to me the cost associated with all the editor customizations I make. Default settings are nice that way.
Taxes.

If people want clean streets, they get some benefit from it, say $1 a year per head, but it costs 0.10 cents a year to provision it, so it makes sense to provide but you have to get that 10 cents from everybody.
As one recent example, a movie with Giovanni Ribisi that was made about ten years ago (forget the title, something about buying a dog). Known actor, not terribly old movie, not available anywhere but a used DVD from Amazon. I’m not a cinephile into obscurity, but at least once or twice a year I’ll be unable to find a movie with known actor (Ribisi, Robin Wright, as two that come to mid) that, when I finally find a DVD or torrent, wasn’t a bad movie that deserves to be buried in a stack of $4 used DVDs.
I'm not sure I understand what you mean. The question I was essentially answering was 'how can we tell whether an action was "good" or not?'. Rather than looking at the intentions of the author, I think you need to look at the effects, or some proxy thereof (are people I know poorer/richer? How many people died because of this action? Or whatever else is easily measurable and pertinent)
Making Twine games is super fun and interesting. It has a mostly intuitive programming language.
Finally, an interesting paper on why fork() isn't so great. There've been many of these over they years, most of them incoherent.

Unfortunately, this is also one of those "X is bad" things, for an important X (creating new processes) that doesn't offer an alternative. I quote: "in our opinion, most uses of fork andexec would be best served by a spawn API." The authors do not go on to offer specifics. The best CS minds of the last 30 years have often said the same thing, but when pressed, offer a "spawn" that doesn't really do all that much, is flag-heavy, and causes some use cases to be difficult or impossible.

I'm going to have to write this paper off as just another rant about fork().
Duckduckgo did a lot of progress in last 2-3 years.

When I began using it DDG had bad results but results are much closer to google's results today.
Have people forgotten that there used to be search engines that did the same pre-Google?
The Manhole Artist
I didn't, they found me
Pretty much this. I do normally read the docs of whatever I'm working with first, but often they contain some ambiguous or missing inform, or assume I know something else which I may not.

Sometimes its not even the docs that suck, but the site hosting the docs. Microsoft used to be ready bad about this (they're a good but better now) and I swear it used to be impossible to find what I wanted on MSDN without a search engine. I recently also tried to build a certain gcc frontend, and the site had the strangest navigation. Top level links to each documentation section, but then you had to click two small forward and back buttons to continue reading the docs for that section. Ot took me a few minutes to figure that one out.
Amazon Prime in the U. S. has Tank Girl because it’s currently on my “rewatch soon” list. Granted, that means jack in Australia, but maybe worth a look.
I really like this book. CRAP principles are very clear and easy to follow.
JVM Garbage Collectors Benchmarks Report
Jordan Peterson "12 rules for life".
TIL that my home, Hong Kong, has been demoted to "developing"
If not for my friend who sails a lot, i would have needed to turn to the Pirate Bay to get a copy of the film The Fall with Lee Pace in it. One of the most beautiful films ever made and it’s not available to stream anywhere. Or purchase in hard copy unless I go for an $80 used copy on eBay or amazon. It’s out of print and no studio seems to be interested in putting it out there. Went through something similar for the film Hero with Jet Li, but eventually found a new old stock copy for a reasonable price. Sometimes things just aren’t legitimately available anywhere, streaming or not.
For example a server log file?
> it looks likely that new visas will be required to travel between the UK and EU from 31st Jan 2020

This is not true. Johnson's victory in the election makes it almost certain the EU withdrawal agreement will come into force, so there will be no new requirements until at least the end of 2020, due to the transition period.
In my view 90% of the Silicon Vally is either Entertainment and Advertising, or IT support for such. Uber and ABnB make for some exception.

I’m not hating, just saying we need to know where we stand in the grand scheme.
HN: HackerNews

Please don't mention anything related to software development, this upsets the hackers.
Me: I’d like some information about propane grills, please.

Google: can I interest you in page after page of algorithmically generated “review” text and Amazon affiliate links??
That's what I wrote:they aren't the root cause. My point was:They are a BAD solution and they are contributing to the problem.
The movie industry has been strongly pushing exclusivity and DRM since the introduction of the VCR.
I've got to say, this project is really gaining steam.

I hope they release a docker container for it, as that would make deployment much easier (now that they have debian packages, maybe I'll give it a shot myself).
I do the same, but it seems that more and more reddit comments are also astroturfed so my faith in them is faltering. Finding authentic recommendations at this point is extremely tiring because I have to constantly be gauging a user's sincerity.

There are too many benefits to fake reviews and few downsides. And it's easy to spam these fake comments and reviews especially if you have the budget for a dedicated marketing team.
So what is Prime Video for then, could you explain it for us that still don't get it?
Forget for a moment that a bureaucracy is involved.

If your company was bidding on a request for proposal (RFP) for a potential client, wouldn't you want to follow the customer's requirements?

Often RFP teams use failure to follow directions or specifics in a proposal submission as an informal measure of the likelihood the respondent will fail to deliver on other requirements.

I have worked for a company where I had spent 80 hours building a demo for a potential client. We did not make it to the demo phase due to a failure of our proposal writing team to address some technicality in the written proposal. I don't hold this against the client we lost; this falls on those whose jobs are solely writing and submitting technical proposals.
I used this library which also has predefined templates https://vuetifyjs.com/en/
I set my passport country to Sweden and clicked on Germany, and it said I don't need a visa for a 90-day tourist stay. But within the EU and EEA, no visa is needed even for a longer stay, under the freedom of movement laws.
They're not in Australia but offshore in Nauru and other islands.

https://g.co/kgs/Ju5EzM
That would matter less if you use the hash as a password as the comment suggests; in that case it matters what the website below in the stack uses.
I take it from your comment that a member of the general public CANNOT be verified: is that correct?
Isn't async-std interface the future of async at this point?

It seems that there's still a huge split inside the community between async-std and tokio interfaces that should be resolved ASAP.

Is there some working group to help standardizing the interfaces and upgrade tokio based apps to the standard?
Generally, there is not marine life in the drain line of a washing machine.
And quite often it is the most popular category on the site.
I think that ultimately, the difference is probably radio.

Before the internet, people consumed music without buying it all the time. People consumed movies first solely at theaters, then at home from VHS and DVD. Some movies came to TV occasionally, but it was never a guarantee for any given title.

So there was already a centralized way to pay record labels for music, and the basic idea of licensing it all to be played in a streaming format was well-established.

The movie industry, on the other hand, still wants to make you pay every time you watch, like back when it was still just theaters.
Thanks, it currently supports to digit search. Usually works for all countries but apparently not for US.
I definitely appreciate the confirmation step when browsing around sensitive UIs like my company's AWS dashboard.
That is one of my major pet peeves with SO. Moderators assuming you are asking a question for a school assignment. Most of the time I have to make my question sound like as general as possible with fake variables, so as not to expose proprietary information. So they may look like school assignment to the ignorant.
I used this in the beginning https://www.clickminded.com/
Pretty sure Apple didn't pay anything for having Google Maps in the app store. It was Google that wanted to be there.
I think Apple did want navigation, POI information and user information to use in for example Siri (and linking to locations in other apps).
It makes sense to do so, because games and streams do not compete with one another as much. Edits of someone's stream probably competes more with the stream itself.
The second question could be coming from someone that simply doesn't have enough context to lead off with that information.

Like maybe they don't realize there are different ways of interacting with servers. I wouldn't expend a great deal of effort helping someone asking a question like that, but I hope I wouldn't make a bunch of a priori assumptions about why they were asking that question instead of another one.
Oh boy. This is how I feel any time I touch a coworker's computer to try and peer program or help them out. I have so many shortcuts (Keyboard Maestro), workflows (Alfred 3), keybinding changes (Karabiner), and utility programs (Amethyst, Spectacle) on top of this IDE thing (I use intelliJ and coworkers use VSCode) that I immediately press a bunch of keys (out of muscle memory) and invariably something completely unexpected happens. It's super frustrating - but I doubt anything can be done about it other than sticking to my machine.
If other search engines had the same data available as Google, they could offer similar search results without ads. This includes the auto complete feature, and much more. No other company is in a position to ever catch up in terms of data collection and utilization.

Google has become so important for advertisers that in many cases there is no similar alternative. The percentage of users searching Google is such a high percentage, as well as the primary way people search for product X or Service Y that failing to pay Google can make or break their success.
I... would like to sign up but I can't because I don't want to use Facebook, Google or Twitter. Can I just give you my email and you send the login token per email instead of through a third party?