skysight-inc/HackerNews huggingface dataset:
> Sometimes, amazingly, the more general problem is easier to solve, perhaps because fewer irrelevant details stand in the way.

True, and that's why we like to generalize things. It's usually easier to prove a mathematical object belongs to another class of structure which has certain properties than to prove the object itself has all those properties.

Of course as you've noted it's not always like that at all. It's significantly easier to prove many things about finite-dimensional vector spaces over fields versus infinite-dimensional modules over rings.

Solving mathematical problems is a lot like working a sponge. It's often useful to alternate between expanding and contracting the scope of your problem.
Well, of course. Problem is that, apparently, we're doing the best we can.
It's a shame to see slack mishandle the Screenhero acquisition.

I've been a happy Tuple (https://tuple.app) customer since they released their freelancer plan a few weeks back, and they're knocking it out of the park. If you were using slack calls for pair programming (or any other tool), then I highly recommend checking them out.
I'm free to choose whether or not I do business with a corporation selling sugary drinks which I already know to be bad for me, whose power to modify my behavior rests on its ability to convince they can improve my enjoyment of life.

I'm much less free to choose whether I comply with the government, whose power to modify behavior is ultimately derived from the threat of men with guns coming to lock me in a concrete cell.

Advertising is memetic pollution but I'll still take it any day, every time over government compulsion; the equivocation of the two is ludicrous.
Aren't you conflating actin (a protein) with actin filaments (a polymer/superstructure made up of many individual actin units)?
Huawei already does this in China, where Google services are blocked.

Their problem isn't implementing these things. Their problem is convincing non-Chinese developers to port their apps to Huawei's ecosystem.
Butter can make cheap, nutrient dense food palatable.
You still need fiber to feel satiated and have a healthy GI tract. Oats, salad, and other vegetables are good options.
This raises a question in my mind. 100 milliseconds seems really short, but I could be wrong. But rather than guessing, you could optimize the time interval. Find t, the time interval, such that dF/dt = 0, where F is some function that...

That what? That reflects the efficiency of the market? That minimizes some measure of the turbulence in the market? That minimizes the incentive for high-frequency trading? Some combination of all of the above? What's the right measure of success for this?
Yep - already use it and love it. The problem with Terminator is opening it on same monitor that my cursor is on with a keyboard shortcut key.

Guake is (I think) the only one that gets that right without custom scripting. Been researching alternative solutions all morning and I think I'm going to have to hammer something custom out in bash with xdotool, xrandr, PID lookups, etc.

looks down the rabbit hole - hold my beer, I'm goin' in.
It'd be nice to see data for vegetables, too. For instance, broccoli is relatively high in protein (and definitely micronutrients), but is rather cost ineffective. It'd also be fun to see how absurdly inefficient lettuce is.

