skysight-inc/HackerNews huggingface dataset:
They exist in that it is easy to prove "for ALL x there EXISTS y such that (there EXISTS a Turing machine with at most x states M such that (there EXISTS some n such that M prints y 1's and halts after n steps) AND (for ALL Turing machines with at most x states M, if (there EXISTS some n such that M halts after n steps) then (M prints no more than y 1's after n steps))". I expect you can prove this in systems as weak as Primitive Recursive Arithemetic.

It is true though that various (decidable) proof systems are unable to prove that the Busy Beaver function has any specific value beyond a certain point. However, where that cut-off is varies from proof system to proof system, with stronger proof systems being able to prove more an more values of the Busy Beaver function.

Maybe you find it weird that we can prove (Exists x. P x) without being able to prove P n for any particular numeral n? Welcome to the strange world of classical (i.e. non-constructive) mathematics.
any photos?
I would hate playing a game like this.
What improvements and regressions does it have versus the old gen "well established" commercialized artificial heart?
This makes sense. I read the set being "all negative numbers" in the sense of a set of numbers all of which are negative, not in the sense "the set that has every negative number".
Maybe. But how much is a Vauxhall Corsa powered by hydrogen? Can you even buy one at all?

For all comparisons you should probably price in an estimate for the first three years of running costs, too.
Could you just store more insulin as a stop gap?
> simply write it's trailing digits in reverse order

so how do you map say pi/4? Which digit do you start with?
> Yes. Bjarne an co. are reluctant, with good reason, to prefer to extend C++ with objects rather than syntax.

I think you either meant to elide "reluctant", or to say "syntax rather than objects".
Detecting Hover-Capable Devices
i think op was referring to the practice of using a separate cdn for specific resources (like fonts and scripts), not using a cdn per se.
It's crazy, really.

A friend of mine has an IQ of 140 and she is one of least successful person I know.

She said it's like a useless superpower. But on the other hand, she was never in an academic context, because of family.
Sometimes you don't always have a choice with the task. Eg filing your taxes. You can pay someone to do your taxes but my point is there are plenty of procrastinating triggering tasks in life you can't escape
>"I would fail a C++20 pub quizz"

Same here. It does not preclude creating high quality products though. I learn / fish out of my memory features on on need basis. Due to writing software for the last 40 years I have very good understanding what should be available and where but remember everything in multiple languages in detail is pure insanity. And in my opinion that knowledge is not what defines being good programmer.
I code on the train using xvkbd on my pinephone. You get used to it. A good editor like vim helps a lot. You're spending most of the time thinking not typing.
I don’t think it’s a question of ‘belief’. AOC is logically independent of the other ZF axioms: you may find it aesthetically ugly (a viewpoint I’m sympathetic to). But you can’t disbelieve it any more than you can disbelieve Euclid’s parallel postulate.
One approach might be to compare how much wealth someone is attempting to attain with how much they could conceivably be outperforming the average person.

For example, if we make a back of the envelope estimate that an elite person has skills that are 10 times those of an average person (10 times smarter, stronger, more charismatic, better educated, etc.) and works 3 times longer then they could conceivably be 30 times more productive. If, to be conservative, we doubled that, then we could define greed as attempting to amass more than 60 times more wealth than the average person.
The build quality is the main I never considered getting a Switch. I simply hated playing with the joycons, they felt like things you win in puff snack bags.
Aye, the basic concept was covered in this a couple of decades ago - https://en.wikipedia.org/wiki/The_Killing_Star (which has just about as dark a conclusion as Cixin's trilogy does), but it was the actual Dark Forest name specifcially I thought existed prior.

Clearly I'd been unwittingly absorbing output from people who'd already read his books ahead of me!

- ed oh! I see The Killing Star's mentioned in the original linked article. It's worth a read, if you haven't already.
Because example has shown time and again that you can take the $1500 million, spend $100 million on legal fees, settle for $400 million and keep a nice $billion
I'm having trouble understanding your example. Who is the correct owner of dev.app.org.dept.nsw.gov.au and how does Let's Encrypt get it without the use of such list?
> Breaking the law is a generally considered a big mistake

Except when it's about breaching the GDPR. In this case it's considered "business as usual" and Google and Facebook successfully get away with it.
Languages like Rust and Scala learned they lesson: they don't add features, but also remove or fix features. This is why you have editions or major versions, which are not 100% backwards compatible. E.g. Scala 3 comes with a major redesign of implicits, instead of adding a new way to do the same. Same for Python 2 vs 3.

The biggest reason C++ and Java accumulate historical baggage is fixation on near 100% backwards compatibility. E.g. Java 5 added generics, but had to allow using non-generic erasures (List instead of List<T>) so older programs could still compile and run. And now we have to live with this ugliness even in Java 16.

