skysight-inc/HackerNews huggingface dataset:
Some theoretical physicist (Aaronson?) once quipped something like, "If physicists had discovered P vs. NP, then they'd have said P != NP and given a Nobel for it. And then if it turned out P = NP, then they'd give another Nobel."

Another, more important reason is that we know that the Collatz Conjecture is a single slice of a Turing-complete question about dynamical systems. Trying to find a complete proof expands our knowledge about the bridge between dynamical systems and the natural numbers. Such explorations were essential to founding modern physics in terms of dynamics and conservation laws.
You can spin that both ways - a company Delta sized may want to partner with a company who have track record in providing support and services to a Delta sized firm, vs a pilot's side project... For Delta, long term support they can count on for years will surely matter.

Especially for "role based chat", there are many mature enterprise offerings in that space already. It's arguably only pertinent to evaluate all options aside from the single one presented by an employee trying to sell a side project.
Pardon my ignorance, but doesn't Google/Apple have the ability to examine compiled code as hosted on their servers? This implies Google/Apple themselves can perform static and dynamic analysis at their leisure. There is therefore no concept of "remove just before" or otherwise a form of slight-of-hand.

Are we still operating under the illusion that Google/Apple have no capability for having suitable tooling around this? I find it difficult to believe. Especially for finding unofficial api use and similar shenanigans.
Fairing recovery on Felcon 9 is not perfect. Rumor was that alone was something like $5M per launch flushed.
This is very slick and well executed. I especially appreciate the thought that went into data transfer (making it opt in, otherwise stays client side). I have a CFA and have been in finance for a while and have maintained a spreadsheet but honestly this does it better so I will use and support you. I wish more people would take a long view with their financial wellness, maybe I can convince a few friends to see the impact of their debt binges :)

On the UI side there are a few odd things like trying to paste a number that has decimal points makes it so nothing gets pasted in, the colors on some of the graphs are hard to read (especially for people with color vision deficiencies), etc. As I use it I will try to give more specific feedback. Can't wait to dig in further.
A great place to practice assertiveness is at home.

If an unsolicited person knocks on your door, to sell you a product or a religion, here’s your chance. It’s your sandbox. Assert your right to privacy.

Same if you get junk mail in your mailbox that prominently displays a sign “NO JUNK MAIL”. Call them. Ask to speak to the person who put illegal advertising in your mailbox. When they blame it on the deliverer, say “Do you realise you are legally responsible for any illegal action you pay someone else to perform?”

Awkward questions are a great way to be assertive. You never have to be rude - just persist with questions that have revealing answers.
Gave up on the shared folder thing and contented myself with the whole toolchain being in the inner system.
> I’ve run into a lot of people where that is decidedly untrue; they did not have the best intentions in mind.

The manipulative nature of "NVC" is precisely one of my triggers for assuming that someone does not have best intentions in mind. They're out to get something for themselves, and I'm being hoodwinked into agreeing to it.
Don't forget the most out of touch to the struggles of the majority of people.

Makes me think of Gwyneth Paltrow doing the food stamp challenge but ending up buying shit no person on food stamps would purchase.
Best ThopTV Alternatives for Free Streaming in 2021
> he resulting system is unsound (in the sense of Tarski) because it asserts the existence of natural numbers that have no "written form" (i.e. the existance of natural numbers that are larger than any term you can write to denote a natural number).

Isn't that basically the definition of the natural numbers, ie. if you write down any natural number (say n) I can always construct a natural number that is larger than it (like n+1) ?
The VR stuff has the same energy as "The Titanic's crew has announced the installation of an amazing collection of trendy new Louis Vuitton deck chairs with an exciting new arrangement, and insists that the minor iceberg collision will be resolved soon."
This passage is a good summary:

"Facebook is not a giant right-wing echo chamber.
But it does contain a giant right-wing echo chamber — a kind of AM talk radio built into the heart of Facebook’s news ecosystem, with a hyper-engaged audience of loyal partisans who love liking, sharing and clicking on posts from right-wing pages, many of which have gotten good at serving up Facebook-optimized outrage bait at a consistent clip."

And then there is the advertising profit that these enthusiasts of the absurd generate for the corporation. What former US President DJT called, "the golden goose".
> In other words, increasing your income by more than $50k, only decreases "paycheck to paycheck"-ness by 12 percentage points. That seems to support the thesis that it's due to human nature rather than income distribution.

You're relating statistics which may be unrelated. It's at least not shown they are related, and I have reasons to believe they are less related than as presented. People that make over 100k but live paycheck to paycheck might primarily be made up of people who live in area with extremely high costs of living. People that make less than $50k might be primarily living in low to medium cost of living areas where thy can survive on that but don't have much chance to save.

