skysight-inc/HackerNews huggingface dataset:
Since you mention it, consider the Pythagoras theorem. There are many different ways to prove it. https://en.wikipedia.org/wiki/Pythagorean_theorem#Other_proo... lists a few of the 370+ known proofs.

If a math class preferentially teaches one approach, and does not accept other solutions because they are not the "right" one taught in class, then it's 1) a disservice to the students, and 2) likely discriminates against children from immigrant families, where the parents (who help the kids with their education) might have themselves learned an alternative approach in their schools, and passed it on to their kids.

Lots of math can be taught in multiple ways. Do you teach long division, or counting-intersections? Which of several ways do you use to solve the quadratic equation? If your student uses a way you didn't teach, is that wrong?

In the context of the source document that Newsweek was commenting about, it does not "confuse the objective of a mathematical proof", and you can double-check my assertion because you can read what EquitableMath itself says on the topic, at https://equitablemath.org/ , rather than diluted through culture war partisan readings. Here's the relevant quote:

> Of course, most math problems have correct answers, but sometimes there can be more than one way to interpret a problem, especially word problems, leading to more than one possible right answer. And teaching math isn't just about solving specific problems. It's about helping students understand the deeper mathematical concepts so that they can apply them throughout their lives

Also, concerning my earlier point:

> The point should be to have a dialogue about their process and their learning, not require every student to follow the exact same path to the right answer. ... The child of immigrants might have learned a different way to solve a problem because that’s how their parents were taught where they grew up. If we just tell that student their way is the wrong way, we risk turning them off to math for life."

