skysight-inc/HackerNews huggingface dataset:
> The idea that humans are physical systems with Turing-computable behavior would mean that any problem not solvable by Turing machines is also not solvable by humans.

But there are real-world instances that contradict this hypothesis already. Humans don't exhibit Turing-computable behaviour because they did indeed solve problems that aren't solvable by Turing Machines.

I can give a very concrete example as well. Consider the following program (in Python for simplicity's sake):

def nat(x):
yield x
yield from nat(x+1)

for a in nat(2):
for b in nat(2):
for c in nat(2):
if a*a*a + b*b*b == c*c*c:
print(f"{a}^3 * {b}^3 = {c}^3")
exit()

There is no Turing Machine capable of proving that this program won't halt (technically it will, due to practical limitations).

Yet it has has been proven centuries ago that the above program won't halt.

The mathematicians couldn't have used a Turing Machine-compliant computation, so something else must be involved.

Now this of course doesn't mean that humans are generally capable of solving every problem that's not solvable by an algorithm, but it means that they can solve problems that algorithms can't solve.
You've heard of hybrids, right?

> put a small gas or propane generator in the trunk

I'd prefer you didn't pass out from carbon monoxide poisoning while operating a vehicle on public roads, thanks.
Nah, that's the web browser, invented a while ago.
Apple would probably counter lobby that if one company is called out then all involved in the transaction should be. Facebook should publish their profit off of you for this page view. The seller should show the cut taken by upper management and what is pure profit for any product or service. Why should they be the only one with underwear exposed?
There are reasons why you might need to bolt an http api into a c++ project, so it's nice to know there
are high performance options available
Why is that bad? Billionaires will have fewer billions? Why is that apocalypse?
> All well and good, but this is not due to sideloading.

It is. iPhones don’t suffer from these malware issues precisely because everything is locked down and you can’t get apps to the iPhone without Apple’s manual approval. If Android was locked down and only allowed apps to be installed through F-Droid then they wouldn’t have any malware issues either.

The reason F-Droid is safe is because they’re also locked down and their approval process is even more strict than Apple’s.

> I don't think anyone is arguing no store can be locked down if you have multiple choices.

What I’m saying is that once you allow third-party app installations then malware will follow. And as we can see with Macs, not even Apple will be able to prevent it no matter how much they try to discourage people from downloading apps outside the App Store. The malware you see on Macs are a result of users downloading apps outside the App Store, and the same thing would happen to iPhones if they allowed third-party app installations.
> Apple pretty much is the government when it comes to the App Store.

It definitely is not. The defining feature of a government is the legitimate use of violence. No actual or threatened violence, no government.

There are lots of reasons to be concerned about the App Store and Apple, but let's not blur the lines between money voluntarily given to use a service, and money given to avoid arrest and jail.
When I implement this, I typically use separate thresholds for the entire request and time since last progress or some rolling average transfer rates. Letting a slow transfer complete is useful both for what you mentioned and also reducing server congestion but you do need to detect failures where the remote end goes silent (server failure, network roaming, etc.) without tearing down the connection.
It may not be technically correct but everyone understands what tax means here. What I don't understand is this weird impulse to always defend the two trillion dollar corporation against any slight insult.
> They would rather preserve their capital, bank on appreciation, and not deal with tenants than fall prey to deflationary pressures

New York and San Francisco laws capping rent increases also deter rent decreases. Particularly if the decrease might wind up being temporary.
I would put a correction that Apple users specifically like walled gardens the app stores.

Things like the windows store, snap store appear to be significantly hated for reasons of taking away control and auto-updating.

Same thing I guess with steam, origin, uplay, and epic's equivalent too.
That's where ML comes in, to provide the 'intuition' for pruning the search space.
Well, FORTIFY_SOURCE >= 2 will reject "%n" unless it's stored in read-only memory. And Ubuntu at least makes this a gcc default, so I wouldn't say nobody is doing anything against it:

$ cat tp.c
#include <stdio.h>
#include <string.h>

int main() {
char a[3];
printf(strcpy(a, "%n"));
return 0;
}
$ gcc -O3 tp.c ; ./a.out
*** %n in writable segment detected ***
Aborted (core dumped)
Personally, I feel like I struggle with this a lot. Whether it be reading on here, or seeing it in the news, it is hard to not compare myself to a 20-something year old who just sold his/her company for hundreds of thousands of dollars while I sit around reading the stupid article and playing Dota or starting my millionth side project. It is easy to see that not everyone is going to do something like that, but I think it is really hard to internalize the fact that I am the one not doing that too.

Then I get into this "well, won't be me anyway, so why bother" mood where I accomplish even less with my free time. I have urge to do more, but it is a vicious cycle sometimes.
No offense but why are you on social media at all lol.

>I haven't set an alarm for work in years, can buy what I want without too much consideration, mostly work when I feel like it, and the work I do is often interesting.

You are doing better than 99% of people who have ever lived!
Nice of you to mention developer velocity: it is extremely important, and it's also severely impacted by things that depend on the framework having good performance, such as initialisation time, development-time performance (it's important to have a quick feedback loop), time required to run individual tests (important for TDD), time required to run the whole test suite (running it often saves developers time during refactoring), time required to compile assets, time for the CI/CD to run (important to allow quick and safe bug fixes and a fast process), etc.

