skysight-inc/HackerNews huggingface dataset:
If they'd just implement the reminders and grouping features in Gmail I'd be fine with this. I don't particularly care about how the UI looks. I use snoozed reminders so much and being able to unclutter my inbox with groups makes a huge difference. Doesn't seem like it would be hard to optionally include them in Gmail. Without them moving back to Gmail feels like a step backwards.
CasADi:   Build efficient optimal control software, with minimal effort
i'm old enough to remember "whoa look at linus flaming someone" at the top of slashdot.
The EU was far more worried about an excess of chargers than they were an excess of cables.
Sometimes the best approach is to do everything by registered mail, with a return confirmation.

You keep copies of everything included in each mailing, that way if it reaches court you hand everything over and your documentation does the talking.

I have found as soon as i take this approach it gets sorted straight away and is never a problem as they realise that they dont have a leg to stand on.

In another case a business always had their used cheques returned to them once processed by the bank.

When the tax office repeatedly stated a payment had not been made.. their accountant said over the phone to the tax office "thats funny because i am holding their processed check returned to them with the tax offices recieved stamp on it.." it was then magically immediately fixed.

I think its because of people not wanting to do their job within their department so they handball it when ever possible, on the smallest excuse.
Ooops, my bad.
"Only a fool thinks himself to be wise."

Learn time management. People management. Fitness. Productivity science. Read how the other people succeed.

A lot of very smart people take time to write excellent books on all of these topics. Why make the same mistakes they did? Learn to read books, and learn from the best. Adapt their lifestyles into your own.
> One thing that is true in all successful organizations over time is that for any given person, no amount of genius will make up for being an asshole.

Wouldn't Steve Jobs be a counterexample to this? And possibly Bill Gates?
> Apple promised him a purchase with indefinite storage

I do think it's terrible that these movies seem to available in both regions, but are somehow not considered equivalent. So yes, I agree, it sucks that they removed it from his account. But I'm very curious about the part of your comment I quoted.

I don't think any service provider has ever specified "indefinite storage" forever, especially across regions, but I would trust such a promise not at all.

I'm really not trying to defend Apple here, because the whole thing sucks. But as hacker-types, surely we can try to understand how intellectual property and regional licensing and the edge cases of people moving internationally are more likely to result in screw-ups than not, right?
I'd discretize it into squares and get all four orientations. You are then looking for a set of directions (forward ,turn left, turn right) where forwards are minimized that works on every square in all four orientations.

We have grammars over the alphabet {F,L,R} where "escape" accepts a word. We want the smallest accepted word contained in all grammars (only counting Forwards).

Brute force enumeration works but is exponential.

Faster is taking every place/orientation grammar where the finite state automata is the grid labeled with transitions. Then recursively merge them in pairs like mergesort. The resulting big automata you then want the shortest path to an escape state (only counting Forwards).
"This cable will not charge Nexus 5X, Moto Z, OnePlus 3/3T, Huawei Mate 9, Helio X20/X25, or MacBook Pro 87W at full speed."

Guess I'm still going to Apple.
A good starting point is chapters 9 & 10 from [0]. Then many of the same topics are re-discussed in the second half of the book through the lens of Bayesian hierarchical models.

Another good reference is [1]. Rubin invented a lot of observational data methods for correcting to measure causal effect. Imbens is also a prolific author in this area, and even just googling for propensity model papers from Imbens will leads to many methods and many other papers.

[0]: < http://www.stat.columbia.edu/~gelman/arm/ >

[1]: < https://www.amazon.com/Causal-Inference-Statistics-Biomedica... >
What was once a strength (albeit with a major drawback) is now no longer needed as Linux is in a much different place than it was when Linus had to forge headon. Not many can make this switch. I give him plenty of credit.
I was going to attack the same line you quoted.

That word you are looking for is "articulation" and of course it's part of traditional notation as is everything else, which is the point you are making.

Every second spent on this type of project should be spent practicing. Music notation is hard because theory is complicated and performance is nuanced.

People won't admit it... but we're all looking for shortcuts. Learn music the hard way. Or just be an amateur, but don't try to reinvent the kick-ass wheel we've been using for millennia.
DoJ has a good review.

https://www.justice.gov/atr/competition-and-monopoly-single-...
He's tired. He's older. He mentioned several times how he's been developing this for decades. Maybe he is making a balance, maybe he thinks that the Kernel does not really need him so badly now, and he can take a time out.
I suspect there are enough markets where Comcast is not a monopoly as to affect their business. I've been switching between them and Verizon FiOS to get promotional rates. I used to prefer FiOS customer service, but in the past few years, that has reversed. Additionally, when I switch away from Comcast, they credit me a pro-rated billing period. But Verizon just kept the change.
World of difference from majoring in political science.
'The best time to plant a tree is 20 years ago. The second best time is now.'
When I was younger and worked for an ISP, I had one of the VoiceOps people assign me a VoIP number.