When you write "their own way", you should also know that math curriculum in the US, taught as algebra, geometry, trig, calculus, is a post-war construct because "the end-users of mathematics studies were at that time mostly in the physical sciences and engineering" (quoting https://en.wikipedia.org/wiki/New_Math ), while statistics and discrete mathematics are de-prioritized.

Quoting again from EquitableMath:

> While some mathematical skills and concepts build off each other, the forced construct of linear teaching reinforces objectivity. A prime example is how matrices is considered a precalculus standard, even though the only math skill needed as a prerequisite is arithmetic. This is highly detrimental to students because they are systematically deprived of knowledge they could access due to false constructs. Math teachers have internalized the sequences that have been predetermined by standards and textbooks, rather than sequencing learning based on (pre)requisite knowledge. In general, teachers teach math like a ladder rather than a web.
https://www.gocomics.com/doonesbury/1978/12/26
Wonder if some rules and ... oh, regulations? would create a situation where the renter would not have to worry about issues like this. Perhaps similar to rules and regulations that ... hotels have?
Hi HN! I’m the creator of Wishy.gift, which is a very simple and privacy-friendly wishlist service. You can create wishlists, and invite friends and family by giving them the unique URL generated for each list. They can then check off what they want to give, which will be visible to other participants, and not you.

I store all email addresses hashed with a fixed salt and SHA512, which isn’t encryption, but makes it more difficult for any attacker or unlikely future buyer of the service to use the addresses directly.

The only revenue is generated through affiliate links, and all tracking options provided to me have been disabled.
It'll come. As ethereum's scaling gets past the current growing pains and zkrollups like zkSync become prominent i expect enterprise interest will pick up, especially with initiatives like baseline protocol.

Companies can run their own private execution and data availability layer and have full control while not needing to worry about settlement.
The circle is a nice example where there is a simple analytical relationship between the radius and the circumference (1:2pi). Other basic shapes, like the ellipse, have no such simple relationship, even in pure maths. And when performing the experiment you mentioned, the strings are very unlikely to be in 1:2pi ratio, they will be within some range of that ratio.

The universe has some set of independent initial parameters. Whether they are the ones we know or there are some other, more fundamental ones, ultimately some parameters are there.

Even with a single fundamental parameter, that parameter will have some range within which variations in value don't affect the universe at all (like the 1/g64 example), and some range where changes in them would lead to a very different universe, potentially one that can't sustain life.

This idea of "probability" of the observed values of these parameters is then meaningless. What is the probability distribution of the "universes"? To say that the "fine tuned" universe is "unlikely" you have to posit a probability distribution, but there is no empirical data to then verify if this distribution is correct, and, crucially, there can never be such empirical data.

You might as well ask yourself why the universe is four-dimensional (or 11-dimensional) and not 2-dimensional.
I mean, where to even begin.

> "To do this sort of capital formation in the traditional finance world, you’d have to use centralized payment processors..."

Oh no. Anyways.

> "... (who would most likely censor you) ..."

Got any examples top of mind? I sure don't. Unless you're on the OFAC list which again, shrug.

> "... it’d be extremely slow ..."

Would it? Wires seem to be faster than Bitcoin by a country mile. Faster than ETH last time I ran one too, and with RTP and FedNow, that bar goes down further - should be as fast as Solana if not faster.

> "... the money raised would be much less ..."

Because it would be real money, not play money. Tokens are closer to frequent flyer miles in people's minds.

> "... and the raise itself would be very exclusionary."

If you mean "open to accredited investors" well, I'm ok with that.

> "You also couldn’t create a DAO out of it and have it be governed by token holders - the traditional system is just not set up to do this in any practical way."

You can't govern the same way via a set of non-binding twitter polls? Or like a SurveyMonkey thing?
Samsung Panasonic and Tesla embracing cobalt-free batteries
Tangentially related, maybe something like this autonomous robot could help deal with all those drums of DDT that were dumped in the sea off LA.
> And life likely wound up that way because its precursors—hydrogen and carbon—are readily available, it’s energy dense both volumetrically and by mass, it’s safe and it can be converted into various forms of energy directly and easily.

Yes. Most of the available energy is in the hydrogen bonds, but if you want to 'tame' neat hydrogen by binding it to something else, from all the stuff in the periodic table carbon is pretty much the optimal choice.

> Ultimately, the big unknown is the cost of synthesising Jet A. I think it will be low enough that it blows the hydrogen hypothesis out of the water, but I don’t have more than a hunch to go off.

To the extent one of the inputs to synthetic Jet A is hydrogen, it won't be cheaper as such. So the question really is whether the added cost is low enough that the easier logistics of a room-temperature liquid fuel makes the total cost lower. I'm slightly hopeful that this will eventually be the case.
Fair point, I stand corrected:-)
Am currently extremely pissed of with Expedia.

They have been sending me a long list of unwanted emails "Because I had dealings with the company". Which I most definitely have not.

And of course there is no way to "unsubscribe" unless I firstly log on. But the trick is that I don't actually have an account. So to unsubscribe from Expedia mailings, I firstly have to create an account.

Needless to say, I will never, ever, be doing any business with Expedia.
Our Descent: The Story of the Rise and Fall of Western Culture
> And there is the original Duke Nukem (DN1, DN2, and DN3) which I always would have liked to have the ability to turn down the volume for. Playing without sound effects was no fun and with sound effects was disturbing for the other people in the house.

Is there a good reason that most XT/AT era computers had no volume control for their PC speaker? I always wondered. My dad's XT had an incredibly loud speaker, I always felt bad playing Accolades Test Drive on it. When I finally bought my own XT I was very happy with the fact the speaker was a little less loud
> You remember that our government is spying on the entire world with active military bases located all around the world... right?

No, MY country's government isn't doing anything like that.

I guess you're talking about the actions of the US government, which I have not condoned.

So this is "whataboutism".

I find it funny, that nobody here's able to defend the CCP, without resorting to that.
In C you'd try to get an indirect jmp into the body of the low level compiled version of the word. So likely you'd just use an 'asm' instruction and ignore the stackframe that C normally sets up because that would be overhead you do not need.

Alternatively, you could implement your own data stack and use the regular stack for control flow, but this would incur a performance penalty.