Once your app stops being trivial, those things start adding up and people start talking about migrating to something else, breaking the app into microservices, or developing in-house tooling. All those things cost money. It might take a few months but it happens. And I've seen over and over.

Also, having horizontal scaling is definitely not easy for non-trivial apps. It costs money to the company, might require extra employees, and might put a hold on new features. And horizontal scaling doesn't help you with performance time or developer velocity.

Also please keep in mind that performance and developer velocity are not at odds. Most of today's "fast" frameworks are quite good when it comes to developer velocity: ASP.NET Core for instance is #6 on the Techempower framework and is incredibly productive.
So to you this is not a problem that VC and investors discriminate negatively people based on their gender of race ?
That's true of your personal car (if you're lucky), but cars in general are expensive and don't give us time. They just increase the distances people are willing to travel, and as a city-planning and economic side effect, increase the distances people have to travel. All while having terrible side effects on the climate and our health.
Payments from a company are subjective not objective. There is a single purchaser, in this case Slack, and the researcher already said that he wouldn't engage in unethical behaviour to make more money. Just sell the vulnerability to Slack, and be done with it.

Business owners of failing businesses, when they go to sell, many times think, "I've put in a million hours for this, so I need a million dollars." But, that will never happen.
Lennart Poettering
This seems like a challenge to a developer to make the death-metal of open-source games.

If it were written, would it make it into the major distros? :).

Are there any titles that would meet that definition written in Scumm?
Its becoming apparent that the people dying from COVID are fundamentally unhealthy in the first place. Its a shame that we are so focused on locking up healthy people and shutting down societies and economies, instead of improving diets and removing pollution from the air.
There is a difference between arrogance and dissatisfaction.
I will attribute _most_ of my successes to the latter and all of my failures to the former.
I find that a fairly twisty perspective.

I agree Google are adware. I disagree that tales them out of the discussion of monopoly.

I also think the monopoly discussion and the 30% fees discussion are separate. This relates to my interpretation that the 30% covers “shelf space, distribution, And security”.

If the fee were 5% but nothing else changed, Apple might still have a monopoly.
Here's what I forsee. GPT3 (or the like) learns strategies to solve problems in a limited DSL (like isabelle). Prompt GPT3 with a problem (e.g. P = NP). Have it walk down the tree of proof possibilities (possibly using Q-learning), trim incorrect branches, and then out comes a proof. Somewhere in its modestly coherent glossolalia, GPT3 will figure out how to prove something "tough for humans" correct. Nice thing is, you might even be able to paralellize the search using independent agents.

Is there anyone working on this? Drop a line.
If these events are anything like the some of the AirBnb experiences I've attended, there's material cost and effort to adding more attendees: more cooking supplies, more equipment, more instructor attention, more work to followup, etc.
> There is no Turing Machine capable of proving that this program won't halt

Yes, there is. There's a machine which does nothing but print that exact proof.

You seem to have conflated solving an instance of a problem with solving the entire problem. Turing's theorem states that no one Turing machine will get the answer right for every instance of the halting problem, but for any instance that one specific machine gets wrong, there's another machine that also gets that instance right (in addition to everything else the original machine gets right).
CVSS is a ouija board and you can make it say whatever you want, which is why very few practitioners take it seriously.
What a tendentious blog that is! Here's another one from April on how COVID is no big deal:

https://www.manhattancontrarian.com/blog/2020-4-15-what-is-t...

Doesn't it seem like the author is reasoning backward from a preferred conclusion, the way a lawyer might?
It’s standard rhetoric at this point. It is pretty appropriate for this kind of rent-seeking.
Then you should sell it to Dropbox, because $10,000 is extremely high for an XSS vulnerability.
The 2011/2012 Leafs had major problems with battery degradation in hot climates so much so that Nissan was forced to offer a free battery replacement. So I got it replaced for free. The newer battery is lasting better, but still not great. I think Nissan screwed up by sticking to passive battery cooling.

For reference I live in southern Florida so we have hotter than average climate.
I am so amused that this debate is very American centered all while American physical stores can't figure out how to include taxes into displayed price. And everybody is okay with that.
>It is not reasonable to make people guilty by proxy. Someone either did the crime, or they didn’t.

If there is no crime in publishing the content then overturning special protections in section 230 will have no effect.

>If you own a building, and someone writes a bomb threat on a bathroom stall, are you guilty of a bomb threat?