Of course dropping backwards compatibility causes a bunch of problems of their own and it is better to try to minimize the impact (Rust editions, Scala 3 vs 2) rather than do a big bang (Python 3 vs 2).
Yeah, it probably wouldn't have changed anything.

But US intelligences services might have caught it, by sheet chance if history was to replay with slightly different variables. Just saying, they got lucky.

Consequences of 9/11 certainly could have looked different, if the US was less focus on oil and less concerned about confronting the Saudis.
> They did, tho.

They did give away their patents under the condition that everybody using them cannot sue Tesla. It's a bad deal for every other automaker because they either have far larger and far more specific patent pools or if they don't have patents, Tesla can steal every idea they will ever have.

The whole thing was marketing bs from the very start. Tesla knew that nobody would take them up on the offer and in fact, literally nobody did.
Boxabl Homes
Foldable homes setup in 1hr or a day. Come check it out!!!!!
The proof is when you can create a bijective function between the sets then they have the same cardinality. The “zip” function can do this between integers and rationals.
Mitmproxy 7.0
Measuring Inbox/Spam Placement with IMAP API
That's a nice little joke, but it bears little resemblance to capitalism vs. communism. This whole thread isn't even really about capitalism vs. communism, but it went that way because that's the way it seems to go anytime the economic order is challenged. "Billionaires are bad" -> "Well communism is worse!" Okay... but that doesn't change anything I said about billionaires and the USA.

Anyway, you seem to be under the impression that capitalism is a system that rewards merit, and communism is a system that doesn't. That's just not true. Capitalism is a system that rewards ownership, not merit. You're essentially saying that everyone who is rich deserves what they have, and as I look around at the pantheon of the wealthiest individuals in the world, I'm not seeing a lot of merit. Where are all the Nobel prize winners? Where are all the billionaire scientists?

Rewards based on ownership are the opposite of rewards based on merit -- you are required to show zero merit under a capitalist society to reap rewards, just a piece of paper declaring your ownership in an asset, ownership which is enforced by the state through violence. How does this lead to a meritorious society? To me it seems it would lead to a society where people don't strive for merit but for ownership of assets.

Look, all I'm arguing for is proportionality. No one is ever going to convince me that the 1% have so much merit that they deserve more wealth than billions of people.

> The end result is a uniformly poor society where the most vulnerable hurt the most. Just like communism.

The end result of capitalism is a society where 1% of the population own 95% of the wealth. Not uniformly poor, I'll give you that. It's quite lopsided and tilted. But one thing's for sure, the most vulnerable are still hurt the most under our capitalist society. Like I said in another post, the USA is sending out child tax credits to reduce childhood poverty this week. Poor children are some of the most vulnerable people in our society, and they are hurting so bad the government has to step in. Capitalism is doing nothing for them. And anyway, It's not like there aren't plenty of uniformly poor capitalist countries around today. Just look at Haiti for an example how of how bad it can get.
You may have trouble running some older games if they aren't already on steam. If they are, though, then that seems like a fine use. The 64gb version would probably be more than enough.
> We have more empty houses than homeless in the US. We should be able to guarantee food, water, and shelter to every citizen, even if we don’t necessarily guarantee it’s in a place someone desires.

How many people experiencing houselessness are you willing to ship off to rural Nebraska where they know nobody, have no support system, no supportive services, and probably are grossly unfamiliar with the local culture?

Is your answer "all of them"? Perhaps with some qualifier about how they'll receive food, water, and free transportation to this location?

You're absolutely right. Our society is unquestionably wealthy enough to provide for the basic needs of all. You are experiencing a beautiful blossoming of genuine human compassion. It's just perhaps possible that this might be a chance to think more precisely about how to translate that into policy.
The reality is that "Outside US support" is usually the lower priority step-two of any project, because it is easier to make more money inside the US, for US companies, for example because of (a lack of) regulations like GDPR. (Source: I am a European working for a US company)

I don't think they entirely don't care, they just care more about (perhaps need to) making money fast than serving a global audience.
Just gotta ride the VPN all day long
MinIO on RedHat OpenShift
Runbooks for better incident management
You’re not wrong. The difference (and this does not apply here in an open forum) must be the quality of teaching. Strange math tricks by themselves are empty calories.
> To whatever degree you can take care of your health with diet and lifestyle such that you don't require needles and other invasive equipment requiring sterilization, life is vastly simpler, better, cheaper and safer.

There is no degree to which this is true for people with Type 1 diabetes.
It's a nice summary of the GDPR, and following this TLDR in good faith will get you in compliance (at least enough to avoid scrutiny from the regulator).
We (I work for ascenium) do operate with a notion of op, in the sense that we specify ALU ops happening at a given location. I'm not sure that the idea we're trying to convey when we say killing the ISA can be easily understood, but it ties together with the fact that we instruct the core in a far more detailed fashion than your typical CPU during compile time.

