skysight-inc/HackerNews huggingface dataset:
I like processing the markdown through Jekyll to create a web site that is used by both tech and non-tech. So the site is auto generated from the last change by an engineer.
Shit happens (a spy makes his way to your organization). In large companies, especially such as Twitter, there are processes to handle such cases.

The process does not include firing the employer first thing in the morning. It includes calling the equivalent of the FBI for your country.

The way Twitter failed to handle this case is staggering.
I strongly dislike these kinds of articles/posts due to one reason:

if you're going to prove such a fundamental thing, can you please provide the axioms that we start from? I.e. "we know" that a - a = 0, multiplication is distributive, and a x - b = - a x b. These seem arbitrary properties and "equally" fundamental to -a x -b = ab. Either start from peano and prove everything along the way, or tell the reader your assumptions. Don't just divine things along the way.

EDIT: Assumptions are in the third paragraph of the post. I highly doubt they were there when I wrote the comment. Either way, my concern has been resolved.
As far as I can tell (I attend UC Santa Barbara, where graduate students started striking Thursday) this has only strengthened the resolve of the protesters. There were complaints about the strike "hurting the quality of education" which may have turned some against the graduate students involved but with this move (specifically, firing 52 number of graduate students, not providing appointments to others) I can only see the issue getting more heated.
He also eats NMN, resveratrol and metformin (not for diabetes, but for anti-aging). He talks about these measures that he takes and the research he uses to motivate them in his podcast with Joe Rogan (can be found by "Joe Rogan David Sinclair"). The research is not as conclusive yet as to be fully agreed on upon everyone after rigorous testing up to WHO standards, but it is solid enough for this researcher (in the field of aging no less) to consider these measures valuable.
I'm too lazy to cite sources but I'll say I've read plenty that confirm that it is not 'airborne'.

Nonetheless, I understand that it's aerosolised and this does carry further than just a sneeze to the face. So, worse than crooked-v says, but better than airborne.

Happy to be corrected though.
I don't agree it's a logical move.

a) tap water is going through decontamination procedures

b) there is no evidence that tap water can transmit virus

c) if you don't trust tap water you can boil it easily

d) even in single household people are not really drinking from shared pool of water

It can be argued that it's better to have water and not need it rather not having it in the need, but on the other hand if you're at the point where basic needs like water and electricity are not provided anymore lack of stockpiled water is unlikely your biggest problem.
Remote is the next (current) big thing.

This is the answer to all this madness and greed. And coronavirus too.
That's exactly the expected result of rent control!
I didn't check; I just use "they" when I don't know
This site had more intuitive explanations for things like this, including imaginary numbers, calculus, etc

https://betterexplained.com/articles/rethinking-arithmetic-a...
Most companies start out with people that are flexible and capable to do a lot of different things. As you grow, it becomes more and more important to have specialists that focus on only a small fraction of the overall work you have to do as a company. Here is what I would do:

* let people work in small teams/duos