Also, soybeans are more efficient than lentils and white beans are more versatile (e.g., https://github.com/nhynes/pbean)
Do not tell your expected salary. Let a company make an offer first
Berners-Lee's first site (1992)
Paper Submissions Break NeurIPS 2019 Paper Submission System
The thing I love most about older computing technology is that it wasn't ridiculously over complicated yet. In order processors with fixed instruction sets, no MMUs, no caches, no 500 layers of abstraction between you and what you're actually trying to accomplish. You know, stuff you could form a solid mental model of and reason about. Part of me really wants to go back to that world, even if it does mean a huge loss of performance.
Patent. H.265 is practically unusable until patents are expired. Because there are multiple major patent pool holders . It's just impossible to safely use for most of us.
Samsung AI Can Turn a Single Portrait into a Realistic Talking Head
I didn't mean you were the one implying an elementary proof is unobtainable, that was directed at some of the other replies to your comment like "oh really?". I agree that it's enlightening to give these things a try.
Too bad there's no /humans.txt
This is where heath advice breaks down. A heathy snack for a 6’4” serious power lifter looks very different from what the average American should be eating.
I can empathise with his point of view. Sometimes all going the extra mile gets you is a shrug of the shoulders or worse, grief.

If tv didn't exist, people would be more impressed with you for inventing blurry 405 line b&w than high definition colour.

The latter makes it look easy, the former gives them some inkling that it's a technically difficult task.

They'll be more grateful and impressed as a consequence.
They even do a background check. This is crazy interesting.
You were able to do those hacks because it was open to you at run time. You COULD fix it. Now if it breaks and there's no fix, you may as well have used boxed software because your options are only to wait for a fix or find something else. Honestly, I'd have very little problem with systemd if it was not written in a compiled language. Losing that flexibility sucks.

In another comment I noted that this is obviously a divide between the hobbyists and the 9-5 linux users. I am both, so this is particularly sucky.
"Better" is entirely subjective. If you are a graphic designer, sure. But that isn't the target market here. Making any one of the figures that are showcased in Illustrator would take even an experienced graphic designer a heck of a lot longer and you would end up paying a lot more to hire a graphic designer to do your graphics than if you just utilized this tool for your medical research graphics.
Well TARP was needed but there should have been systems in place to prevent it being needed (not allowing firms to grow to "too big to fail")
Isn't Everest kind of the same? The trails to the various base camps are less crowded since there's less severe weather to contend with so people can spread out more, but when the conditions are right, everyone makes a break for the summit at the same time.

If you skip the cables you still have experienced 99% of one of this country's most beautiful hikes.

If you skip the Everest summit, you've still experienced 99% of one of the worlds most difficult (yet still approachable) climbs. But just like Half Dome, most people go there to summit, not to do a scenic hike.

The view from the top of Half Dome is spectacular. I'm glad I went to the top, but I don't think I'd attempt it again due to the crowds.
As someone who sells "offline" software, I can tell you customers expect you to be 100% up to date on everything. New Windows feature? Howcome you're not using it!

And then they also want to use it on Windows 2K :)
Or use Shamir's Secret Sharing to split your key/password up between friends at the outset: https://en.wikipedia.org/wiki/Shamir%27s_Secret_Sharing
Agree that the install process is convoluted. Like someone else noted, if one's not signatory to Google's partnership, there are ways to remove most, if not all, of the friction.
The only thing that is currently logically centralised is the pki server. And that is only to guarantee unique usernames during sign-up, and its data is mirrored on other nodes.

You can self host, and then your own node is responsible for storing your data (which could be a machine in your house, or eventually maybe even your phone).
No risk, no reward. Internalize that.

I heard a story that that before Stan Lee had his success, he was ready to quit. He thought he'd take crazy risks since he was on his way out anyways. Well .. I did the same. Took some massive career risk, reach out to execs to show them my work, kept promoting my most impactful (and non-conformative) tech ideas. One of the executives who took me under his wing said I should just act 2-3 levels above my current level. I did it.. ended up getting a series of massive promotions without asking for them. Ended up doing this without leaving my org too.

You seem like a nice big brother/big sister dev. I'd love to have someone like you to work with. I have been there where I supported others and got zero recognition for it. It sucks. Key lesson from me .. no risk, no reward. Best of luck.
This must be the ultimate checklist tourism site.
I'm 39 was diagnosed w/ ADD last year -- best things that work are Vyvanse 50mg, get decent sleep, and exercise.
I highly recommend Frances Moore Lappe's book Diet for a Small Planet to anybody who's interested in eating inexpensive, nutritious food.
I did not read your mind. I summarized your actions. I never assumed intent or motivation. You are the one who did those things. Projection.

Perhaps that assumption you made that you apparently don't believe was a completely made up figment of your imagination, which is what my comment illustrates.
There is a sad new breed of people who think their pets, are more worthy of love than their neighbor.

Love a human. The lonely one may be you.
Would you rather end up a middle class retiree that played it safe, or die an entrepreneur who worked on this they were passionate about regardless of the financial outcome? Personally, I’d rather die broke with a life full of adventures that sometimes payed out and sometimes didn’t, rather than comfortably numb in a retirement home on social security.
> A third, less known issue is that fruit now adays has been so domesticated that it really has very little nutritional value