The number is (08) 80087355 - which is leetspeak for oh eight boobless.

Anyway, one year I discovered calling Centrelink from that number bumps me to the top of the phone queue because the 08 8008 part of the phone number is assigned to a geographic region in remote NSW, even though the area code is 08 because it's closer to Adelaide than Sydney (Broken Hill's area code is also 08).

It looks like this still works, as per the Centrelink website here:

https://www.humanservices.gov.au/individuals/subjects/paymen...

Our rural call centres answer calls from dedicated catchment areas in rural Queensland and South Australia. Our specialist staff answer all calls made to Centrelink 13 numbers from the catchment areas. They also answer all calls made to the Farmers Assistance hotline from anywhere in Australia.

Bonus points for being able to keep this number on a $0 per month pay what you use plan.
See my response to the other comment, < https://news.ycombinator.com/item?id=18002046 >.
A noncommercial license like Prosperity differs from a permissive license like MIT only in withholding permission for unlimited, free commercial use. If that delta holds your value system, then your value system amounts to business welfare, financed largely by individual sacrifices. That's a strange kind of martyrdom.

There's no question that useful software that costs for commercial use produces less economy-wide benefit than useful software that's always free of charge. But the question isn't how much potential benefit open source can pump out, but rather how much benefit open source can pump out for the cost, and how that cost gets allocated.

I've never held Prosperity, or its predecessor, out as open source licenses in the traditional sense. Others have called them so, even after I pointed out my own opinion.

I have and do hold Parity out as an open source license. If copyleft licenses don't meet your definition of open source, or only copyleft licenses with known, practical software-freedom vulnerabilities, I can certainly square that with your view of open source's purpose. But I can't square it with open source's history, or with most stacks we call "open source".
Learn about data, data science, statistics with a guise towards Machine Learning. Learning about data and statistics will give you a skill in numeracy that will be very distinguishing compared to the majority of developers (as evidenced by the other comments). This will help you quantify your accomplishments, ask thoughtful questions about the numbers others (including product managers) use to make decisions and give a fresh perspective to arguments that often lack credible facts.

Taking this further, with more math, can lead to proficiency in Machine Learning, which I think is the most important change in computer science in the last ten years, and likely very important to all developers in the next ten.

Background: started three companies (IPO, sale to a big tech company, crash'n'burn), CS degree from an Ivy, now working at Google.
You're confusing the scientific rational doubt, and projected, induced, completely irrational and paranoid feeling of doubtful fear and uncertainty that distorts peoples' perception and makes them panic and act irrational, and do and accept things and compromises they otherwise never would. The fear of the dark, if you will. And whether it's government pushing for more control, or pimps/mafia/molesters pushing their victims into submission, the mechanisms are very similar, they always first sell you the fear and then offer the protection from it (if you do as told, of course).
If you continue to post uncivil and/or unsubstantive comments to HN, we're going to have to ban you. We've already asked you several times not to do that. Could you please review https://news.ycombinator.com/newsguidelines.html and fix it going forward?
Flying is truly awful, no matter your size or shape. It's a cute demo and I get that it might be trying to help folks relax who have flight anxiety. However I think a lot of flying anxiety could be cured if airlines treated us, you know, like humans instead of revenue generating cattle.
Metaphors Are Us (2013)
I've always assumed that when he really goes after someone it was him blowing off steam to maintain his own mental health rather than trying to put on a show. He's been managing a pile of complexity for over two decades that would have crushed most of us long ago. If it has been even moderately for show then sure, he should work on dialing it back (just a bit... i.e. short of getting personal).
Eddie Woo is awesome
The water doesn't have much if any nutritional benefit, but if you like the flavor, you can add it to other things.

Depending, it may be good in smoothies or to steep tea in, to add to rice, oats, or quinoa, or as part of the stock liquid when cooking.
Oh that’s the other part. With the structured logging framework that I’m most familiar with - Serilog - if you send it to an output source like Mongo or ElasticSearch it logs documents. So you can query your logs. With Serilog you can tell it to always add certain attributes and you can tell it to add attributes with a certain context - like everything in a “using” block.

As far as the logs that you don’t control, if they are in some sort of standardized format even if it is just a line of text, you can use logstash to create a structure around it.