See those () at the end of your 'next' are exactly what you don't want, they will mess up the stack. Now you have to start the definition of every word with something that eats up that return address and the stack frame set up at the beginning of the word definition again. You don't really need either of those. But you do need a data stack.
If you spend any time at all on crypto discord servers you will constantly get commentators saying that any particular project is a rugpull. That is par for the course and the skepticism is justifiable given the track record of frequent scams in this space.

That said I think this is an interesting idea but flawed execution, given that:
1)The most important part of the strategy in an auction is how high to bid (it's almost the only decision you make in the process). If the other side knows your maximum bid but you don't know that info for them you clearly place yourself at a huge disadvantage. A bad actor could bid you up to just below your max price and then stop just to screw you over, so you pay your max for something you would in normal circumstances get much cheaper, or conversely you are guaranteed to lose if someone knows your max and just wants to pay more. They can wait until you bid completely up to your max before putting in their first bid so they are guaranteed to get it very cheaply above your bid assuming noone else is involved.
2)They didn't seem to have much of a plan for success. That's pretty normal in the web3 world in my experience. There's a lot of "let's get there and then see what happens", but I think in this case it would have been great and more in the spirit of DAOs to have a vote and declare ahead of time "if we win we immediately donate it to x museum or whatever" so they don't have to pay for conservation and security.
It’s even older than that. It was originally released in the early 80s but is based on mail transfer protocols developed in the 70s.

Email dates from an era when it was safe to trust people connecting to your server because everyone knew those individuals personally.

That methodology hasn’t scaled in 30 years.
From the article:

> Would censor approximately 450 words and phrases, it said. The blocklist wasn’t active, but could be activated remotely. It was filled with political terms, including “Democratic Movement” and “Long live Taiwan’s independence.”

> After the government published its findings, things got weird. The list swelled to more than 1,000 terms, including hundreds of non-political terms like “pornography,” seemingly to turn the political blocklist into something more generic. Then, it disappeared. “They reacted,” Margiris Abukevicius, Lithuania’s vice minister for defense, told me. “It wasn’t publicized from their side.”

So it seems you're the one pulling some mental gymnastics.
China just hasn’t yet gotten the chance to commit as many atrocities abroad yet, which is something that it’s currently threatening to do. South China Sea, Taiwan, the occupation of Hong Kong, Silk road initiative, Predatory lending to African despots, Chinese naval base in Africa, China eating away at the Indian border, and the list goes on.
> $15 minimum wage, the Amazon tax, numerous renters' rights protections, a ban on police use of chemical weapons against protestors, and is now continuing the fight for rent control.

As a moderate, are these extremist ideals now?
I don't know anything about palamitic acid but I know that carbs are the stronger driver of heart disease in our diet. Apparently everything causes cancer and heart disease and it's the 19th century people that magically avoided heart disease.
It is also interesting to think from the viewpoint of Curry-Howard Isomorphism. Programs are proofs. Progress in mathematics relies on the ability of mathematicians to use other mathematicians proofs as their lemmas. That is possible because all mathematicians speak the same language.

But if every programmer has their own version of the base-library that hinders collaboration. And still the base-library must also somehow evolve all the time. Like you say, not an easy problem, but as in mathematics the ability to use other people's software as "lemmas" I think is (or should be) the key problem of Software Engineering research.
Any suggestions for Europe?
This reminds me of k8s’ «out of memory error» which turns out to be «kill -9» / SIGKILL which can also happen by k8s’ own «kill process when health check fails».

I have no idea who thought this was a good idea, but this needs to be fixed. Somehow.
An operating system a want on my laptop for so long now (native boot)...
Additionally it isn't that we have a clean slate in Germany (as an example) ourselves [1].

We can't trust any vendors. Be it soft- or hardware. Be it cloud. At least not when thinking about state level actors.

Nations need to think, as you said, about propper vendor mix and risk assessment.