It's not healthy to eat whole fruit (like bananas and apples) from the local grocery store?

source?
Don’t quit. It seems you have an entrepreneurial spirit.
To me you sound quite successful. There is a difference between succeeding and winning. Coach John Wooden
said it best. You might enjoy his talk. [1]

You were speaking about your friends making 6 figures. Examine how success would look like for you? Is it money? Running your own company and being an entrepreneur is way more than making money. Along the way you will acquire a lot of unique stories and experiences. They will be very different to your friends stories since they are most likely on a low risk, capped opportunity environment.

30 is still very young. You have many choices and paths still ahead of you. Very exciting. I guess this it what makes life beautiful. I wish you all the best.

[1]
https://www.ted.com/talks/john_wooden_on_the_difference_betw...
Agree on all counts except the sunflower oil. In general, avoid seed/vegetable oils, especially if they are used in high-heat cooking as in this example.

Vegetable/seed oils are not whole foods or naturally stable. They are modern frankenfoods made from leftover agri-waste via industrial chemical processes. Under high heat these oils become highly oxidated and not the kind of stuff you want your body to deal with.
Learned this trick long ago. Used this to clearly see whether a company values the job to be done and how it treats people. Just let the company make an offer and it will be a good ground for further negotiations. The number states pretty obviously what the company is about. If it tries to just use you and squeeze the money, maybe this is not a company to work for. it doesn't value people and results of their job.
It’s common to say junk mail subsidizes normal mail. I don’t know if it’s true, but it makes sense.
It's not. But it's entirely orthogonal to this being an application vs. a Service as a Software Substitute.
> so that THEY had control over mobile eyeballs.

I am getting ready to leave the commercial smartphone world entirely, in large part to escape Android. I want to escape Android primarily (but not only) because of the very thing you said here.

Google is making it harder and harder to use Android devices in a secure way, and for me, the cost/benefit of using it became too high a while back.
Plasma physics I guess, plus magneto hydrodynamics, plus GR for really heavy stars.
Perhaps I'm not being clear. "Tracking people involuntarily" might be bad. "Tracking people unnecessarily" might be bad. But they will be bad because they are involuntary and unnecessary, not because they are tracking people.
Plug and forget, and one day realize your data is lost?

That's the thing I really can't wrap my mind around with these kind of solutions: how can they be advocated while not offering a good way to be reliable? That's doing a disservice to the other good parts like the better privacy.
They may be less nutrient dense, but mostly vegetarian diets are still recommended for longevity by dieticians

Also, I was under the impression that the vast majority of lectins are removed during preparation/cooking of plant foods
Lock-in through privileges in access to infrastructure, control via default services, "system as a service" etc means OSS licences no longer provide much of a guarantee towards the ownership and control of your own software and hardware.

But this has been the case of a long time already.

Maybe a consortium of China-backed companies (Huawei, Xiaomi, OnePlus, etc) could create a viable fork of Android and/or put enough weight behind an alternative app store that it could be a viable alternative for the mainstream (say, F-Droid, Aptoide, etc).

Thing is, on such short notice they will struggle and it doesn't seem like they have preemptively prepared to a full-blown switch of OS/ecosystem AND also an architecture switch (British ARM also joining the US sanctions).
> Eating only white bread will cost you about $200 dollars a year in grocery bills but thousands of dollars of medical bills when you get Scurvy! Eat diverse foods for your health and sanity