Of course with ElasticSearch, you have a powerful reporting app in Kibana. If you are on AWS you can send logs to CloudWatch and use the alerting, metric framework that’s built in.
This. My inbox is a to-do list for things I need to act on. Anything else gets snoozed until it needs to be done. Having non-email to-do items here too worked so well for me. Having to move back to a separate to-do list will be a pain. If they could just add this I'll happily return to Gmail.
arkades is right, and there's a site guideline that specifically addresses this: Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. It's easily plausible that one of blazespin's concerns is not to humiliate people in front of their peers.

This is a problem with this sort of discussion generally: a lot of the people arguing for others not to treat each other badly, treat others very badly indeed whilst arguing it.

https://news.ycombinator.com/newsguidelines.html
Water Droplets Don’t Just Hover on a Hot Pan – They Roll
I’m confused: how is “walk-straight ahead” not an obvious best solution? It’s minimum performance is null, average performance, half of the diameter of any (compact) shape, and worst, the diameter. Is the problem implicitly with infinite distance, multiple dimention or fractal?
That makes sense.

I also hate personal confrontation. In the past, I have even had my own sub-ordinates (I hate that word - but they were the engineers that reported to me) confront me, leaving me, from time-to-time to go home and vomit and not sleep. So - yes - I understand.

I've never looked at a rebuke from Linus in the same way. I don't know why. I guess I'll go think about that...

EDIT: After (very) short reflection, I think (for me) the difference is whether it is a close personal person rebuking me, vs. some sort of distant character....
>The most ironic aspect is you no longer have access to your pinned emails, bundles and such.

Luckily, GDPR and it's predecessor allows you to download that data... Getting it into another program is a bigger challenge, of course.
Tab is a leaky abstraction and cannot be sight read. It exists because guitarists are notoriously lazy and/or because guitar is easy. That there is no piano tab, and that nearly all pianists become literate should be telling.
Then show me a QMK GUI configurator that is as intuitive and powerful as Agent.
I wouldn't call this a conspiracy, unless I start selling T-shirts. My hypothesis wasn't even that people are trying to make linux worse. Just that it will be.

Intel pushed a half-baked mitigation for meltdown that Linus was real mean about recently. Linus made a remark that stuck out to me.. Something about calling into question the motives of Intel that would even push it. (Conspiracy time) it smelled to me like management pushing for a PR clot before their fix was ready.

Working well for your interests doesn't necessarily mean working well for everyone's. Linus's motives are transparent and for the Kernel.

Linux ran by a commission representing large companies would definitely behave differently...
You have ONE study, and a cohort one at that.
Ask HN: Feasibility of a GPU Service Provider?
Say you go out and buy a couple 2080's and put them into an Ubuntu Server box. Could you use that box to provide GPU support to local computers (either in the same building or other buildings on the same ISP within, say, a mile)?