If you have a magazine, and publish letters to the editor that contain bomb threats, yes. A building isn't a publishing business, and these companies are in the business of publishing, but it turned into publishing on computers and suddenly they get a special exemption.

They choose what goes on their platform, who can go on it, what is said. They've demonstrated amply their ability to control speech and enforce policy. Let them have their platforms, let them have the liability like everyone else.

It's all just equal treatment under the law.
> I wonder what other “characters” would fit in

Possibly ESR, I don't know about any others.
Perhaps as a counterpart to Nintendo's Wario, complete with maniacal laughing.
Would somebody say it can hold data as reliably as postgres. I’ve been very very impressed recently with Postgres and how long a DB can go (using Aurora right now). I would love to try it out but I am just too iffy on if it will withstand the load reliably (even in events of a crash).
The researcher would probably get paid even less, if that is the case.

The value of an exploit has nothing to do with the development time.
> Many a company is upset that they have no leverage in a business deal and want to courts to hand it to them.

I think Epic does actually have a lot of leverage. They have clout. They're a popular, widely respected company and founder. They could easily organize a strike, where large companies frustrated by this exploitative fee all pull their apps and publicly say "move to Android" or something.

Probably the fear of such a strike itself would lead to negotiations. It would just be embarrassing. Apple would not want to be the phone without any of the apps that people want. Who would buy that? And it doesn't matter that Android currently has the same fees, because they just copy Apple and would also change after such a strike wins out.

It's not just the companies though. I've heard others online say "the company doesn't have to sue, there's probably a free market solution," 90% of the people I know shout BAD TAKE! and assume that it must/should be decided in the courts.

The saddest part to me is just the total lack of creativity. There is a way to do it without suing and it would probably even be more impactful, because Apple would know that it is wrong when it loses. Rather than simply feeling that it has to comply with a law, it would know that developers themselves have negotiating power and there is a reasonable point of exploitation that Apple has long since passed.

I wish the Epic guy would consider this.
> Tux Racer is another notable Tux game, but it's commercial fork meant it felt less collaborative than the others.

Don't forget the arcade version! It was the first (I assume proof-of-concept) arcade machine by RoXoR Games, running on Debian Linux. They got rather famously tied up in legal drama with Konami for their second arcade machine, In The Groove, based on a 2004-era codebase of the FOSS “Dance Dance Revolution” simulator StepMania: https://en.wikipedia.org/wiki/Konami_Corp._v._Roxor_Games_In....
It's German and it's a Typo, maybe autocorrect.

I meant Jet Lag, which is also used in German as Jetlag.

But I somehow thought it's written Jet Lack and typoed it as yet lack. No idea why I thought it's Lack, maybe because you lack sleep after taking a jet ?
For many developers, 30% of the app price is higher than what their company benefit. Thus, Apple (or Google or Valve) is making more than themselves on the product they made.

We call it a tax because there is no way to avoid it except not selling our apps. And because 30% is quite high. It would not be seen in a such a negative way if it was in the 10-15% range.
Gah. I'm experimenting with an iPhone as a second phone to dip my toes into the iOS ecosystem because despite their other flaws they've at least learned the lesson "don't be fckn' creepy" which Google has not.

Being able to count on probably 5 years of OS and security updates instead of the mishmash of abandoned handsets or potential security nightmares with hobbyist firmwares is another nice feature.
In mine and many neighborhoods, there are folks who go through every bin on the street and collect them to bring them to the recycling booth in bulk. That is only possible because of the incentive.
> the busier they get, the more active they are at other tasks.

Not at all my experience. I hate not feeling unproductive and so spend almost 100% of my free time programming open source projects. But I seem to be unable to care about anything else, and there are long periods of time where I cabnot bring myself to do anything else besides keep working on these projects until 2 in the morning - so-called hyperfocus. As a result I keep feeling exhausted when it comes to anything besides working on said projects, and the first thing I do when not thinking of anything is to gravitate back to them at the expense of everything else. The most trivial things like cleaning my room or even eating a proper lunch become an unbearable slog if I'm in the middle of something important, and sometimes I just skip over them entirely.

I believe this is making me a shallow person because I have no understanding of literally anything else, and is also keeping me in this bubble where there's so much more to life which would be fulfilling that I will never see, but at the same time I just can't bring myself to care about much else that isn't a productive activity. I can't have it both ways, even though I constantly say I should be doing things that aren't productive like playing video games or watching television, and then shoot them down immediately because I feel like I'm not creating anything. I will tell myself that those are the kind of things that humanity usually squanders its free time on, and that I'm not about to fall into that trap.

In the example, if someone gave me that paper to fill out while I was busy and I don't care about filling out the paper, I wouldn't fill out the paper. Not unless my paycheck and continued survival depend on it.

