skysight-inc/HackerNews huggingface dataset:
If you're interested in math teaching in particular, you may like:

- How I wish I'd taught maths (Craig Barton)

- How to solve it (Polya)

The former is written by an already-successful math teacher, who applied others' research to further improve his teaching.

The latter is about the stages of solving a math problem.

I've had an interest in math teaching for quite some time, and recently joined a company (Yup) that provides 24/7 on-demand online math tutoring. Our tutors are trained to first figure out where the student is in their process of solving the problem or understanding the topic. Only then can they take action to help the student continue their learning.
So you don't believe that people ought to have the right to sue when injured?

Also, calling stuff "FUD" is a classic strategy to escape responsibility. For example, the tobacco industry claimed that lung cancer risk was FUD for decades. Other examples include groundwater pollution, asbestos, and lead paint.

Not to mention human overpopulation. Which is arguably the root cause of the COVID-19 pandemic. Along with HIV and Ebola, and likely more to come. And of course global climate change, which may well kick serious ass in coming decades.
Ok, good point, there is just one small detail: the "without cutting salaries" part.

Employees will love it, that's for sure, but I don't think employers will get even. You are basically giving your employees a 25% raise on their hourly wage.

There are success stories of companies that pay their employees above market value, either by paying them the same amount for less work, paying them more, or giving them particularly good perks. It is the idea of quality over quantity: by giving out preferential treatment, you get the best employees, and keep them motivated, and their increased productivity will make up for the higher cost. But there are success stories going the other way too: cheap, borderline slave labor and a high turnover. Sometime a high volume of low quality work is effective.

But in most cases, the usual market value is what works best, that's why it is the market value.

I am not saying that working less is bad, but it is a bit unfair to have the employer shoulder all the costs. Maybe make it half/half: 10% less pay for 20% less work.
Why? UK includes Scotland, and you can easily go 600+ miles from a point in northern Scotland to southern England. Even in England, Liverpool is 200+ miles from London, and there are farther places in England.
That's also how groceries were distributed in rural areas of the Soviet Union, so this way pre-dates the 90s.
This doesn't impact on the security promises CT gives us in practice because it's just one log and all extant CT policies require multiple logs.

However some of the unfinished work on CT means that we're more vulnerable here than would be ideal.

For example: An adversary who does have the SCT private key can make any SCT. So they can make one which says this log saw a certificate last month, before their compromise, because that's just a date change and they get to pick what is signed. This claim would be untrue, but nobody would automatically notice that.

In theory the complete CT system could detect this SCT - at least probabilistically - because clients which are shown the SCT could periodically check whether a log consistent with that SCT actually exists and report mysterious SCTs that don't match. But that isn't yet built, a Chrome which is shown an SCT from a trusted log promising the certificate was logged last month just takes that as gospel truth.

