skysight-inc/HackerNews huggingface dataset:
one could conceive of a world where integrals are taught purely in terms of ... algebraic rules for manipulating integrals entirely in the realm of integrals without relying on their pedagogical grounding in limits

This is absolutely how I was first taught integral calculus.

∫x^n = x^{n+1}/(n+1) + C
∫e^x = e^x + C
∫(f+g) = ∫f + ∫g

etc. Only later did I really learn the details of limits and the rigorous epsilon-delta underpinnings in real analysis.

I used to think this was a bad thing, but now I’m not so sure. The word “calculus” does mean a system for calculation.
I wonder what a D OS would be like.
Sure but from a developer's perspective I've never found it compelling
>"Wasn't the design sound"

What's so sound about a plane that stalls by default?
Is radioactive coal ash (and other pollutants), from currently operating coal plants, falling from the skies worth it?
Idle mental judgement vs formal societal one with physical consequences.
This is the root of it, and something most on HN won't accept. Optimistic people generally see and seek opportunity (either knowingly or unknowingly) more frequently than pessimists.
"Many bacteria are equipped with a flagellum, a helical propeller that allows bacteria to travel."
The big question for Boeing is how they will transition to a post-737 world.

Until now, Boeing's business plan is that they will be building a starship for NASA in 2060, but you will still be stuck with a 737 on Southwest Airlines, a A320 on Jetblue, and never know that aviation could be better.

The 737 throws off a lot of cash, but the single-aisle monoculture makes flying miserable.

A 737 replacement will be expensive, take time to develop, and involve risk, but the end product could be the resurrection of the Boeing brand. Since there are so many 737-class airplanes flying, anyone who wants to see a better flying experience or is concerned about environmental impacts of aviation such as airport noise or carbon emissions would realize that a 737 replacement could have a greater impact than the widebody planes where competitive developments are happening.

You shouldn't have to fly international to benefit from 50 years of aviation improvements.
Why has the title been edited, I posted this story the other day with the "... with China's help" ending.

https://news.ycombinator.com/item?id=21850364
I have showdead on, but swiley's post doesn't display as dead for me.
1. Would you consider this project "mature", or still rapidly evolving? Any particular aspects you are actively working on?

2. Any other project ideas you are toying around with?

Kudos and cheers!
How do you do this on System 7.5? Would actually be super useful on a PowerBook I have where the trackpad goes wild on cold days before the machine warms up.
Center for the Study of the Drone Weekly News Roundup
BS! Which of these was done by the accountants?

1. Drive MCAS with only one AOA sensor.

2. Don't tell MCAS to look for (or even think about) bad AOA data or AOA disagreements.

3. Don't actually bother to tell pilots that they don't have AOA disagree warning lights.

4. Don't bother to tell pilots that MCAS exists at all.

5. Don't test MCAS subsystem to see what it actually does with bad AOA data.

6. Give MCAS a ridiculous amount of control authority, operating cumulatively over repeated applications to exceed what the pilot can manually override.

7. Change how the trim stab switch has been wired since 1966 and not tell pilots.

It’s not the accounts or union stewards that should be facing criminal charges, it’s the engineers. At a minimum, any PEs should be yanked.
> Rather, “futoko” is a noun to refer to the children themselves.

Futōkō (不登校) refers to the act/phenomenon of not going to school, i.e. truancy, not the children.
Other way around: if the hotel gives lower prices _elsewhere_ we'd lose out on price comparison sites.
It hasn't happened before, but now it will happen all the time, that's why!
Yes, and he didn't come from money. Grew up on a farm in Iowa.
Probably because it's a word that requires a sentence or two to explain what it means and it's a phenomenon which is ubiquitous enough to have its own meaning to begin with.
Because that's how it works right now (at least in the US, can't speak for other countries for sure), and I'm intentionally writing a question biased in the opposite direction of how yours was.
They already rewarded him after the first crash, not to say they won’t again.