It does not feel like I chose my hobbies, it feels like they chose me.
now compare how many services you're getting for that 30%: a legal system, roads, schools, hospitals, an army to defend the nation you live in, in some countries healthcare etc etc...

now back to apple: for that 30% you're quite literally getting the permission to keep working.
The point I am trying to make is: Budgets are a good tool. Limits and boundaries are necassary to define a system, an organism, a project. And so in life it might be valuable as well to have a limited time to be on earth.
How is it different from https://flutter.dev/desktop
Is Fancy Mineral Water Any Better for You Than Tap Water?
This is what weddings are like (minus the cosplay) and it happens every week across the world
Exactly. The point is that it's happening in the middle of the night. That context is entirely lost without local time.
I think this would be great, yes.

The store has no reason to hide the markup if its fair, reflecting the convenience they added.
And there was Tux Racer too from 2000. Dead but stil works fine http://tuxracer.sourceforge.net/
Yes, the Leaf uses passive battery cooling as opposed to Tesla and others with active cooling. Their first-gen battery chemistry was also worse in hot climates. The newer battery is a different chemistry that has held up better.
Possibly because FB and WA have been toeing the party line (as it has been toeing the Trump line in the US). TikTok might have been less than sycophantic towards the ruling party here in India.

It helps that one can use it to play to their gallery by appearing to stick it to China. There had been recent incursions by the Chinese well inside Indian borders. The ruling party has been trying to cover that up and needed some token resistance to showcase.

Given the mutually cuddly relations between PM and Zuckerberg, the ban of TikTok is not really that surprising.
OK so can I use this to install Fortnite? How? And does it mean I need a Mac computer in addition to my iPhone?
Quantum memristors are still elusive.

From "Quantum Memristors in Frequency-Entangled Optical Fields" (2020) https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7079656/ :

> Apart from the advantages of using these devices for computation [12] (such as energy efficiency [13], compared to transistor-based computers), memristors can be also used in machine learning schemes [14,15]. The relevance of the memristor lies in its ubiquitous presence in models which describe natural processes, especially those involving biological systems. For example, memristors inherently describe voltage-dependent ion-channel conductances in the axon membrane in neurons, present in the Hodgkin–Huxley model [16,17].

> Due to the inherent linearity of quantum mechanics, it is not straightforward to describe a dissipative non-linear memory element, such as the memristor, in the quantum realm, since nonlinearities usually lead to the violation of fundamental quantum principles, such as no-cloning theorem. Nonetheless, the challenge was already constructively addressed in Ref. [18]. This consists of a harmonic oscillator coupled to a dissipative environment, where the coupling is changed based on the results of a weak measurement scheme with classical feedback. As a result of the development of quantum platforms in recent years, and their improvement in controllability and scalability, different constructions of a quantum memristor in such platforms have been presented. There is a proposal for implementing it in superconducting circuits [7], exploiting memory effects that naturally arise in Josephson junctions. The second proposal is based on integrated photonics [19]: a Mach–Zehnder interferometer can behave as a beam splitter with a tunable reflectivity by introducing a phase in one of the beams, which can be manipulated to study the system as a quantum memristor subject to different quantum state inputs.

Quantum harmonic oscillators have also found application in modeling financial markets. Quantum harmonic oscillator: https://en.wikipedia.org/wiki/Quantum_harmonic_oscillator
You're paying it..
China’s Voracious Appetite for Timber Stokes Fury in Russia and Beyond(2019)
Hard, hard disagree.

We already have all the resources to feed the world's population and then some, to shelter everyone, to provide health care, to stop global warming, to end poverty. We already have enough technology and then some.

The reality is that it's politics, war and corruption that gets in the way.

Sadly, our understanding of how to get along with each other for our mutual benefit is far behind our scientific understanding.

The most meaningful progress over the next century, I believe, is not going to come from technology. It's going to come from political science, sociology, and related fields like behavioral economics.

How do we fix the polarization that is tearing democracies apart? How do we make international cooperation to mitigate climate change realistic? How do we neutralize the threats from authoritarian regimes?

If you want to help people, then today these are the questions that matter most.

And the debate over whether these are "sciences" or not is just distracting and pointless -- mere semantics. They help us design institutions to improve the human good, which is what is meaningful and matters.
Women are effectively owned by men. They can do very little without permission of a male guardian. There's been a bit of progress in the last few years, but for example marriage is a contract between two men amounting to transfering ownership of the bride.
It is not just spending time on those sites/apps, it's the pressure society puts on them to get to the next step on the ladder. Perfect houses on Instagram. 24yo making 300K on Blind. 18yo on Youtube making 1M+. Even if you don't want to compare yourself to others, comparisons are everywhere. That adds cognitive load to the slow grind of getting started on a new job, and now 8 hours feel like 12, and at the same time the productivity trends tell them they "have not done enough today".