This footnote should be the headline. Yes, you can eat calorie-dense crap and survive, but your health will suffer.
Mac Toolbar Labels and Accessibility
Shit on the planet and it will shit right back on all of us.
I hadn't really considered climbing Everest seriously, but now I know for sure that I won't. Waiting in line is bad enough at sea level
High energy physics, yes.
That's why there is https://en.wikipedia.org/wiki/Right_to_explanation
US foreign policy doesn't change on a whim as some people like to make it out to be. The economic dispute with China has been in the making for decades at this point.
This seems to be coming up a lot lately, is it really so important?
GDPR makes it easier to get your data, but that doesn’t mean you understand it
I wonder how common this is. Don't many places log usernames? And isn't it extremely common to paste/type a password into the username field?
The real question is why.

First, consider that nobody can be deprived of their nationality. They would still be UK citizens no matter what country owns the place.

Now Gibraltar lives mostly on smuggling and money laundering, with a little tourism and the military. The military facilities are no longer very useful for the British.

So what would they do there? There are more companies than inhabitants. Once the tax haven status disappears, all this income goes elsewhere. No more turning a blind eye for smuggling. Real state would suffer a big hit too.

No wonder they want their town to stay British. But they don't have a say really. Not because we say so, but the UK government. Taking that kind of referenda seriously would be so silly as voting if... oh, wait!
As is with all things, once you start getting down to the details most our mental models are just that - mental models.

I am guessing other people have downvoted you for adopting an ignorantly confident tone on something you are not a specialist for - this is probably a bit harsh but perhaps this can be a friendly reminder to keep an open mind about these things.

Yes, Chemistry is effectively the study of electrons, but nature has been shown to be isotopically sensitive. Moreover, I have heard of chemistry on radioactive chemicals being a nightmare to reproduce because there are certain reactions where there are competing reaction pathways which are kinetically controlled and so isotopic interactions can wreak havoc on your products.
At 5:03 [1] he talks about how the laser links give good connectivity east-west but not as good north-south.

[1] https://youtu.be/QEIUdMiColU?t=303
There will be good AI-generated art that moves and connects with people and there will be bad AI-generated art that does nothing. This is the same as the humans that produce it today. It shouldn't matter how easy or how hard it is to produce or whether it has a human touch.

Personally, most computer generated art I see doesn't do anything for me besides act as surface-level eye candy, but I do think it's possible and VR might be a way to connect.
High speed lines can have steeper profiles than normal lines because the greater kinetic energy and loco power makes them less troubled by slopes. Eg this compares the profiles of the old Paris-Lyon route with LGV Sud-Est:

http://www.railfaneurope.net/tgv/images/misc/profilln1.jpg
The whole point of the network is to move the data through space because light moves faster in space than through a fiber optic cable, so I'm pretty sure they are gonna try to get it as close to the destination as possible
Both Amazon and Microsoft have essentially failed in the mainstream mobile market. I can see why they don't want to lose money.
> You're going to use that OS?

I would. Nothing in that list is indispensable to me.
What does a carefully chosen straw man IQ question (may never have appeared in an IQ test in history, afaik) have to do with the fact that no sub saharan african society had developed the wheel before colonialism?
Yeah, the narrative on a lot of these stories "Google bans Huawei from Android", "Microsoft drops Huawei laptop from store", etc. are kinda silly, as the headlines suggest these companies had anything to do with it. They're following the law.
It doesnt appear to be a challenge any longer, with that many people summiting each year I don't see this as a formidable accomplishment. Check out Alex Honnold for a truly impressive set of feats.
Happy story, but I'm also supremely jealous. The thought of retiring after only 35 years of work! That's the outstanding accomplishment here. Either he has a great pension (remember those?) or has been a terrific, disciplined saver over those years. My Boomer parents all had generous pensions and they also retired pretty early. Us younger folks are stuck with crappy 401(k)s that place our futures in the hands of Wall Street and the stock market and other "figure it out yourself" investment vehicles. I feel like this is another ladder that's been pulled up after that generation reached the top.
I'm not familiar with that particular paper, but I'm aware of a similar line of attack from a decade or so ago. Off the top of my head I can tell you that we know Riemann is provably false if it is false[1]. I'm not aware of any comparable result for the affirmative, but personally I'm a bit skeptical of the undecidability argument.