> On December 17th, less than two months after the Lion Air crash, Boeing’s board of directors approved a twenty-per-cent increase in the company dividend and a twenty-billion-dollar stock-repurchase program, allowing Muilenburg, who had replaced McNerney as C.E.O. in 2015, to carry out even larger buybacks than in previous years. The board also awarded Muilenburg a thirteen-million-dollar bonus.

https://www.newyorker.com/magazine/2019/11/18/the-case-again...
> This is completely different from the "Edison never gave up and kept working till he succeeded" talks.

Yeah.. Its actually better, IMHO, because knowing when to move onto the next thing (and not letting your previous failure deter you from the next thing) is an important part of success. Sometimes the diversion lets you come back to the original thing with new insight later (or after your subconscious has worked on it for some time).
New 3-D Model Could Solve Supernova Mystery
Personally I've found the one reliable metric I have with which to evaluate decisions is: happiness. Everything else is inherently externally derived and I might have good models of how they affect me, but I can neither control nor reliably predict them. For example, I have a good idea of how something will impact me financially, but only to a point. I also can't actually control that outcome. How something affects my happiness, though, that is something I have the most intimate ability to determine. As far as I know something makes me happy, I can't know anything else more. Therefore I try to focus most decisions around what makes me happy, with other metrics thrown in as applicable.

One can choose to be rational and logical, but to what end? How does that serve you, does it? If it doesn't serve you, perhaps consider abandoning rational thought and logic for as long as it might serve to do so. We are not static beings and can be simultaneously rational and irrational. That's our power: to choose how we react and adapt.

Lastly, one thing I've learned the power of as I've gotten older, is the power and benefit of holding beliefs you know to be false. I used to never understand how people could believe demonstrably false things, but I now understand that even something as absurd as that has useful applications. Use it wisely.
For another size reference: traversing it takes about 20 minutes. 20 minutes of nothing but water on both sides. It's quite a surreal drive the first time.
[1] and [2] may help :)

[1] https://en.wikipedia.org/wiki/The_Best_of_Both_Worlds_(Star_...

[2] https://en.wikipedia.org/wiki/Data_(Star_Trek)
I've come to believe that humans are only really responsible for their behaviour when present, and then their behaviour is compassionate and kind. Most people, most of the time, are more-or-less running on automatic, like meat-robots.

In other words, if they are asleep they're blameless and if they are awake they're harmless.

I'm not claiming it's true, I'm just saying that it's helped me to be more forgiving and easy-going.
Just 'cause you appreciate a tree doesn't mean you're going to stand by it if it's about to fall on you.
Does anyone have copies of the next articles in the series? Wayback doesn't.
No, I don't, and I believe there's a site guideline about assuming good faith. The best rationale I've heard is from your sibling comment by simion314, but he himself qualified that specific cases are useless with respect to averages.
I find I interesting that the later stories are pure trees, no looping back paths. Seems much easier to write, but less of a “maze” feel to story.
My understanding is that the design is fundamentally flawed; the engines are too large to fit under the wings with the existing landing gear, so they were moved forward, thereby upsetting the balance between the center of thrust of the engines and the center of lift of the wings, thereby requiring a brittle MCAS system to attempt to compensate.

The MCAS system itself is flawed in a number of ways, but the core problem (in my opinion) is the attempt to fit large engines under a too-small airplane, in the name of saving regulatory / training costs.
>School is an upgrade from child labor, but I now have enough experience to know it's a downgrade from what I can learn of my own.

This might be true for you but I don't believe for 1 second that the common person is able to "learn on their own". Literally everything they want/need to know about anything is available on the internet but very, very few taught themselves to be educated.
It finally hit me that the whole point of that crap is to cause you to accidentally click on ads that you're completely uninterested in.

On mobile in particular there are sites that move the content around in such a way that when you click on a link in the content it will move an ad to the place you want to click -- KA-CHING!

They must use machine learning or A.I. to make it work just "right".
"Don’t be so presumptuous as to think your rude virtual exhalation of breath could represent all users."