Now for Google this is pretty satisfactory because their CT policy requires that you use their (Google's) logs. But for a third party like Apple it's a bit less comfortable. If the Google logs suffered a security breach, Apple has no reassurance that they would find there was a problem short of Google voluntarily letting them know.
From Paul Graham's RAQ:

http://www.paulgraham.com/raq.html

I'm about to become a teacher. How can I be a good one?

The best teachers I remember from school had three things in common:

(1) They had high standards. Like three year olds testing their parents, students will test teachers to see if they can get away with low-quality work or bad behavior. They won't respect the teachers who don't call them on it.

(2) They liked us. Like dogs, kids can tell very accurately whether or not someone wishes them well. I think a lot of our teachers either never liked kids much, or got burned out and started not to like them. It's hard to be a good teacher once that happens. I can't think of one teacher in all the schools I went to who managed to be good despite disliking students.

(3) They were interested in the subject. Most of the public school teachers I had weren't really interested in what they taught. Enthusiasm is contagious, and so is boredom.
https://developer.apple.com/library/archive/technotes/tn2339...
Indeed, MOSIX or Kerrighed
http://www.kerrighed.org/wiki/index.php/Main_Page
The thing is, when I'm asked to send sensitive documents over unencrypted email or something, then I'd rather use the fax option. And I don't trust any internet gateway, I go to some local store with actual fax machines. I kinda sorta think of it as more secure than the internet, still?
You can do it but you need to talk with the head of that program to see what is involved. It might requires to take a few extra courses to fill in the gap.
Thanks for the feedback. For you, would the social aspect with natural traffic coming in make the price worth it?
Having watched their briefings each day in Jan and Feb, this is absolutely not what the said. If you're going to misquote them, at least provide sources.
I don't call myself a Python dev, but work with it enough... and I am tripped up by environment issues on a weekly basis. (Not just on my main workstation, either.)
The point is, simply, no censorship.

Communities (in the broadest online-global sense) can curate and filter content to the point that such content practically doesn't exist within a particular online community... but it does still exist and can be accessed, if you venture outside those filters and curation boundaries.

Clearly, that raises a lot of important and complicated questions related to community values, ethics/morality, human vices and virtues, as well to local/state/global laws, but we're facing those questions in any case.
So it sounds like more of a packages thing than an interpreter thing; basically "DLL hell" all over again.

Setting aside all other axes of comparison, it sounds like Node really learned from Python with regards to this problem. Install Node itself, do an NPM install, and you're golden.
Show HN: A quick back-end for prototyping and mocking for front-end developers
> The systemd project seems to take extreme care to adhere to the spec when implementing features. They don’t adhere to “this is how it used to work” which is where the bulk of the issue seems to be.

Really, the issue here is that "how it used to work" is mostly unambiguous, but I have no clue what you mean by "the spec", and I suspect you're actually referring to a multitude of specs, several of which were only created in the process of writing the relevant systemd components.
No, it reads the whole file at once: https://git.savannah.gnu.org/cgit/nano.git/tree/src/files.c#....
NIH? CDC? Their statements were more accurate.
https://en.wikipedia.org/wiki/Will_no_one_rid_me_of_this_tur...
Or if you don't want to go source-based, maybe Void or Alpine
I don't really get the down vote here, if people think trying to silence someone would actually make conspiracy theorists less likely to believe this guy, then I'm kind of shocked?
Show HN: Logistify AI – Airbnb for warehousing/storage
I'd love to see a proof of Fermat's or Mazur/Tate without using any category theory. I suppose you could define lifts between categories by being explicit about the morphisms and functors but that's just category theory without the name.

As for the second part, it's not that one single proof or another is easier with category theory. But the entire presentation is very elegant. Thinking of Aluffi Chapter 0 where he uses universal property extensively to simplify a lot of proofs. My personal favorite presentation of Algebra, but everyone has an opinion here.
This is my biggest gripe with KiCAD. No matter what I do, my libraries end up messy.
Speculating here based on my experiences in the past building my own physics engines: running along a wall could speed you up a little bit depending on how they’re handling “keeping you outside the wall”. One common/simple way is to apply x1 = x0 + v*dt, calculate collisions after the moment calculation, and then fudge your position back to being inbounds. If I recall, Q1 used simple bounding boxes on all of the entities as well and there’d probably be some (pardon the pun) corner cases in the “keep out of the wall” algorithm.
The form that the incomplete data took was part of the problem.

Adding numbers to a spreadsheet is one thing. When the same data takes the form of an NJEM or Lancet paper, it definitely implies--and some cases, outright says--more than "FYI: 37/53 people got better when we did [this]." Part of this is how papers are ordinarily written, but I think the authors (and editors) should have stopped all over the word "improvement" in those manuscripts.
The Merlin was developed for the Falcon 1, at a total cost of $90M (including the rocket itself; and Kestrel engine for 2nd stage).

It was enhanced for Falcon 9, which has a total development cost of $300M for the first versions, including rocket, tanks, second stage, Merlin Vacuum.

The RS-25 was developed in the 70s for the Shuttle, and had a quoted cost of $47M at end of Shuttle life. This is literally the cost to make a few more after all design and testing was done. NASA has spent over $15B developing the SLS, why are they paying three times more for these engines?
> considering we may be less than a century from self sustaining space stations

The jump between space stations and interstellar travel is huge. I agree that it's improbable that we're the only planet with life, but being visited by aliens is as, if not more, improbable.

Consider the age of the universe, our (humanity, with the ability to apprehend the existence of alien life) existence in it is but a blip. What are the odds that one or several forms of life capable of interstellar travel exist during that same time period, not before or after. That alone, among myriad other reasons, makes me pessimistic.
The IHME coronavirus model keeps being wrong. Why are we still listening to it?
Any minimal CSS for prefers-color-scheme: dark?

Only aware of https://kognise.github.io/water.css/
> Except of course all the Plan 9 garbage (like Go's hand-rolled assembler) brought in to underpin Go from the 80s

This is unfair criticism. If Go had used LLVM, it would affect its selling point (fast compile times) and authors knew the plan 9 toolchain well.

Go the language feels like it is from 80s. But its toolchain is not at all bad. LLVM monoculture is the last thing one would want. Obligatory reminder that LLVM has its flaws too..
I'm not making a slippery-slope argument or freaking out over anything. Just noting the metric you are using will always prefer a more authoritarian response. I.e., did the policy work to silence every example I can find for any conspiracy theory that might survive to gain attention? Defenders of free speech obviously want us to take the bad with the good.

As for the internet, I think of it as technology that brings advances also brings new problems. Sometimes we just have to accept them.

Not that I'm against YouTube censoring their content as a private company, by the way. Just defending a quote here.
And anything by P.J. O'Rourke. Parliament of Whores was entertaining.
We are, thats what the military and intelligence agencies do, and why we have a retaliatory nuclear arsenal.
It's a shame hard technical subjects require dynamical skills more than flash card sized facts and instant recall.

Maybe if you can figure out how to stuff a wall sized whiteboard into my phone like room-scale AR microfiche.

People will just assume I'm playing beat saber
Yes. The last one I executed on was to do in depth fundamental analysis on all the ASX listed biotech/pharma companies (there are about 70 of them). Out of this process I found one very undervalued company that I took a large strategic investment in and joined the board to help turn it around. This has turned into a very good investment, although it has taken up a lot of my time.
> I might also ask why you aren't protesting Hacker News having moderators? Content is deleted from this platform all the time.

You don't see the difference between debating whether there should be moderators and debating what those moderators should do?

Nobody is questioning whether YouTube should moderate its platform. We are questioning how they moderate it.
Offices are hardly the problem areas to reopen - most of them can go remote.

It's the places that can't go remote that is the problem, and those are exactly the places where they need to be open many hours, in order for customers to be able to come.
I’ve had similar experiences with Ruby (and Rails). I loved the language and it paid the bills for a large part of my career. But the tooling and distribution are abysmal.

I can count on one hand the number of times “bundle install” has actually worked on the first try. Getting an existing project working on a new machine (sans docker) is an exercise in frustration.
100% legit way to earn money everyday
Grow your account from $0 to $10 every 30s by clicking on ads
http://fte.triptohell.info/demo

There ya go!
I use Ubuntu, one gets (something like) 'you can install with apt-get install missing-program'.

I've often wished it offered to do the install; I guess it doesn't because that might break apps trying to call the non-installed program, and messing with history/clipboard is not so good usability wise.

I wonder if there's some other built in buffer, or whatever, that could be used to achieve this? So, for example, it could say "press ctrl-alt-v to paste that command now" but still end the program so that a calling program can be sent a "failed to run code"?
It is the default.

This behavior is controlled by the KillUserProcesses=
setting in logind.conf, and the previous default of "no" is now
changed to "yes".

https://github.com/systemd/systemd/blob/2d4f8cf467b6825c9127...
Yeah but that’s almost my point; 20k/m is an order of magnitude less than 10 million/month.
No.

stevebmark said "I've never seen a bad or immoral or harmful idea die out when more people learn about it and scrutinize it"

So I gave examples of some ideas that did in fact die out when people learned about them and scrutinized them. My argument was that it's naive to think censoring ideas this time will be on the right side of history.
Yes especially shitty ideas.
The same CDC that to this day says masks don't prevent the wearer from getting infected?
Ask HN: What's your biggest pain point in your life?
Void Linux, amazingly awesome distro.
(Image of the shared document - https://ibb.co/b1Kqk2w)

My friend and I follow a plan where in both of us have to study 5 days a week at least 30 minutes a day. We write what we did for each day in a mutually shared document. If someone fails to do 5 days in a week they pay the other person a fine of $2*(5-no of days task done). This has helped us to stay on track and is helping drastically to get the work done. Neither of us has paid even a single penny to other person because none of us missed even a single day and we have got a lot of work done.
> Many may disagree, but I think we need to throw out this concept of "disinformation" entirely. I don't believe in fighting "bad ideas" by suppressing them, I believe in shining a light on them. Let the truth fight for itself.

Your argument is flawed on many counts.

(1) You’re forgetting that the people subscribing these 5G conspiracy channels on YouTube by definition already have access to YouTube and likely the rest of the web. A plethora of true information is already available to them.

(2) Stop anthropomorphizing truth: people fight to promote what they think is true.

(3) Even if the first amendment applied here, recall that it has been established that the first amendment does not protect shouting “fire!” in a crowded theater.

(4) How can you claim that the truth will fight for itself when you’re unwilling to even address the very convincing counter argument you so helpfully included at the end of your comment?
When did scientific racism die out? Mainstream US publications are still publishing op-eds that assume scientific racism is a legitimate topic. This has been going on since the country was founded. I'm not sure how effective a disinfectant sunlight is if it takes centuries to work.
The vast majority of electrical generation equipment, which is to say virtually all of it, is designed to either shut down or isolate from the grid when a disruption of electrical grid frequency is detected. This is to protect both the equipment and the grid, in the case of mechanical generators and even some solid-state generators connection to a significantly off-frequency grid (e.g. due to severe load imbalance due to loss of interconnection) will cause physical damage to the generators and possibly to transmission equipment.

So yes, windmills will come to a halt because they are designed to. Or, more specifically, they will feather their blades and continue to rotate idly while not producing power in order to ensure adequate hub lubrication.

There is a significant concern that, even in a scenario where all power plants are undamaged, it would take a significant period of time for plant operators and distribution system operators to restore service due to the need to more or less restart everything. Something very similar happened during the California power crisis and the great Northeast blackout, in which undamaged power plants were offline for an extended period of time due to the difficulty of restoring grid condition to normal.

Even under normal conditions of a stable grid, when power plants start (e.g. due to expected increase in demand) it takes hours from startup to connection to the grid. Most renewable generation methods (except hydro) and the newest natural-gas turbine plants can start much more quickly (e.g. 15 minutes), but this assumes that they will be connected to a grid which is operating at their design frequency, which would be very difficult to achieve if there has been a significant loss of generation.

And just to worry a bit more, a significant amount of electrical generation, especially in plants capable of load following (quick response to demand), is via natural gas. Natural gas distribution also relies heavily on compressor stations which run on, well, electricity. These stations have backup power capability but recent experience in the Southwest, during the 2011 winter, shows that this is not entirely reliable, and that severe events can disrupt the natural gas supply as well.
There are huge differences between YouTube (a platform for user-generated content) and a newspaper (a publisher). The latter curates and is legally responsible for anything it publishes, the former isn't.

I think YouTube is a lot closer to AT&T than to the New York Times.
Ask HN: Logic Design to Hardware
I have used something like Quartus (from Altera) in past to do logic design. How do you go from logic design to something tangible (e.g. hardware protype)?
> https://news.ycombinator.com/item?id=20019375

This is an amazing explanation.

If this is the explanation, why didn't the Pentagon just say so?
Not only that, the truth as it's taught in history books was relatively short-lived. Prior to mercantilism and the industrial revolution, slavery and serfdom were basically equivalent. There was a lord and you worked for them in exchange for room and board and protection. You might not love it, but there wasn't really anywhere else to go for anybody who couldn't raise a military force and become a lord themselves.

Then suddenly there were factories who would hire anybody who showed up and pay them real money and plantation workers started running off to work in the factories left and right. It was no longer that people stayed because they had no better option, they were then being forced to stay against their will. The dynamic changed. Chains and beatings entered the scene to keep slaves from running off. They did anyway, so their replacements had to be forcefully kidnapped because there were no longer any volunteers.

The whole thing collapsed and was dismantled in a relatively short period of time after that.
More discussion here: https://news.ycombinator.com/item?id=23057969
Sure it is. All kinds of ideas died when information became readily available, even when the authorities tried to suppress them.

For example, the idea of a nobility class.
The executive is responsible for prosecuting cases, not the judiciary.
My argument is a bit different.

YouTube is a public platform because it is viewable without an account or membership.

If you had to log in to view a video or read an article, then it would truly be private.

I think we’ve gotten to the point where we need to define a clearer set of rules with stronger protections of speech on these open platforms. (Closed platforms can do whatever the they want, as always.)
This actually points out what I think is a problem.

The Windows Store is no longer only sandboxed apps.

I wanted to install the Line App (I live in Japan and everyone uses Line and I hate typing on my phone). I have both a Mac and a PC. On Mac I go to the Mac App Store and install Line. I know (believe?) that the app is sandboxed and short of OS bugs can't spy on me.

I thought Windows Store was the same but then I saw Python on there and was like "wait a minute, that can't possibly be sandboxed on Windows". So I investigate and ... yea, many apps are not sandboxed. If you look at the Line App (or WhatsApp or Python or FB Messenger) or many others they list

> Access all your files, peripheral devices, apps, programs, and registry

Which if you dig further Microsoft says

> Access all your files, peripheral devices, apps, programs, and registry: The app has the ability to read or write to all your files (including documents, pictures, and music) and registry settings, which allows the app to make changes to your computer and settings. It can use any peripheral devices that are either attached or part of your device (such as cameras, microphones, or printers) without notifying you. It also has access to your location, and can use platform features, such as location history, app diagnostics, and more, which are denied to most Store apps. You can't control most of the permissions for this app in Settings > Privacy.
The first one that comes to mind is the arrival of the Conquistadors, from the point of view of the locals. Even in retrospect, could they have any reason to believe it was possible? Well, not really, no. Invasion generally, maybe, but not from another hemisphere.

It has to be something that's just not accounted for in your worldview, something you couldn't expect based on anything you know about. A meteorite wouldn't be a black swan for us, but I think it would be for a society that hadn't discovered them yet. A meteorite strike on London circa 1800 would have been a black swan, because at the time people (Europeans, anyway) thought that shooting stars were atmospheric phenomena. Large rocks falling from the sky just wasn't in their cosmology.

https://en.wikipedia.org/wiki/Meteoroid#History
Regardless of whether they helped public perception, should they have been censored until public opinion caught up?
How might a regular consumer like me get this ingredient information, if I wanted to find out where my food comes from?
$ head -1 /usr/bin/dnf
#!/usr/libexec/platform-python

RHEL 8 uses a separate internal copy of Python for dnf, so yes, you can run dnf without the package which provides the python command.