[1]: https://en.wikipedia.org/wiki/Crypto_AG?wprov=sfla1
You can run Windows 3.1 which has a GUI more advanced than win 10 GUI. But 32 MB RAM ? Is there any Win 3.1 app which can use so much RAM ?
Androrexin
Androrexin

In case you are a man, there are a few spots where you need to ensure that you are putting forth a strong effort, and at the first spot on that list is the room. That is the reason we need to enlighten you regarding Androrexin male upgrade pills. This new recipe is a simple way for the normal individual to ensure that they are giving their closest to perfect in the room. Everybody merits the best with regards to their sexual way of life. It ought to be content, sound and dynamic. That goes for your accomplice just as yourself.
There are huge loads of alleged male upgrade pills out there, yet some of them are just not successful. We survey Androrexin pills and different items like tit to ensure that hello are deserving of our perusers' sexual experiences. We need the best for you. A many individuals simply have no clue about what to examine when seeing items like this one, and surprisingly less individuals have the opportunity to accomplish that work in any case. That is the reason we accomplish all that work for yourself and convey what we view as here in one simple to understand article. In our Androrexin survey, we'll stop for a minute this enhancement accomplishes for your sexual coexistence and how it analyzes to different choices out there.
Impacts and Benefits
Assuming you need to comprehend the reason why this enhancement is so successful, you really want to comprehend the issue it's revising in any case. The issue is men's degree of testosterone. As men get more seasoned, it decays. It's a characteristic piece of life which is the reason most men will encounter some type of sexual decrease.
The enhancement works with your body's normal cycles to address the awkwardness. With more testosterone in your framework, you should see some quick advantages, then, at that point, as you keep utilizing the enhancement.
Here are generally the advantages you should see when you add Androrexin Male Enhancement pills to your day by day schedule:
•Become Bigger and Harder
•Boosted Sex Drive
•More Sexual Energy
•Improved Sexual Confidence
•Longer Staying Power
•More Stamina
•Higher Endurance
https://www.homify.in/projects/1042322/androrexin-review-mus...
https://www.facebook.com/Androrexin-109283394835612
https://sites.google.com/view/androrexinofficial/home
https://androrexinreviews.tumblr.com/
https://www.facebook.com/Androrexin-102393692277553
https://groups.google.com/u/0/g/androrexin-male-enhancement-...
A private company in China doing whatever it wants. Ah yes.
from the article, quoting and translating

> Tun frere n’ad ne pain ne ble ne vin

> ‘Your brother has neither bread nor corn nor wine;

nope: ble is wheat in modern French, and corn had not been brought back from the new world yet when this poem was written.
Is the abuse typically just people re-signing up continually every two weeks? Or are there other super common abuses? This isn't my field and I have always detested the commonly required CC inputs for free trials, so interested to know more about the motivation from software builders.
None of the 386 models had on-chip FPU. That came with the 486.
@akling, I want to take a moment to comment just how amazing recovery can be. As someone who's suffered some similar substance issues. Thank you for being a great example of just how amazing of a place the mind can be when its trained onto something that gives us meaning and direction. I am in sheer awe of what you've created. Its incredibly powerful but yet so simple its staggering. I am so following the progress of SerenityOS (i get the name too, btw) and look forward to seeing great things come of it and from you.
Felt like reading Poe’s “The Gold Bug” all over again. Or Conan Doyle’s “The Dancing Men,” which is a blatant rip-off of Poe.
Jet fuel has never contained lead. Lead is still used in aviation gasoline, used by small propeller planes (larger propeller planes typically use turboprop engines that use jet fuel). But consumption of aviation gasoline is a very small fraction of the consumption of jet fuel.
> Take your time to solder all the components on the board. There are a lot of solder points and if you don't have patience in general, then this project might not be for you.

Understatement.
See also: https://en.wikipedia.org/wiki/The_Martian_Chronicles
You’re a sales and onboarding startup and you haven’t learned yet that this isn’t how people want to buy or be onboarded? Good luck.
No. It doesn't matter if you believe him or not. You're not thinking straight because you do immediately start selling the idea that anybody who believes it could be happening is probably an "enthusiastic lackey" for racism.
> Then there is Rails. Nothing even comes close