In short, our machine code (control words) is far more imperative than typical RISC instructions. RISC specifies what should happen, ours specifies the what _and_ the how

Also, I don't think an FPGA is a very good description of what we do, but on the other hand I did use the same analogy to describe what I do when I started working here, so it's not terribly wrong either
There's an extension for Firefox called: "Never-Consent". It only works for some site and completely breaks other.
Thanks for the heads-up, I'll take a note to change that behavior.
You make it sound like a forced one week vacation due to a canceled flight or something.
React State Types Explained in Visuals
> you shouldn't celebrate or support the Democratic party, they're the party of slavery, secession, Jim Crow, and segregation

Well up to 1964 the majority of black voters were registered Republicans. And then something happened. The same Jim Crow, segregationist Democrat party went through deep structural change and pushed through the Voting Rights Act, Civil Rights Act, Immigration Naturalization Act.

You’re under the impression there were 2 political parties. In fact, there were 4: Northern Democrats, Norther Republicans, Southern Democrats, and Southern Republicans. Those southern democrats (Dixiecrats) left the Democratic Party and became southern Republicans. So, the party of Jim Crow is now Republican. It’s still the same people, they just switched the name plate in the door.
Call me naive, but the fact that we're still sending messages makes me happy in spite of the grim calculations.
%s/are important to us/cannot view this content/g
I started reading The Now Habit, which was recommended on Hn a day or 2 ago, as it also talks about procrastination. Havent finished it, but really good so far.
This should support literally all Fallout games, out of the box.
I don’t blame the third parties. I blame not having ranked choice voting.
The best way to understand global warming is that the market doesn't account for the true cost of carbon emissions. That's because the atmosphere is an unregulated commons, lacking property rights or other legal mechanisms to assign the costs of carbon emissions. A carbon tax or some other way to assign a "price" to carbon twill begin to assign that cost, and the market system will naturally, in a million small ways, reduce the emission of carbon. The result will be dramatic, unforeseen levels of reductions.
Oops. Even in seven sentences, I missed a detail. :(

Thanks; noted for the future.
Yeah, I've not used lisps much myself but it's definitely similar. See https://kparc.com/lisp.txt.

The quote by Alan Perlis, 'It is better to have 100 functions operate on one data structure than 10 functions on 10 data structures.' is also relevant to both lisp dialects and array languages.
I have always thought that Mr Russell is wrong with that cheeky quote. With the socks you also dont need the AOC. Why? because if you have a pair of identical socks (I think that was what Russell had in mind) then effectively you have a set of cardinality 1.If the socks are different, choose the lightest, if there is a tie between them choose the longest, and so on,if for all the tests the socks are tied declare them the same and back to point 1.

This is my preferred quote about the AOC:

> The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?

Jerry Bona.
https://en.wikipedia.org/wiki/Jerry_L._Bona
I think that the issue is when the financial rewards are dramatically greater than how much harder someone could conceivably be working.

A billionaire could conceivably work much harder than the median person. However, they don't work 8000 times harder ($1 billion divided by the median net worth in America of $122k).
It's not misleading assuming you know the field.

If you don't you might not realize they are comparing ResNet (designed for ultimate performance) vs EffcientNet to show how close it gets in accuracy in the FLOPs budget.

Note that the best accuracy for EffcientNet is roughly 1-2% better than ResNet/ResNeXT/SENet/etc but does have a much better FLOPs budget.

But these other architectures were never optimised for FLOPs. It wasn't event a consideration when designing them.

And EffcientNet is about a (manually designed) technique for scaling neural networks up in accuracy. Only EffcientNet-B0 is designed by AutoML, the others are scaled up. See the paper[1] for complete details.

Like-for-like should be against MobileNet etc. EfficentNet is better, but the comparison is more reasonable in general.

https://machinethink.net/blog/mobile-architectures/ is a really good overview.

[1] https://arxiv.org/pdf/1905.11946.pdf
Two completly different situations,

Today the problem is less the lack of ressources, but that we destroy the eco-system with our current technology. We can not just use another technologie to exploit a different kind of ressource. Instead we need a technology that has less consequences or even one that undoes the damage we already made.

Fossile oil reserves where not developed around 1800. They developed over millions of years. And actually they were already used in the middle east, china and myanmar way before europeans&americans started to use them to replace the shrinking and therefore more expensive supply of whale oil.

IMO the usage of petroleum was fueled(no pun intended) by the market and the rising price of whale blubber. It could have been used way earlier but was not lucrative.

Sadly the technologies that destroy our environment are still more lucrative then existing solutions that could solve our problem. That is especially if you look at the investments that are still made in this sector. We have the technologies to solve our problems, they are called renewable energies.

The problem is that we need a technology that takes over the market share that is currently taken by technologies that damage the environment. But that is very hard, as it would need to be more lucrative.

Just having the technology does not help, if people still use the damaging technologys. Cause they alone are enough to reach certain tipping points. And after those, no technology can save us even if it would undo damage that we caused earlier.
> lobby Congress to get laws passed to make insulin basically free in the US and defacto pushing that globally

You think the US should make insulin free and then use their leadership to encourage other countries to do the same?

Do you realise other countries already make insulin free and it'd be the US that would be following their leadership if it made it free?
Mitmproxy dev here, happy to answer any questions! :)
Nice idea, but please check your local tax office. At least here in the Netherlands, you are required to use a monotically increasing series for invoice numbers. So I wouldn't do this if I were you.
Perhaps the dimensions of someone's barn were a factor.
I think what would explain this is our very limited timespan when we started listening to universe. There might have been 10 strong signals in last 2000 years, but last one could have happened around the time US declared independence.