Without normalizing based on cost of living, you aren't really making a comparison that is useful. By using hard values, such as $50k or $100k, but ignoring that the largest affect on what amount of that is disposable (and thus valid to be applied to savings) is a highly variable cost of living, you ignore variables so large as to make any assumption useless.

You might as well normalize and average values for income and savings the United States and China and make assumptions based on that across both populations together. It's essentially the same thing you're doing here, with a more obvious set of differences. The conclusions you make from it will have flaws in similar ways.
He's done work for "minstream" TV before, but in reality, as with a lot of Youtube, it's only him, his wife and a few friends.

The original bunker had to retroactively apply for planning permission: https://planning.southkesteven.gov.uk/SKDC/S16-0017/1288446....

Of course it's way more organised that it first seems, because it is sponsored after all, but he does seem rather fly-by-night o all his things.

He said he was going to do a load of other projects with that bunker (including ventilation systems) but they never happened.
Looking for startup founders that will be happy to participate in a quick survey
Hi
I am looking for startup founders that will like to help us out and participate in a quick survey.

The survey is just about market validation - and I would like to hear about your issues with legal needs and how do you handle your legal needs in your startup.

I am not trying to sell anything, BTW. We do have a product in beta, but we are interested in hearing you and hearing your pain regarding legal services.

If you are willing to help a fellow founder, please email me at shimon@clawdia.ai

Or feel free to DM me via LinkedIn at -
https://www.linkedin.com/in/shimon-magal-451485194/

Thank you so much :)
Learning to Recommend Items to Wikidata Editors
The "donation" doesn't cover 1% of what Brazil expends every year on the region, it is not worth the interference.
Just to add an anecdote: all large companies I have worked for required IP assignment, and it was NOT negotiable. You can ask for it to be removed and they will say no. You can try the “strike it out and initial” move, but the agreement will come back in about a week with a stern letter from legal saying “sign it unmodified or GTFO”.

It is likely more negotiable in smaller companies that do not have huge, inflexible employment agreements.
Definitely have witnessed this many times
I guess you could rephrase OP's argument in a sound way as: a set is countable if there's a way to order it such that between every two numbers there are finitely many numbers
Adobe products can cost that much on a yearly basis.
Scientism is a religion, a modern one at it.
You're just being obtuse
The all-time best software engineering books
I would say the boosters landing on drone ships and getting reused 8 times are pretty impressive. Also the Starship landing with the flip.
Google v Oracle took 11 years to reach conclusion.
> Hard pass, I'll take a social contract defined through democracy every time.

When you say democracy, are you referring to democracy the abstract philosophy, or the specific concrete implementation of "democracy" that we currently operate under?

Would you be open to considering a third option: a complete re-implementation of democracy from the ground up?

> Founders and investors, in particular, are uniquely unqualified to evolve the social contract because they have overwhelming financial interests.

Similarly, are are you referring to founders and investors in the abstract sense (a general methodology for organizing and funding the implementing ideas), or the specific types of founders and investors that have risen to the top, under our current implementations of democracy, economics, etc?

Would you be open to considering an alternative approach: a new kind of founding and funding of the implementation of an idea, one that is deliberately designed from day one to avoid the shortcomings we see today, as well as be ever watchful for the emergence of novel new shortcomings that may emerge?
If the boss intended to manipulate the employee, wouldn't they be able to do that without NVC? Is the language of NVC the problem here?
The internet exploded post financial crash.

The iphone invented a whole new platform for ideas.

The economy moved substantially online during this time.

It was a transformative moment in technology being driven out of silicon valley / sf.
What about open source projects where the uploader and github users are not the only copyright holders? As a user i can't grant github any random license for the code, if I maintain for example Linux or python or any other old project there.

The ONLY available terms are those given by the license, surely?
Can you guarantee that you are handling data the way that ProtonMail does? Do you know how ProtonMail handles its data?

A privacy policy is not just some mumbo-jumbo where you just need to get the words right. The words need to be in correspondence with your actions. Copying someone else's words is not a recipe for success because those words are in accordance with their actions. Even if the privacy policy is compliant for them, the same policy can be non-compliant for you.
When you say it stopped, did it show a bankruptcy condition for you or more like a weird unexplained simulation stoppage? If the latter, I'll look into it right away, and if you can identify any simple reproduction steps that would be very helpful.
I turned this off on my TV and was just like...wow! So much better!

From what I could tell, my TV was taking a perfect 1920x1080 signal, and instead of perfectly stretching it to 4K (4 pixels on the screen for every pixel in the input), it was first cropping the edges, then stretching.

This results in clean lines in the input becoming more "fuzzy" on the screen, which a very slight zoom effect.

It's maddening and I can't understand why it would be the default. Across my HDMI sources, TV apps, and live TV, none of these signals need any cropping. They fit perfectly with my settings.
It would be nice if we moved from a copyright discussion to an ethical one, since it could be years until the law is even tested.