It's representative of users that actually know what the hell is going on and have a clue.
I am very familiar with the purchasing process of satellites by LATAM countries. Basically the Chinese or the French (i.e. Airbus) come in and offer you a satellite that ranges between 180M-380M USD in price depending on what you want. The price includes a building with a ground station, the launch, and some basic training. If you negotiate correctly, the full telemetry is send only to you and you process it all locally. If you don’t, then they have a hook on you and hand hold you through the entire process - at an additional cost.

Additionally, after a country purchases one, they tend to have their own development path for the future ones.

For example, the Argentinians did their first four satellites with the help of the US (SAC-A, SAC-B, SAC-C, SAC-D), the next two were done by themselves (ARSAT-1, ARSAT-2), two more with the Italians (SAOCOM-A, SAOCOM-B) and one with the Brazilians (SABIA-MAR).

It is a process filled with a lot of politics, questionable monetary interests, and pseudo national pride.

It is the new shortcut process by which countries are entering the space era. Buy a satellite when you don't know what you are doing, then co-build it with somebody, then build it by yourself. It effectively saves you billions in trial and error tests that other countries had to go through... but it really begs the question of when is it truly yours, because if you don’t follow the rules (e.g. taking high res imagery of an area you are not supposed to), “your” satellite can easily be temporarily or permanently disabled... and there goes your 300M
then your stats are misleading. When you calculate per-capita, then blacks commit way more crimes than whites.
It's a historically male-dominated sport, and this win is a marker of a broader social movement around gender and gender equality. I don't view this any differently than recognizing racial breakthroughs in sports. One could question whether "firsts" should be cared about at all in any context, but I think that is a different problem.
Living in a densely populated city like LA just compounds the loneliness as you are constantly surrounded by happy people and groups of friends/family. I went through it myself for a few years. The best thing i did was to go find a random spot to eat out. Eating alone used to be really hard for me, but i got over it and i would come home feeling 100% better mood.
You got that right! I'm all for dogfooding, but at some point, it can turn into kool-aiding, if you don't take a look at how people out on the street are actually using your products (or trying to.)
Maybe the next CEO will actually try to fix things, seeing as how his job will likely depend on it. Fuck up like Muilenburg did and you're out too. It seems like the incentives may be correct now to focus on the right things rather than just cut costs as much as possible. Hopefully!
I'd recommend giving it another go and digging into the documentation. They've made the UX much less clunky and support panes now as well as tabs, proper copy/paste etc. My only wish is modal keybindings but if I cared enough I'd send a PR for them.

It was extremely barebones six months ago but it's come a long way, and faster than anything else I've tried.
Think it'd be worth trying on wsl2 again. The first version was too slow to use, but I am loving wsl 2 now. The integration between windows and the wsl2 vm is a lot more seamless than it used to be. You can navigate the c drive from the wsl shell and also do stuff like `explorer.exe .` to open a windows folder app in the current wsl directory. The vscode integration is amazing as well. After using a mac for many years, it took me about a week to be sold on using a windows laptop from here on out.
na, there are memory holes and all sorts of things that have no real-world analog...yet
Brain researchers capture a neuronal light show
>Conversely, his attempt approaching car manufacturing from first principles in the gigafactory has proven to be a complete disaster.

Lol yes, manufacturing one of the best selling cars in the country was a great disaster.
The Cybertruck doesn't make sense in EU. It just won't fit into the cities. :D
Epic MegaGrants reaches $13M milestone in 2019
I can't tell if you're being sarcastic, or if this is actually "brutal" in this context (a context I have no experience with)?
I'm surprised he held on this long. The showdown with the FAA was not the smartest tactical move.
>I think there are thoughts that you have had that have never occurred to anyone else.

Unless you created your own language that you think in this is most certainly not the case
Response is twofold:
I think the cars maneuvering is impressive.
How did they get enough power from a a DeLorean to drift?
Hail to MrFusion!
Windows terminal preview is another option. It has tabs and is configurable.
Obviously a country over 50x bigger is going to emit more CO2. At a minimum, they need to cook 50x more food, which they do with inefficient biomass or coal stoves.
1. Could you please explain the connection between economic growth and the population problem a little more?