And 2000 years is nothing timewise on scale of universe. Plus we talk about signal that can maybe travel few hundred / a thousand light years before they blend into galactic and intergalactic noise.
One aspect of customization is regarding cooling - large nuclear plants can't be self-sufficient, they need to integrate some large natural supply of water. Rivers are different than lakes which are different than seaside; each river is different, etc.
To build upon the "Just relax" section: by Shoenfield's absoluteness theorem[1], if ZFC proves some Sigma^1_3 statement, then ZF also proves it. In particular, the Axiom of Choice has no arithmetic consequences, and thus has no effect on number theory, nor what you are able to prove about the correctness of any particular algorithm, etc.

[1] https://en.wikipedia.org/wiki/Absoluteness#Shoenfield's_abso...
> Larger scale disasters will definitely screw things up for us all.

Most natural disasters tend to be local..

It's actually hard to imagine something more global than a pandemic.
You can store insulin but not in large quantitites and it is a hugely delicate process to synthethise it in the first place. You can "biohack" it to a certain degree (it is how it was first discovered and manufactured after all), but getting a good purity end product that aligns to nowadays' standards is quite difficult and you can't do it in a shed. And with insulin purity and consistency in the product are paramount seeing how small the necessary doses are.

I understand the issues that come with dependence on pharmaceutical companies, but this is what they do. In today's world we are highly dependent on supply chains and that includes both toilet paper and insulin.
>The original study and subsequent research was funded by the Club of Rome, a European organization focused on solving the larger problems facing humanity.

Ah yes, our benevolent overlords who have selflessly offered themselves up as our technocratic central planners. Such premises should at least inspire mild curiosity or skepticism from readers.

Counter point: https://www.wired.com/1997/02/the-doomslayer-2/

>The classical case against population growth was expressed in 1798 by Thomas Malthus, the British economist and country parson who wrote in An Essay on the Principle of Population: "Population, when unchecked, increases in a geometrical ratio. Subsistence increases only in an arithmetical ratio. A slight acquaintance with numbers will show the immensity of the first power in comparison of the second."

...

>Or so it would appear, except for the following embarrassing fact: "Population has never increased geometrically," says Simon. "It increases at all kinds of different rates historically, but however fast it increases, food increases at least as fast, if not faster. In other words, whatever the rate of population growth is, the food supply increases at an even faster rate."
Bollyshare: Free Website of 2020 for downloading of Quality Movies
I disagree. I would say we have phrases like "war of ideas" to differentiate between actual war. It would seem to me that literal war indicates a failure of a war of ideas. If what you say is true, then the only conclusion to draw is "might makes right". i.e. whoever has the biggest stick has the best ideas. That's something I'll have trouble accepting.
Wow. Build a beautiful, long piano and they will come!
Yep, it's one of the better books on procrastination.
I think it is a great thing. They could just as easily keep it all to themselves and pass it down to generations. It’s fully within their legal rights to do so.
I doubt you can stockpile. Pharmacies have checks in place, heck,even my local supermarket flagged when I tried to buy too many otc painkillers.
In NL eigenrisico works like you describe (well, actually, it doesn't: after the eigenrisico you don't pay for stuff anymore, the insurance company covers the cost directly and you are not even billed), but is 350 euro, annually
His widow, whom the producers claimed to have asked for permission, tweeted that she didn’t: https://twitter.com/ottaviabourdain/status/14158894550057164...
Recommendations and referrals strike me as one of the ways that groups with an unintentional diversity problem end up persisting it. The composition of the group gets carried forward as people vouch for each other.

The summary mentions "scroll[ing] their LinkedIn connections", but relying too heavily on this sort of thing puts people with no connections at a disadvantage, and actually makes it more difficult for a cohort trying to address a diversity problem to do so.
I simply thought jurisdiction would be relevant here. The EU can make whatever rules it wants to cover its own citizens, and beyond that - they can't enforce them.
Indeed, good point. A shame really, as sodium could ease supply constraints and take up some of the burden instead of just lithium.