Of course, NVIDEA offers gaming as a service so it must be possible on some level (https://www.nvidia.com/object/cloud-gaming.html).

Is there software you could install on a Windows machine that would act like a GPU driver but would really send those commands over the internet to your local GSP (GPU Service Provider)?

You could use the same service for other things:

- crypto (of course)

- cracking hashes

- training machine learning models (probably won't get much use of that in your neighborhood, though).

Maybe you could even charge by the number of calculations done. Only five months ago someone created a related post on reddit about vectordash (https://www.reddit.com/r/gpumining/comments/86ofw2/rent_out_your_gpu_compute_to_ai_researchers_and/) but that was more for AI than gaming.

Now seems like the right time for this, right? GPU prices are crazy and GPUs are in demand for all sorts of applications. So if you could get the same performance by renting a 2080 for you know, $20 a month why wouldn't you?

Is there any existing software for this type of application?
oh yeah, I know! I tried using it but it was pretty buggy last time I tried (this was ~1/2 years ago), so I stopped using it.

I'm sure it's better now, but I don't keep that much stuff around so I don't think I'm too inefficient in not using it
FWIW, the answer to the question in the article (why you always end up with the same set of coins if you don't use quarters) is "Diamond Lemma"[1]. The author does mention it in a footnote, but doesn't go into details.

As a mathematician, I love the concept. I love New Math, too, however -- and yet it was not a success.

Why? I believe that the article is asking the wrong question: will the kids get it?

The question to ask is: will the teachers get it?

Given that the answer is hidden in the footnote (and is usually not taught unless you're getting a graduate degree), I am pessimistic about that.

I've spent a long time thinking about how we can teach math better (and quite a bit teaching it, mostly as a TA, but also as an instructor and tutor). I think the answer is -- we have to raise a new generation of teachers before even trying to change the curriculum or methods in any way. As it stands, a college degree in math education (or even mathematics, sadly) does not prepare someone to be able to do mathematics. And that's the thing that needs to change first.

[1]https://en.m.wikipedia.org/wiki/Newman%27s_lemma#Diamond_lem...
<quote> ... a long-winded way to get to the somewhat
painful personal admission that hey, I need to change some of my behavior, and I want to apologize to the people that my personal behavior hurt and possibly drove away from kernel development entirely</quote>

been a long time coming.
The major mistake proponents of these licenses make is IMHO trying to get to close to "Open Source" with their labeling/marketing. We have a quite clear definition of what "Open Source" means, if your license is not compatible to it and you market it as if it is this will dominate discussions of your license and people will assume bad intentions. Don't call people insisting on the meaning names.

Find a new term and establish it instead of trying to capitalize on an existing one that means something else.

"Source available" is a fine term (if there's a more specific one for a specific license, present that), and gets the entire meaning debate out of the way, so one can discuss the merits of the license as it is, not purely in comparison to something it somewhat pretends to be.

(this specific blog post is better at this than other messaging, but this at least partially explains why the climate is so unfriendly)
I don't find those arguments persuasive. I do want people to be able to discuss controversial things. But I just don't believe in grand conspiracies behind the scenes. Just because there are lots of liberals in social science doesn't mean academia is some unfair conspiracy overall. Let me give a couple of examples that I think run into your examples, one in physics, one in business.

A ton of modern physics theoretical research is basically math that doesn't lead to verifiable results, and this leads to very valid questions about wasting our time. I think an argument can be made that physics in this area, in a sense rejects empiricism, because people's entire careers are going to be research that can't be verified. Of course people strongly want verifiable claims. I understand that not all of physics is that way. Would you ban this area for public funding? Probably not, but I think it fits in your description.
I'd venture that business colleges have a lot more conservatives than liberals and it's probably hard to be a far leftist in business (like a practicing communist!). Just to continue on business, I think a lot research about the effectiveness of different management strategies is not well supported by research, it's more anecdotal - the research about the genius of Jack Welch, well we didn't know about all that unaccounted for financial management that lead to GE being removed from the DOW. That's not to say there there is not good scholarship, in business, I think there is.

I do strongly support verifiable research, but some areas are hard to directly verify, especially dealing with humans and society, leading to hard to evaluate results. Writings about literature, analyzing texts in different ways, well that's all pretty subjective.
No, actually (at least, IMHO). Jobs organization failed more than once due to him?

Remember that Apple (etc) have been troubled at many times through their history with him at the helm :)

Gates also eventually left in part because he was doing more harm than good (and has tried to turn himself into a more reasonable person it seems).

Compare that to the organization that MS is now under a leader who isn't an asshole?

I'm certainly not going to claim you can't make a successful company or organization by being a brilliant asshole.
I'm only claiming it eventually catches up with you, and over time, ends up a net negative for the organization.
> If the goal is to restrict which people use your software, then the solution is and always has been a proprietary license.

The goal is never to restrict which people use the software. The goal is to create incentives for individuals to actually make that software, make a living on that software, spend a few decades doing it. Which today requires certain protections from powerful organizations and overall from predatory capitalist incentives. Maybe a license forcing so much opening up, that makes businesses never consider allowing it if they are competing on software in any way, because too much openness makes competing on software automatically unviable, allowing competition to freely enter the market. Parity license seems a bit better at this than AGPL, but still doesn't feel like it's attacking the right issues.
> If you want to argue about the level of taxation, the right size of government, regulations on business, whether public or private is the most efficient way to accomplish a goal, or myriad other areas of policy like those, go right ahead.

You list a bunch of self-approved topics that you believe are okay to talk about. How about arguing for stricter immigration laws, anti-abortion, anti-gay marriage, skepticism on transgender orthodoxy, skepticism about the existence of a female wage gap, anti affirmative action, anti gun control, climate change skepticism etc. Are those not okay?

These are common political opinions that are routinely twisted into "questioning other's right to exist", or denial of basic human rights/decency, or sexist/racist, while they are usually no such thing. Even partial disagreement and skepticism is often elevated to that level. This is the real abuse and weaponization here. I think you'd need to look long and hard to find anyone in open source projects seriously advocating for some group to be wiped off the face of the earth.

Yet these topics are likely to make some uncomfortable, or depending on the person, even unwelcome. So are they verboten? Remember this CoC explicitly states it applies both inside and outside project spaces. Ask Brendan Eich how that turned out.

The problem, put simply, is that very often people will take someone's political opinion, even nuanced disagreement, as a personal attack, regardless of the actual interpersonal relationship. This is why either "political opinion" needs to be protected, or the whole thing scrapped. IMO preferably the latter, then we can once again realize that everybody has opinions that others might consider outrageously wrong and stupid, but can still work together/be friends as long as people are not actively dicks to each other.