I would expect economic development to gradually cause a decline in birth rates? Is there a GDP marker where delta GDP > delta population?

As far as overpopulation, the entire continent of Africa has roughly the same population (1.3b) as India with ~9x the land area so the absolute population density is not dire.

2. If you look at carbon emissions per capita, African countries are relatively carbon neutral. Ethiopia relies mostly on renewable energy and they are also building the largest hydroelectric power plant on the continent. I would expect younger economies to “leap frog” to cleaner and greener tech, having polluted less in total (than countries before them) by the time they attain middle income status.
> A couple of decades ago I worked at a company that had about 200 Mac's and a similar number of PC's. One of our favorite practical jokes was to disable the mouse on Mac's. The victim quite literally could not do a thing with the computer until the mouse was re-enabled. In sharp contrast to this most Windows users could function reasonably well without the mouse.

I don't mind this that much. It just shows that Apple elevated the mouse to an essential input system that must always be available, as opposed to being an optional accessory, and designed the system around that requirement.

You can make the same argument about not being able to do anything with a mouseless computer if the keyboard was disabled too.

In fact, even if the keyboard was unavailable, you could still use a computer with just a mouse + onscreen keyboard ...or a touchscreen. :)

So a physical keyboard is actually more expendable than a mouse.
America occupied Japan and performed political censorship.
Yeah, it was even on the wane as early as the 70s. Not sure why this article acts like it’s a new thing. “Monoculture” has been dead and buried for a long time, and that’s not a bad thing. The solution to unity isn’t “a return to monoculture”—it’s determining the right composition and interfacing between pluralities.
Even if they somehow managed to make the MAX safe no person in their right mind's going to want to get onboard it. Muilenburg certainly didn't help the situation either with all his talk of pilot error at the beginning.
Yes, racism exists. That was not GP‘s point though. The point was that enough kids in Japan are victims of racism that it gets listed as one of the top reasons why so many pupils don‘t want to go to school anymore. I also highly doubt that there are so many non-Japanese kids in local japanese schools that this is a major problem.
Not an expert in Japan's culture, but from what I read about it, there's some racism towards Japanese with Korean ancestors, and apparently this forces some people to hide their heritage.

There was also an article -- even posted on HN, I think! -- that some family names linked to historically lowbrow jobs (the "untouchable", such as undertakers and butchers) still carry some sort of stigma. Not their current occupations of course, but the stigma historically attached to those families.
In re: free will, illusion of: see "Planet Without Laughter"

> excerpted from "This Book Needs No Title: A Budget of Living Paradoxes" by Raymund Smullyan

https://www-cs-faculty.stanford.edu/~knuth/smullyan.html
Because these changes are going to require a new type certification, which defeats the entire point of just making a better 737 in the first place. It will no longer be nearly as appealing to airlines. They might actually be better off just axing the MAX entirely and continuing to produce the 737 NG, and then work on a clean sheet 737 replacement that doesn't suffer from all the compromises inherent in the MAX.
Clearly not a problem for the ethnic Japanese refusing to go to school, it seems like it's just been jammed into this ignorant argument from a template.
Thank you! That was a fantastic use of 42:14! Loved the style and what a great research by he and his team.
Given that the normal standard is that 'x' has decided to spend more time with his family and is given a very nice golden parachute (pun definitely not intended nor applicable) this is indeed quite brutal. That doesn't rule out he will get lots of money for severance but it isn't going to come with a smile and a handshake.
For a random example of racism in Japan's shools that simply don't accept that other ethnicities exist, here's a story about students required to dye their hair black in order to match everyone else - https://www.theguardian.com/world/2017/oct/27/japanese-stude... - in this particular situation the student had naturally brown hair, which most likely means a non-Japanese parent, and was bullied by the authorities because of that.
The following, classic comic speaks more to Windows-style UI pathologies, but it seems appropriate here as well:

http://okcancel.com/comic/4.html
There's no way they're going to develop a completely new plane. It may have new branding, but it's going to be a 737 at the bones. Since when has the airline industry ever considered passenger misery?
The issue is not that this plane kills people— although it is shocking that this plane does kill people.

The issue is that a culture of self-interested mismanagement from factory floors up to our highest political offices has led the global economy to depend on the success of this plane which kills people.

Even if somehow by chance they manage to make this plane kill fewer people in the future, there will be no reason to think the actual problem has been addressed.
There are medical limo services specifically for this, but I concede they get very pricey.
The Times article was the last straw, you know the board members all read that. Plus the space launch failure.
It's rare for mixed matches to be permitted. Many sports have a gender split where none is warranted through physical advantages. It's significant then not because it is unusual, but because the match itself is unusual.

It's nice to see some semblance of equality finally arrive where, unlike athletics or boxing, there is no reasonable basis to separate genders.
> haven't yet found a bank that would send me an email or text message for every single transaction on my credit card

I haven't seen that for credit credit cards (maybe due to the often-delayed auth cycles), but many debit cards (where charges are done in realtime) where I live do it by default, and my Amex sends you phone notifications if you add it in Apple Pay (even for transactions that were not done through Apple Pay)
> does not allow students any free time for any hobby

I don't know about you, but Japanese people who grew up in Japan, in my experience, are the most likely of anyone I've ever known to have active hobbies that they picked up during middle or high school. I don't know of any nationality or ethnic group I'd associate more with having active school-age hobbies.

> does not fight racism

That may be a problem for those who are from visible minorities, but the majority of the children who are refusing to go to school are broadly ethnic Japanese, or Okinawan. Seems like it'd be low on the list.
This situation is mentioned in the docs:

https://docs.python.org/3.8/faq/programming.html#why-do-lamb...

"This happens because i is not local to the lambdas, but is defined in the outer scope, and it is accessed when the lambda is called — not when it is defined. At the end of the loop, the value of i is 4, so all the functions now return 42, i.e. 16."

These sort of scoping gotchas are pretty common across all programming languages and are a great argument for unit testing. As usual the answer is be more explicit what you're asking the language to do:

>>> powers_of_x = [lambda x, i=i: x*i for i in range(10)]

>>> [f(2) for f in powers_of_x]

[0, 2, 4, 6, 8, 10, 12, 14, 16, 18]

Note the positional argument with default "i=i."

More discussion:

https://stackoverflow.com/questions/452610/how-do-i-create-a...
Pretty much the same experience. 2y old monorepo company with >150 engineers now, being slowed down by hacks upon hacks in the usage of the bazel build system with around 5 people at the company understanding how bazel works. And those people are discouraged quickly when trying to improve things because of the shear brittleness of the existing build files and "optionated" approaches in the community that don't quite cut our usecases. Even things like enabling remote caching and execution take many months (and even external companies) and still drag on.

Edit: I don't want to come off as too negative about Bazel. But I really think it needs more time and is nowhere near something that I would call a 1.0 let alone a 2.0
Ok, let's go one level deeper. How do you decide which argument makes sense to you? For example, say you choose 'X' or 'Y' because of criterion 'A'. Why criterion 'A'? What makes you think that that's a suitable criterion in this situation? Repeat ad infinitum."It's obvious", you say in frustration at the end. But is it really? There's a reason we are nowhere near AGI...

Anyway, try defining free will precisely. You'll find that it's an extremely incoherent concept (within our current model of causality) . Try posting your definition and I'll be happy to poke holes in it. There's a reason that the free will vs determinism debate hasn't gone anywhere for thousands of years. Perhaps we need a new way of thinking about causality.
"Many schools in Japan control every aspect of their pupils' appearance, forcing pupils to dye their brown hair black, or not allowing pupils to wear tights or coats, even in cold weather. In some cases they even decide on the colour of pupils' underwear."

https://www.bbc.com/news/world-asia-50693777