* share knowledge by using a Wiki [1], especially the leaders (the flexible people) should write down as much as possible, but collaborate on the knowledge base (answer questions, add stuff that's missing)

* take meetings as needed (don't overdo this, nobody likes to sit in unnecessary meetings)

* automate as much as possible, the common developer does not need to know exactly how the build pipeline works (but a few people should)

* let people try out new things, this keeps them motivated and improves themselves as well as spreading their own knowledge to co-workers

[1] I found this to be very efficient if you have a team that has the right mindset. If you start out with people that are not used to document stuff, it'll be hard to get your knowledge base going. You can take a look at the product we build Emvi (https://emvi.com/), which aims to solve some of these issues.
Les Tontons Flingueurs
Those Vikings are sure damn smart...
The typical example of a field is the collection of rational numbers. These are still numeric, so they might not seem too exotic. Similarly, the typical example of a ring is the collection of single-variable polynomials with ringed (integer) coefficients. In both of these examples, the product of negatives is positive.

A more interesting example: If R is a ring, then R-valued square matrices of fixed size also give a ring, using addition and multiplication of matrices. Matrices aren't just positive, negative, or zero; they can have a mix of positive and negative entries. In these "matrix rings", the product of negatives isn't exactly positive, although I bet that somebody can make this more rigorous. (Come to think of it, this applies to the rings of polynomials, too.)
assuming 'what happened to X' involves looking in logs
I don’t like having extra steps to convert things to more readable formats because it’s expensive and boring and tends to get out of sync very quickly.

If non-tech people on a team need to understand, in detail, a technical process, I think it’s easier to teach them to read through a script than to pay a tech writer to document the script, all the time.

I’ve run into this problem with non-technical project managers who want to understand in detail. If this level of understanding is necessary then it’s possible to scan a source file to read comments.

Or generate documentation from source and dump it on a web server somewhere.

Although lately even non-technical people are able to read and edit markdown files on GitHub.
summary:

-1*-1 =
-1*-1 + -1*1 + 1 =
-1*(-1 + 1) + 1 =
-1*0 + 1 =
1
After London, I traipsed around APJ for five years with a vendor -- NZ was the only place that I really liked. Absent a hard commit locally it'd be a serious consideration.

Great climate, population, soil, culture, space, costs - I'm wary about recommending it in case people listen to me.
Syncing Sieve rules in Fastmail the hard way (2017)
Perhaps all that will be implemented is character cell windowing systems.

And Doom. Definitely Doom.
I don't understand what your statement has to do with my post, or what your conclusion has to do with that statement.
So for the n+1:
For us there are lots of problems.
Bluetooth headsets seem to make it nondeterministic if and how sound works.
Sharing and videoconf have sometimes extreme bandwidth problems.
People aren’t getting into the conference sometimes.
There's a subtle point to keep in mind when generalizing to rings/fields. The concept of 'positive' and 'negative' are defined in terms of an order relation,
e.g., 'positive' means >0 and 'negative' means <0. The integers / real numbers have the usual order relation such that the additive inverse of a positive number is negative and vice versa, but an arbitrary ring or field might not even have an order relation.

For example, the integers mod n is a ring, so (-a) * (-b) = a * b holds, but it doesn't make sense to call a number mod n positive or negative, since -a mod n effectively means n - a mod n.

(posted an earlier version of this comment on susam.in.)
> other than showing that I'm intimately familiar with the dynamic from spending a lot of time on both sides of it.

Thats a pretty good argument for it to be relevant.
We'll never know, and this is exactly the problem with this kind of web pages. This is pseudotaxonomy.
Yes, that book is the best book there is. I myself learnt from it. But it is a little in depth.

My idea of this book was to team awk quickly. This is an intro book and after 'discovering' awk from my book, users will surely read the larger book
Even worse would be a window system or browser built on SGML or one of its mutant derivatives. Imagine a world where servers download tag soups of structured text with angled brackets and attributes to define formatted text, styles, and interactive users interfaces! It could only be worse if nobody could agree on which mutant derivative of SGML to use, so there were several different ones, and then a totally different style language that was completely syntactically unique, so you could not use the same syntax and tools to write and edit all the almost-but-not-quite-entirely-unlike-SGML syntaxes mish-mashed together.

Oh wait. That IS what we have today! Never mind.
Thank you! Yes, everyone learns in their own way. I am happy that you found the book useful

And yes. The official boom is very good and in depth
He has put some detailed calculations forward. Not sure how that's not concrete. Would you be able to make a single Biden Policy, or even better one that has actually been scrutinised?
Last I heard the number of 'mild' cases was very low, and low enough to not make it a talking point as far as diminishing the seriousness of the situation.
The explanation that appeals to me:

If number N is an arrow on the number line from 0 to N, then multiplying N by -1 flips the arrow with the result -N. Multiplying by -1 again would be another flip, taking you back to N. So a flip followed by a flip is same as no change (i.e. multiplicative identity 1).
Find it utterly bizarre the dozens of comments here about a designer who obviously put a lot of effort in didn't consider the very basics and HN commentators are so enlightened/knowledgeable they can point it out in 15 seconds.

How about this counterpoint: the manufacturer knows exactly about the emergency requirements of an airplane and that's included in the design. An average size male need to half turn sideways going down an economy aisle already.

When not in use these aisles would be a joy due to the buffer space, for both those in transit and those sitting.

The rampant Dunning-Kruger that exists on this forum is honestly quite concerning some days. Take a step back and think whether this company has not dealt with this problem? The onus of proof is on all the commentators saying otherwise.
If I had to choose I’d rather believe someone that accomplished rocket reusability with prices ridiculously low compared to all the competitors rather than someone that has no idea about the difference between a steam engine and a rocket and probably never heard about the rocket equation.
Limehome is looking for a Back end Software Engineer (Node.js) (m/f/d)
Hahaha I can assure you that it is not.

I have written a few books and I copied the text files from my Go book.

Apologies.

I didnt get to creating a gitbooks for this book.

I am planning to statiscally generate a website and host it via github itself, rather than gitbooks.
Add e2e tests and design docs for code repos.
MySpace just as one example.
I like this “master read me” approach and try to also reference the lord of the rings poem to both try to make documenting fun and to explain the intent.

Three Docs for the Product-kings under the sky,
Seven for the Dev-lords in their halls of stone,
Nine for Mortal Men doomed to die,
One for the Dark Lord on his dark throne
In the Land of Mordor where the Shadows lie.
One Doc to link them all, One Doc to find them,
One Doc to bring them all, and in the darkness bind them,
In the Land of Mordor where the Shadows lie.
Yes, that is my Go book. I copied the template from that book thats why it happened
Like mentioned in another comment on this thread, the assumptions are well known field axioms. They form a good starting point.

And why start with Peano axioms? They seem like a bad starting point because it would take pages upon pages of proof and it won't easily extend to other algebraic structures like rings and fields.
Ask HN: Why didn't Python-Webkit take off like Electron or NW.js?
The Python Webkit DOM Bindings Project made python a full peer of javascript when it came to accessing and manipulating Webkit including HTML5 features. In essence, it could completely replace Javascript to help one build faster, more capable web applications using Python and HTML5.

With the limitations (and also the contempt that many programmers, including me, have for javascript) one would have thought that we would have seen a mushrooming of apps built with Python-Webkit. Rather the project seems dead now.

What went wrong with it?

(Python Webkit DOM Bindings - https://www.gnu.org/software/pythonwebkit/ ).
Why are you assuming that a lot of companies that fail don't do that?
A simple cat implementation in JavaScript, Go, Python, and C
Name your favourite:

- official funding with oversight, including democratic participation of all parties, as well as transparent rules (eg equal screen time).

- private media without oversight, heavily favouring one party and in return getting kickbacks through eg state grants or contracts to related businesses.
This would be clearer if the -1 was in parentheses (I can't do it because I'm on mobile). I think you are missing a plus sign on line two.
“The Mess We're in” by Joe Armstrong (2014)
Now also in Scheme (GNU Guile)
>if you trust the numbers

In which case all hope is probably lost on this hypothetical you.

China has way too many incentives to lie, and has consistently demonstrated that lying is how it operates.
I understand your point. Your interpretation of my interpretation is not giving me the benefit of the doubt - i said higher susceptibility for certain population - not that you would be safe if you came from a certain population. That is, still, the gist of the paper. It is a hypothesis that different populations will have higher risk of acquisition (Chinese) than others.
Git: How to Find Modified Files on a Branch
Have a quick search online, and you'll find plenty of alternative window managers for Windows. But it's besides the point, because both styles of graphical windowing systems can support alternative window managers.
While well intentioned, I really don’t think this should be built by anyone for use on an actual patient. As mentioned in other posts, mechanical ventilation is only part of “life support” with a typical ICU admission for ARDS requiring: establishing peripheral IVs, central venous line (giant IV in neck to heart placed under sterile conditions), intubation (Which requires expertise and advanced equipment), oxygen (lots in terms of liters), medications (inotropes, sedatives, paralytics, nutritional support, bronchodilators, etc.) urine/foley catheter, the ability to suction the airway, nasogastric tube, bedside monitoring (arterial line, capnography, etc) potentially chest tube, dedicated bedside staff and access to X-rays and CT, blood work (particularly Arterial blood gas analysis for mech vent) to guide process, specialists for consults and this doesn’t include what else is needed when other systems fails (as is this case in ARDS: kidneys can fail which needs dialysis). Also, mechanical ventilation needs heat and humidification (requiring about 1L or sterile water every 12-24 hours) so you don’t jam up the airways with a mucus plug; so you need a temperature probe on the vent circuit as well.

Also, mechanical ventilation is an aerosol generating medical procedure and even with the proper filters can still expose people in the surrounding meter or so to a virus.

There’s also a great little unit that was used in Vietnam war called the Bird after the inventor - simple and clever and should be able to be cheaply manufactured or even potentially DIY but I think it required a high pressure gas source to drive the tidal volume.
try hosting your own dnscrypt-proxy in combination with https://github.com/notracking/hosts-blocklists. That will turn off most trackers on your entire network.
Could you please provide the reference? The ventilation procedure is very difficult and dangerous to carry out, and I've seen people confusing oxygen mask and related devices (as treatment for mild syndromes) with ventilators.
> The little "e" in NeWS stands for "extensible".

But maybe that capital N is for Non .. (kidding obviously)

I've always been curious about NeWS but the web is quite short of demos about it (not helped by newspapers called Sun either). Do you know sites with videos about it ?
> Leap seconds affect Unix time too, because leap seconds are excluded from "number of seconds since Unix epoch".

They are excluded from "unix timestamps". They would still be part of the number of seconds since Unix epoch.
I would guess "Feynman" is RJ Youngling's partner: https://www.linkedin.com/in/rj-youngling-1a4546171

No connection to the physicist.

Not sure what about the site was "unbearable". It's just text. There weren't any banner ads or taboola chum. I guess I have low standards for what constitutes a decent site.

The writing was a little growth hackery, one weird trick to supercharge your business, with a dusting of math theory. It was definitely an ad, but in the sense of "write compelling content and they will come to your site", as opposed to spray-and-pray low rent banner ads.
I really hope one day you start your own online business and see how it's actually run.

It's one thing you imagine a business should be run in an utopian world where people respond to surveys and know exactly what they need to solve their issues (Henry Ford said it perfectly "If I had asked people what they wanted, they would have said faster horses") and another thing how it works in real world.

> Yes exactly - companies were in business just fine for over a century and they didn't have analytics, why should it suddenly be required?

This is a very ignorant response so I assume all your answers are the same.

> As far as I'm concerned online marketing is cancer.

I think you meant "advertising"... if yes, in some cases you're right.
Not at all, alongside NeXTSTEP, it made UNIX actually interesting as workstation OS.
Short answer: no.

Even the heavy 'category theory' stuff that some Haskellers are fond of is only loosely related to results of any depth in category theory. To really get anything out of category theory, you need to already have quite a broad and deep mathematical knowledge base.

Deepening your knowledge of linear algebra or general computer science concepts would almost certainly be more valuable.

That said, if category theory interests you, why not? I'm just talking about practical value here.
Storiella: Supporting Reading for Children
Introducing Angular Effects
Why. Why should I have to google it?
Well, in another EU country (Italy) that flat would be against building rules and Laws, not only you cannot call a bathroom "sleeping area"[1] but usually (there are exceptions for historical buldings and handicap toilets) a toilet (where the wc is) cannot be connected directly to a kitchen or more generally where meals are prepared, but long before that the very minimal surface for a flat is 28 sqm (the one in the article is around 26) to be an autonomous unit.

Additionally, from the photo it appears that the WC is connected to an electric sanitary macerator, which is not admissible unless it is for a secondary bathroom.

[1] the area of any room aimed to the permanence of people cannot be less than 9 sqm
When you need some system activity to happen regularly (e.g. every 10 minutes) but not at a specifically human-meaningful time. When you need to know what order events occurred in or how far apart two events are, but don't need to correlate those times with external events (or can easily establish "system" times for any relevant external events). You can cover a lot of cases without having to touch "human time" at all.
The Secretive Group of Science Advisors Fighting to Survive in the 21st C
One can use WPF just like WinForms, with code behind and plain drag-and-drop of components.

The problem is that when beginners start searching for tutorials they usually land on MVVM, data binding and how WinForms style is a bad practice and they end up feeling overwhelmed.

Ironically MVVM is also possible to do in WinForms, but the capabilities aren't as rich as in WPF, so very few end up going that route.
I tried Flutter a year or two ago after coding Android and iOS apps (to a lesser extent) for years and years.

The dev experience was lightyears ahead of Android. Dart was nice fit. I came upon some edge-cases where Flutter's API seemed immature. But as far as quickly getting apps/prototypes out there, there was no competition.

My main roadblock: the UI was centered around Material design. To use the iOS widgets, which looked good, it seemed you need to put a load of if statements to use the iOS widgets instead - and this felt hugely cludgey.

I'll reiterate what another poster said: if your business depends on apps, go native. Flutter will get you to 90 or 95% really quickly but it's probably that 5% that gives you an edge.

I'd use Flutter when apps are of secondary importance to the business, and when we need an iOS and Android app, and I want it done without spending huge amounts of effort.
> or tell the reader your assumptions

It is right there in the first section of the article.

"In this discussion, we assume that we already know some basic properties of arithmetic operations such as the distributive property of multiplication over subtraction, existence of the additive inverse of real numbers, etc."
I've always thought the best way to explain this was by analogy with the '90s TV show "The Crystal Maze" [0].

Contestents are put in a dome filled with gold and silver tickets being blown around by fans. For every gold ticket they collect, they get a point. For every silver ticket, they lose a point. If they collect enough points, they win a prize.

Sorting through the team's collection of tickets and throwing away a silver ticket (minus a -1) is just as good as adding another gold ticket (+1).

Not sure the kids these days are down with the crystal maze though. More loss to them - Richard O'Brien was a national treasure.

[0] https://en.wikipedia.org/wiki/The_Crystal_Maze
What are the examples?
"How I use a software is not an indication of how I want to use a software."

Sure it is. It's not a perfect indicator all the time, but can definitely pinpoint a common workaround users perform due to a lacking or unfriendly interface. It's just a helpful data point though, not a silver bullet.

I'm with you on the trust issues though when 90% of software companies abuse our data. Just another reason why we can't have nice things.
You doubt, but it's the reality. Sure, if you're going to build $600 million in a sky-scrapper you can also spend some more in convincing authorities to get you the legal permissions. But if you're going to try and build a 4 or 6 floors building, that's going to be complicated.
I've seen a better explaination in this Mathologer video. In a bizarre twist it is now private (?!). Maybe it will work for you. But I suspect it was a takedown notice because he used a short clip from a movie famous among teachers.
https://www.youtube.com/watch?v=ij-EK-MZv2Q

The first number represents the amount of something. If it's negative, you have a debt.
The second number represents either a gain (if it's positive) or a loss (if it's negative).

From that point you can explain it to yourself using plain english. So, -4 * (-3) can be understood as "Lose a debt of 4, three times". If you have -4 * 3, you could be said to "gain a debt of 4 three times". 4 * -3 means (Lose 4 three times).

In the video Mathologer criticized exactly the kind of proofs like in this video. Just saying it's intuitive doesn't make it so. Fundamental things shouldn't be proven using a number of laws. They should be understood on the intuitive level and a proof is just to double check.