Have you tried Phoenix? It's really close. It's better in some ways. The data layer is quite different however. As much as I like Ruby, Elixir made a lot of things I liked about Ruby better
I meant that it happens in a given country on average every few decades. I took a somewhat slapdash sample last year and the median time of last violent collapse of government was 01945, 76 years ago. On average it happens in a few countries every year.
I’d forgotten how annoying it was/is picking between all the different Microsoft releases of the same OS.
Modern War Institute and Stanford Great Power Competition: AI and Autonomy
Maybe a nice GoFundMe.
I guess the idea is if you're studying EE and related fields: "crawl before you can walk"
Trivial to do in many modern terminal emulators, the most flexible approach being in kitty, where you can map clicks on filenames printed by ls to arbitrary actions: https://sw.kovidgoyal.net/kitty/open_actions/
From the Charter of Fundamental Rights of the European Union:

Article 11

Freedom of expression and information

1. Everyone has the right to freedom of expression. This right shall include freedom to hold opinions and to receive and impart information and ideas without interference by public authority and regardless of frontiers.

I think you are wrongly informed.
And, given yesterdays thread, the opposite.
Now nothing. No one who gives even one single solitary fuck about Chinese influence was buying Xiaomi phones. These phones are for the overwhelmingly dominant portion of the market that just does not care.
Drug head Joe Rogan suggested months ago the vaxxing techinique is wrong. When people then started to suggest nurses should "aspirate", they were professionally offended and refused to do it. You have to contact the Doctor in charge, if you want this special treatment.

http://www.koreaherald.com/view.php?ud=20211013001001
Just like weight loss can't be done with just diet or just exercise, promoting IPv6 isn't the only answer. We need proposals like this and we need to take on the engineering work to make class-E v4 accessible until 100% of the population has v6 connectivity.
Sure, many can, for example: https://sw.kovidgoyal.net/kitty/open_actions/
I think FTX agreed to return the same amount of ETH regardless of fx rates but let’s see. ETH daily volume is over $20b wouldn’t have made a material difference.
Good point. Those instances weren't "easy" though, they needed the support of the whole community, and in Ethereum's case the "uncensored" version still exists (Ethereum Classic).

It also likely would not be possible today, see the Parity hack in 2017, which lost people close to the Ethereum foundation a 9 figures amount, but didn't get forked away even though they tried.
"Long before" and "commonly" is a matter of perspective. It was first struck as coins about 2700 years ago, and was definitely used as money in a few countries at least 300 years earlier, and possibly as much as 3000 years earlier. There is no evidence to suggest that it was in wide use as money until about 2200 years ago, only in a few places like the Mediterranean. Then again, maybe there wouldn't be, since not many places had writing.
American power lead to a reduction in wars believe it or not. There would have been a lot more death and destruction, even with the mistakes America has made, than had there been this current inward looking naval gazing America. When Chinese power controls the world you’ll realise just how good we all had it.
Although I get the appeal of getting rid of time zones and agreeing on one universal time zone, I am not sure if the pros outweigh the cons here.

Having it be the next day when you wake up is really intuitive and kinda practical. Having 9.00 mean "some time during the morning" all around the world is also quite comfortable.

I think from the perspective of a travelling human time zones are more practical than not having time zones, especially since your modern devices automagically change them anyways. Such an "automagic" change could not happen when 9.00 suddenly means "middle of the night".

For non-traveling folks that coordinate via the net it could surely have it's merrits (which is why we have UTC on servers?), but even there I could imagine software could help.

E.g. calender tools could just have a tool that allows scheduling for international participants. You enter the locations and it shows you the different day cycles next to each other — because after all isn't this the issue? Finding a time where it is roughly day-like for all participants of the event?

Using a universal time zone wouldn't really help you there, because you would still need to know what 9.00 means in some other part of the world.