That being said, it would be kind of narratively satisfying if Riemann is undecidable. There are many novel theorems from the past two decades which are conditionally true assuming Riemann is true. Riemann itself has become a useful technique for conditionally proving new theorem. If Riemann is undecidable, it would imply a great deal of mathematics has been developed which compartmentalizes the undecidability of other theorems.
______________________

1. https://mathoverflow.net/questions/79685/can-the-riemann-hyp...
I will invoke the Peter Principal [1], but for businesses.

These now big corporations were really good at something...so good that they beat the competitors, grew their market share, expanded their head count, etc.

However, operating at a higher and higher scale (or with more modern technology) brings new challenges that weren't part of the game before. Ones that they are not necessarily good at. Eventually they might become great enough to threaten the company itself (AOL, AT&T, Yahoo, etc.)

The inefficiencies you see are characteristics that accrued due to the level of success and exposure to new challenges. The inefficiencies are not characteristics that got them to that success.

[1] https://en.wikipedia.org/wiki/Peter_principle
Deluxe paint for the Amiga.... I still have a copy of that. They are the classic versions.
Visual Complex Analysis by Tristan Needham is an incredibly approachable textbook on the subject.
Ok, I argue then that all tracking of people is unnecessary.
I'm not interested in Belgian cable: old shows, interrupted with commercials, and not on demand. The world has moved on.

But it seems the content owners haven't moved on, and so there is no legal way for me to get HBO. So even signing up is already the problem. I wish I had the problem of having 15 different services.
There is so much wrong with your post that I don't even know where to begin.

> Rice, lentils, beans, all are much less nutrient dense than most animal foods.

Plant foods are vastly more nutritious than animal sources. Where is the fiber in animal "food", for example? Or the vast array of phytochemicals, polyphenols/flavonoids, etc.? Also, the WHO has recently pointed out that processed/red meat is carcinogenic. [0]

> This is why animal foods are so hard to beat for nutrient density.

I don't think you understand what "nutrient density" means. Please take a look at what Joel Fhurman, MD, has to say on the matter[1].

Curious, what is your background? It doesn't seem to be in nutrition. This is dangerous pseudoscience that you're spreading.

0. https://www.who.int/features/qa/cancer-red-meat/en/

1. https://www.drfuhrman.com/get-started/eat-to-live-blog/88/nu...
I'm always perceiving this tunnels initiative as a testing ground for tech which could be potentially used on Mars mission. Let's be real, for commuting purposes in big cities it will be terribly inefficient and it makes almost no sense at all.
> Despite a mere 4Mhz speed, all the Game Boy games are displayed in constant 60fps. Take that PS4 Pro and Xbox One X!

My favorite line from the post.
The article observes that people tend to ignore facts when it threatens their identity. Therefore, it seems like the way to change people's minds is to proactively find ways to remove the threats to their worldview and/or helping them to find other worldviews that meet their needs.

That's, for example, the issue I have with Richard Dawkins. His job is supposed to be promoting science, but by actively using it as a weapon to try to attack people's worldview he makes people more likely to reject science.
Well a bubble is an imagined abstraction. Like most abstractions, it doesn't actually exist. Its just a way to simplify things. Also, there isn't a clear definition of it either, making things even more muddy.

>HN, while being above average, collectively gets many, many things wrong.

That is to be expected. I mean we have programmers opining on quantum physics, bio-chemistry, economics, sociology, and whatever else hits the front page. I don't know of an online community that restricts their opinions to their own domains.
Potatoes are a complete, if poor, protein source. You'll live. For a long while at least.
Thats almost how I feel about using raspberry pis as servers in general. Arent I better off with 1 computer, running the free Citrix Xen, that I can run ALL my servers on, instead of a closet full of raspberry pis to manage.

Just because you can...

Is this thing pronounced purge os? Even if its not supposed to be..
Yes, he needs a few clones of himself to help run the show.

(Or at least really good impersonators.)