Is it ethical to do this, when some licenses are clearly chosen because of e.g. attribution or sharing improvements? Did Microsoft/GitHub consider the ethical implications, for example a chilling effect on code being open sourced in future (i.e. people choosing not to open source stuff so it doesn't get gobbled up by Copilot et al.)?
My wife photographs for a hobby, she posts on social media for business purposes, but not to influence.

She does woodworking to help herself and friends.

She knits for family gifts.

0/3 for my wife.

Next person, me.

I build inventions because I learn new things and get something that makes life lazier.

Not sure if reading nonfiction is a hobby, but I'm not repeating quotes on Twitter. I enjoy enlightenment.

Oh I do have a for profit business that I'm attempting to influence people. But it's not a hobby, it's a for profit company.

Maybe this article is just clickbait.
> If you look at the GitHub Terms of Service, no matter what license you use, you give GitHub the right to host your code and to use your code to improve their products and features. So with respect to code that’s already on GitHub, I think the answer to the question of copyright infringement is fairly straightforward.

This doesn't sound right. Alice writes code, and releases it under some restrictive license (GPL, something source-available, etc). Bob uploads it to GitHub, correctly labeled as GPL. Regardless of GitHub's TOS, Bob isn't able to give GitHub any additional rights to the code beyond what Alice gave him.

I think the later discussion about whether this falls under Fair Use is the important question.
Dan, I honestly don't understand what the slur is, please tell me, but I will take your point that less politics is better.

When I put 'good' in quotes, if that's what you perceived as a slur, I simply meant that 'good' as perceived by Americans - Amercanized Afghans, which doesn't mean some kind objective good, since I don't think Americans conform to some objective good either. But if that was the issue, then clearly I made my point extremely poorly.

Sorry.
Hmm, an intriguing business idea: "undercover interview at your competition" as a service.
Backwards compatible from a parsing-this-message-won't-blow-up standpoint but not necessarily from a semantic meaning-of-each-field standpoint if your devs are ... clever ... enough. ;)

That discipline to commit to an API and meaning for each field and not keep tinkering with it in messy ways is an under-valued and under-evangelized aspect.
Veritasium did a really good video on this recently, based around Hilbert's Hotel:

https://www.youtube.com/watch?v=OxGsU8oIWjY
NTSC: Never Twice the Same Color
> The notion that capitalism creates corruption is laughable with these massive recent examples.

The most corrupt nations throughout modern history have always been on the Socialist spectrum, without exception. Including National Socialist Germany, Communist Cuba, Communist China, Communist Vietnam, Socialist Iraq, Communist North Korea, Theocratic-Socialist Iran, Socialist Syria, Socialist Zimbabwe, Socialist Venezuela as well as Soviet Russia, all of which were/are Socialist derivatives.
Show HN: No-code publishing platform with the ease of Notion
This seems like it’s got components of the release of pent-up job turnover that has likely been somewhat suppressed over the past year, plus the seriousness of the pandemic causing maybe more life introspection leading to more willingness to make changes in something that would normally be more sticky; and then finally add the article mentions of Brexit effects on businesses into the mix too
When You Mentioned Kosher
you were right over the target
Soldiers speak out about being blocked from repairing equipment by contractors
Another great piece from Quanta. Such an important institution
> As we mentioned, GitHub trains Copilot on numerous pieces of public code, many of which are covered by strong copyleft licenses (i.e. GPL v2, GPL v3). Copyleft licenses require that derivative works (of the copyleft-licensed code) must carry the same license as the original code.

Even when no GPL v2/3 code is quoted by Copilot, is using the code for training a non-free product allowed under the license? Under the license, is Copilot therefore now licensed GPL v2/3? The GPL code was certainly used to create a critical, integral part of Copilot, and to create its output.

If I understand correctly, GPL v2/3 were designed to prevent non-free products from being parasites on FOSS code, taking and not giving. If that's the spirit of GPL, Copilot seems to clearly violate it.
So, by your logic, "God told me to do it" trumps the law of the land which is supposed to apply equally to everybody?

In a supposedly modern egalitarian and secular society, mediaeval voodoo and its associated fantasies should have no say in deciding the law of the land. And holding a set of mediaeval voodoo inspired beliefs shouldn't give you a 'Get Out of Jail Free' card, when it comes to disobeying the laws which everyone else is subject to.
What about music and videos/films?

I admit carrying a separate e-ink device is too much of a hassle, so I read books on the smartphone when am not at the PC.
> Both companies argue Khan's past writing show she's already made up her mind on the tech firms' liability, which the companies say should disqualify her from their cases.

I'm sorry, what about the regulatory enforcement process requires that the regulators not have pre-existing opinions?

Unless Khan has a true conflict of interest, I don't understand how this can possibly be grounds for recusal. They're effectively saying the regulator can't have opinions about the businesses or markets they're regulating, which is absurd on its face.
Is there a way to simulate capital tax? Percentage of taxable investments/cash?
> They've verified that the Collatz conjecture holds for all numbers up to ~2^68, but that's precisely 0% of all the numbers that need to be checked.

This is the crux of what has me looking like a fool to every mathematician in the thread, but I don't mind: why is 2^68 0% of the "numbers that need to be checked"? From a physicist standpoint, you can do a lot with numbers from 0 to 2^68. After all, 64-bit floats are quite useful. Is there 0% value in proving the Collatz conjecture for all possible numbers one might want to use in a normal programming language without big number libraries?

I know the question must sound pretty crude, but it's also a source of mystery. Mathematicians are so obsessed with exactness. Is there no room for empirical analysis in number theory?

In other words, number theory relies on certain assumptions. What if one of your assumptions is "a number system from 0 to 2^64"? Why is there no value in that?
There's also some uncertainty around persistence of data if I start a paid plan (or trial) but do not continue.

Does the data I'd entered thus far get purged, and I would have to re-enter it if I picked the plan back up?

I feel like this kind of tool might be something I'd update once a quarter or once a year, but not want to pay for every month. But if my data is deleted in between uses, it's also a lot less useful. Is there a rational middle ground?
Seems like you'd also need a second tuner which would increase the cost a bit more.

Ultimately the problem is that with old analog signals you just needed to wait for the next V-Blank (4 hundreds of a second at the most) and you were good to go. With digital signals you need to wait for the I frame which can take dozens or hundreds of frames. And this assumes you have a good solid signal and can decode everything perfectly, if the set is trying to piece together a fragmentary signal it's even harder.
> Despite setbacks, the Commercial Cargo program seems to be going well. One note is that Orbital (now Northrup Grumman) had to purchase flights from a competitor to fulfill their contracts, which they did.

Also on Commercial Cargo, for phase 2 the competition forced Orbital to have to significantly cut their price. On the flip side, SpaceX raised theirs since they so underbid in the first round.

Additionally, Dream Chaser is supposed to come online soon.
In the biological sciences there is a huge push for the code to be released alongside the paper. Many publications (but not enough yet) include a complete pipeline in a workflow language that downloads, processes the data and generates the figures used in the paper.
> Personally I think "harmful content" concept is extremely dangerous when applied to social networks.

It's a kludge. The real problem is broadcast technology becoming too easy to access (in the form of social media). It's reduced transmission friction too much, which has seriously undermined the ability of the "marketplace of ideas" to filter the good from the bad. There's a sweet spot between monopolization and total democratization of broadcast technology, and I don't think we're there anymore.

> If 5 years ago it was unquestionable that USA has more press and thought freedom than India, Russia or China, the situation now is much more nuanced and really depends on the topic discussed.

Come on. You could only say such a thing if you're almost totally ignorant of "press and thought freedom" situation in China. About the only thing you can say China is more permissive of than the US is outright racism, and that's only at the social level (you can still legally be a flaming racist in the US, it's just that many people won't want to associate with you and many will remind you you're full of shit). I'm less familiar with Russia and India, but I highly doubt the situations there will salvage your statement.
> If a platform decides to pick and choose then it's no longer a platform. It's a publisher.

This isn't true though, the distinction you're making doesn't exist, it's still obviously a platform as well as a publisher.

> Users only send it privately to the publisher and publishers decides to make it publicly available

That's not how it works though. Users are free to upload anything they want to the platform and it's published automatically, if it is later determined to be illegal or otherwise in violation of the guidelines, standards or relevance, then it is removed.

> The whole invention of a term platform is so that tech companies can avoid responsibility of publishers.

There is no legal meaning to these words, they are merely a functional description of how these sites work and they are obviously both platforms and publishers.

> It can remove user submitted content but only if the laws requires for such content to be removed or if there are technical reasons to do that (content is too large, to popular, too unpopular, some time have passed, etc)

I understand that this is your stated position of how things ought to work, but I still don't see a reason why it should work this way, sites being able to remove content is useful for moderation and curation which are features that users like and want.
They expect each vehicle to cost $200m and to fly them 100 times each. Hence $2m per launch. Falcon 9 costs a lot more than that because the upper stage is expended each time and that costs mid single-digit millions, and the first stages may not last much beyond a few dozen launches without significant re-engineering which would also make them heavier.
A remarkably simpler use case is if you want to run Linux programs built for a different architecture (instead of using QEMU to boot into a system). QEMU can do this on its linux-userspace configuration. The only knob you really have to know about is QEMU_LD_PREFIX environment variable if your executable has dynamic dependencies (C library, e.g.).
As a manager, I always treat failure as a form of expensive training. Most people beat themselves up when failing, so you can be pretty sure they'll do considerably better in the future.