skysight-inc/HackerNews huggingface dataset:
Caching isn't just about performance. It can be about reducing costs too. Eg reducing the number of web servers you need, scaling down the size of your persistent storage database (traditionally a RDBMS but these days NoSQL DBs are common too) and shrinking your bandwidth costs. Hosting can be a costly affair at scale.
I would be more sympathetic to this argument if the code was visibly a collaboration.

I am perfectly willing to believe that I could reduce the size of my code by a factor of 10, maybe even 100, if I was willing to give up the constraint of making it maintainable independently of myself. I think that would be a poor tradeoff to make in most cases.
I haven't used Cordova recently, but when I last did a couple of years ago I had similar problems with image handling resulting in memory running out on low spec devices. From the comments I've read here probably for similar reasons as well, the camera capture API was passing a Base64 encoded image to the application rather than a file URL.
Pycharm for larger projects and database stuff or just vim if I'm hacking a small one-off script
Yes, for many people!

How do I know? I am actually building FirstDevJob and am interviewing such people. I have published two interviews[0][1] with people who used FreeCodeCamp. More are in the pipeline!

It is absolutely possible. But just don't depend on one course or site. Be flexible and willing to learn from many different places to develop your skills enough to land a job.

[0] https://firstdevjob.com/stories/dan-minshew/

[1] https://firstdevjob.com/stories/taylor-milliman/
@nayuki In your Python code, the module 'fieldmath' imports 'numbers'. However it only uses a single reference - 'numbers.Integral'. Did you mean to remove this when you modified the code from your _Gauss-Jordan elimination over any field_ page?

ETA: Scratch that, numbers is a module in the stdlib https://docs.python.org/3/library/numbers.html#module-number... sorry for the confusion
Made in the U.S.A.: Will Apple follow Tesla’s lead?
It all depends what do you mean by "foreign". If you mean people that doesn't lives there and buys from abroad that is more reasonable. It will be an outrage if he just banned Muslims (whenever they live in the states or not), for example. The first is a measure to stop speculation and help people to get a home. The second is just a xenophobic populist measure that solves nothing.
Although of course more people voted for the other candidate, which we could take to indicate that more people didn't want (in as much as what people want is linked to their choice of candidate) these new heavier restrictions on immigration.
Which part of the conservative mindset does he represent? I suppose he could be some kind of nationalist/native sentiment, but he doesn't seem to speak about that much.

Hopefully you noticed that I didn't try to make my feelings on Mr Yiannopoulos obvious.
The problem solution in the article uses the axiom of choice to construct a "nonprincipal ultrafilter" on the natural numbers. This is actually weaker than the full axiom of choice, but you can still show that no such object is computable. It's a nice exercise to show that with the same assumptions as in the article you can decide the halting problem. (hint: consider the boolean sequence where the nth element is true iff the Turing machine halts within n steps)

As for the axiom of choice, the real problem is trying to claim that it is right or wrong in the first place. Mathematics as a whole has never quite recovered from the failure of Hilbert's program... The bottom line is that there is no complete and consistent notion of "truth". There is no objective mathematical reality, because it cannot include a statements about its own consistency (and it's easy to translate this into "statements about certain hard problems", by exactly the same process we use to show that some problems are NP complete by reduction from another NP complete problem).

On the other hand, this is not actually detrimental to mathematical practice. It only means that you have a lot more freedom in modeling your problem domain. For instance, it turns out that set theory with the axiom of choice is a horrible place to do probability theory in (non-measurable sets and functions are a direct consequence, and you have to go to a lot of trouble to exclude them everywhere). If ZFC was part of some objective mathematical reality, then this would in some sense be unavoidable, since ultimately you want to make statements describing reality. On the other hand, once we realize that this assumption is just plainly false, we can start looking for more refined models.
On the other hand, from the perspective of an end user, Spotify has a huge (probably the best) catalogue and I routinely discover good music via `Discover Weekly`, while Google Play so far failed to achieve something similar, although I buy all my mp3s there (which is much better data).
Can't say much about iTunes. SoundCloud is the best for discovering recent and unreleased electronic music.
I would much like them and Spotify to stay independent and not be gobbled up.
The remote server I happen to do most of my work on right now has tmux installed, so I don't even need to bother with screen anymore (at least for now).
Why? The only reason to put a date on a title is when the content itself is of historical interest, or may no longer be accurate.
Digital Version of the Before I Die Wall
Ask HN: Does all Ph.D. really deserve a scientist tag?
Recently I came across couple of Ph.Ds who has very poor understanding of the field they supposed to know, and they are not eager to learn. Some of them don't even understand simple math. Should not we stop treating Ph.D as some kind of license and start giving everyone a chance to to do research?

Also why not there would be open source research platform where anyone can give their ideas.
I tend to prefer considering the sets to encode bitstrings (encode a set as sum(2 ^ -x for x in X)), but yes the equivalence between computable sets and computable numbers is straightforward.
I'd say the opposite - in your shoes, I'd just try it, doomed or not! (But then again building an IDE is My Thing atm - check my profile.) Building one of these systems is going to be really fun.

If you don't have the time/inclination to just do it cause it's a cool project, one option is to "paper prototype" the feasibility of the transforms you'd need.

Next time you're writing any code in the first language you want to support in that AST editor, take a screen recording of at least half an hour's coding. Watch it back later, and keep a count of how many times you:

* transition from one valid program to another in a simple way (eg just writing a line of code from scratch that's valid first time)

* transition in a way that would require abandoning your keyboard and reaching for your mouse in your editor (NB this is a seriously slow operation, usually taking a couple of seconds or more).

* transition in a complex way your editor would support if it had that kind of transform built in (eg if/else-> switch), and work out exactly how clever that transform would have to be (would it work if the if/elses weren't simple equality checks? If they weren't, how would you make the transform if you weren't allowed any non-compiling code?) Then enumerate the distinct such transforms you'd need to cover that half-hour of typing. (You will probably discover a Pareto-type distribution - the question is how tight the head/long the tail is. My guess is you'd need a huge number of special transforms to cover 95% of your edits, but data beats guessing)

* Jump around between statements (eg half-write something, leave it in an utterly broken state, then go actually define the variable/function you're using, then jump back and finish your thought). Your editor would have to permit this somehow or it will be really frustrating to use.
Nice..

So:

>Is there anywhere this is written down so I don't have to spent 6 hours trying to work out how to do it?

Edit, I found https://freeaqingme.tweakblogs.net/blog/9340/netflix-using-a... which seems to cover at least some. It is done on a per-user basis though.
Well, that seems to me to be because they provided an alternative to patches that works a lot better for me and the projects I contribute to, and I can't blame them for it.
How does JPEG actually work? – Developing for Developers
No, you're confusing HTML documents with their parsed DOM. The example you gave is different HTML to the example I gave.
This is a fair point.

I think the only axiom you need to rethink from ZF is powersets (since I think that's the only axiom that produces uncomputable sets from computable ones (ignoring the AC, briefly)). What you'd replace it with (some sort of one based on comprehension, presumably) I couldn't say though.
Mathematics is formalised is to avoid this sort of philosophizing.

I used to think, for example, that the dirac delta function was mathematical fiction - a mathematical "hack". But then in an engineering control systems class, we did an experiment where we used a step function to approximate a dirac delta function. I could see the results both on the computer screen and in physical reality through a mass-spring-damper system. From that moment on I saw the dirac delta function in the same way that I see cosine/sine: The reason it works in math is because it has a basis in physical reality.

The lesson to be learned here, is that you don't know in advance whether something is obvious or not. To me, it doesn't make sense to decide whether the axiom of choice can be justified by looking at the axiom itself. You have to look at where it's used and required, and whether the proofs convey something that matches your physical intuition.
I guess it depends on how you approach problems. If most of the time you find it boring, maybe you're not really interested in whatever you're doing (working for a wrong company maybe?)...
Good luck developing analysis with only countable infinities. Limits will take you out of the realm of countable spaces.

Most of your derivatives and integrals won't exists, if you force them to take values in countable sets.
Try mg :)

Edit: mg is an emacs-like editor that is even leaner than vi, has off course the same key bindings as emacs, and also shares the same openbsd roots as tmux. It is also the default editor in openbsd.
YOUR MATH ARE WRONG

If prisonners follow the last strategy, the dude number 0 as a probability of finding his hat of 50% and the dude number 1 000 000 50%. Why? because nobody knows how many times they will lose. Those who are sure to win are those close to infinity... This have nothing to do with Axiom of Choice. But only because almost all the mass of your distribution is near infinty. With or without Axiom of Choice this things exist.
Taking an example from the parent:

> rth,←' array v=array(z.s,zs.v.type());v(0)=zs.v(0);\',nl

I don't know APL or the Rth variant, but this goes against most standard style guides. There may be good reasons for it, but they are not obvious to an external viewer.

- What are 'v' and 'vs'? Is this quickly obvious from context (to anyone but the author) (where are the comments?)

- Why are they single characters (non-descriptive variables are almost always a code smell)

- Why does it do multiple things on one line? I think this is a limitation of use of Rth? Normally this sort of whitespace compression is verboten, even in functional languages like Lisp.

I think the parent has a good point about this being very difficult to understand code, and the OP has confused terseness with quality. If this code followed traditional coding styles it would be easier for new people to understand what the hell is going on, and would probably 3+ times longer in LoC. But who the hell uses LoC as a valid metric anyway? Besides the worst sorts of manager, of course...
Chrome 55 removed manual encoding selection
Can anyone open the slides or video? Using firefox on Fedora and its saying both file types are corrupt.
Elementary OS – Redesigning Bluetooth Settings
It's been 'back' since... around 2013?
What if their contracts with their customers state everything that deployed is from an audited source in order to leave no loopholes in the event of a data breach?

And if there is a serious data breach you better be able to prove that you never installed anything malicious or dodgy on there.
The Mayo Clinic is one of the best hospitals on the planet and is even mentioned in the article, since they have diagnostic labs that specialize in so-called esoteric testing. Their doctors are paid a salary, which is market-based, reaches a plateau after a number of years you have the same title and is not tied to the number of patients you see. Not only there's no incentive for them to cram as many patients in a day as possible, but they call each other consultants because they will bring in colleagues when there's a tough case that warrants a second or third opinion.
The reason I say "the solution to any problem anyone could ever make" is a maths argument!

If you can write down a problem as a finite string, then the set of all problems must be countable.
Another benefit is that you can actually write unit tests and use CI with your company finances
Out of curiosity, what's the use case for this?
I use a simple but effective tactic.

50-50 chances on nearby/adjacent tiles aren't actually 50%. If one tile would reveal a 4 and the other a 2, pick the second, because 4s are more rare.
The Dirac delta function is a mathematical fiction. It doesn't look weird in your case because you didn't mix it with any other weird mathematical fictions. But maybe somebody could invent a system that violated conservation of energy by using Dirac deltas. That wouldn't mean the Dirac delta is a bad fiction, because if you actually tried to build it using your step function approximation it wouldn't work.
There's the old joke that the axiom of choice is obviously true, the well-ordering theorem is obviously false, and Zorn's lemma is too complicated to say.
Why not, can you give an example.

Most of the "common" derivatives and integrals I can think of would work just fine, unless I'm missing something obvious?
There is not a single "reason" in this article, and it even admits they fail to show causality, so they are really nowhere near talk of "reasons".
Chinese factory replaces 90% of humans with robots, production soars (2015)
Timely article (albeit a bit loquacious for my liking). Here's my
summary of how my travel has changed from "Then" (pre ubiquitous
internet) to "Now".

Contact with home:
Then: Highly sporadic. Occasional postcard, which may not arrive.
Now: Continuous contact, every photo is uploaded on social media.

Planning ahead:
Then: Big time.
Now: Little.

Luggage:
Then: Heavy, need to bring everything, be prepared for all eventualities.
Now: Light, many things no longer needed, buy missing stuff locally (probably more a consequence of my being wealthier as an adult).

Accommodation:
Then: Hotels are booked in advanced.
Now: Ad-hoc on the spot after arrival through AirBnB and Booking.com.

Travel guides:
Then: Important, read in advance, carried at all times.
Now: Gone, everything on smart phone.

Maps:
Then: Important, carried at all times.
Now: Gone, replaced by Google Maps.

Dictionary:
Then: Important, carried at all times.
Now: Gone, replaced by Google Translate.

Taxis:
Then: Flagged down, difficult to communicate intent due to language gaps, scary (who is the driver?) worried about getting ripped off and/or robbed.
Now: Uber.

Money:
Then: Carry cash, Traveller Checks, change at local banks and ATMs, worry big time about getting robbed.
Now: Credit cards.

Flights:
Then: Very expensive. Booked long ahead in travel agency, price comparison difficult, no low cost carriers.
Now: Cheap. Book ad-hoc, online, price comparison easy, low cost carriers.

Meeting people:
Then: Difficult, try and talk to locals when you chance to meet them in person.
Now: Easy, Tinder, Meetup.com.

Photos, documenting the journey:
Then: Lugging around heavy camera, always worrying about it being stolen, getting new film, each photo was expensive.
Now: Take trillions of photos on phone.

Electricity:
Then: Who cares?
Now: Oh no, where can I charge my phone, I'm on 3% charge?

Biggest problem:
Then: Will I get robbed?
Now: Where can I charge my phone?
I wonder how good convolutional neural network could get at minesweeper.
Ask HN: What is the most exciting development in your field right now?
> suckless is like Unix: user friendly, just very selective about who it decides to make friends with

I like to use the term "super-user friendly", as a compliment.
Why don't the labels just build their own spotify? Because they would have to work together?
The Race to Save Climate Change Data Runs Through NYC
> All I can say is don't give up just because docs say they don't know or don't seem to be making you better.

Can you describe how this process differs between people with an illness like cancer and people with an illness like Morgellons?
Especially for a conversation about Canada.

Although frankly the post lost me at "define local and foreigner". Sure, you can quibble about whether foreigners should include permanent residents. The meaning is still obvious from context, and very obvious to anyone familiar with Vancouver.
Awesome Azure IoT – A curated list of awesome Azure IoT projects and resources
Google Now Launcher to Be Pulled from the Play Store in Q1 2017
No, for example the integral sqrt(1 - x^2) from x = 0 to x = 1. Or any other integral over a circle/sphere for that matter.
Permanent residents should be allowed to purchase. Visa holders should be at least allowed to purchase a primary home to live in. Forcing them to sell if they move might be a good plan, I don't know.
Sidechannel free? High performance? Multi core? I'd love to see this. Sounds really interesting. What curve? Got source?
I appreciate your response but I want to respectfully decline to comment further. I don't feel comfortable expressing my political opinions here. That includes things that would be tangentially related.
Having 3 dependencies is pretty typical. The dependencies may have their own dependencies too.

The special thing about F# is a partial function application that is probably missing in C#.
> It's astounding that these politicians and bureaucrats who ostensibly have the right idea almost exclusively come up with these complex schemes full of mis-incentives, instead of using simple, correct solutions, like raising gasoline taxes.

It's because the issue they're directly trying to tackle is congestion, not pollution (which is only being tackled as a secondary issue). Also, in Britain there are already high petrol taxes, they make up about half the price of fuel. In general it's a good thing, and it does discourage a completely car dependent society - people to live closer to the centre, closer to work, use alternatives like walking, cycling, public transport etc - but it's not a particularly direct way to tackle air pollution, or at least it doesn't tackle the particular spikes in air pollution you get in the cities. In order to tackle air pollution in London using only fuel tax, you'd have to make driving in the countryside ruinously expensive. So you get layered policy - medium fuel tax nationwide, congestion charge for the centre (where it is the biggest issue), and an air pollution charge, or limit, covering the whole city.

I do agree that often politicians are not that great at designing these things (the proposed air pollution charge in London is rather strangely designed for instance), and the complexity is partly incompetence, but it's also partly because the problem is complicated.
effect on roadways would be far greater than any pollution cost and that translates quite well into fuel consumed
If your 30-year mortgage is at 5% and you refinance it at 25 years at 3%, who pays the loss the bank takes due to the new, lower interest rate?
I don't know if this is how Winamp was meant to be used (I suspect it wasn't) but its default behaviour from its launch - with all of your music in a big giant list which you could muddle around, and a randomize play-order button - almost invited me to explore music in a way that I haven't seen since. It seems like ever since then the UIs try their best to force you to dig down into a specific album. If a track's id3 tags are incorrect then they're effectively lost in that UI because you don't know where to look for them.

Yeah you can randomize play in iTunes or Zune, but you have to make arbitrary playlists explicitly. You can drag tracks around in VLC but the UI isn't helpful.

I would say I knew 90% of the songs in my music collection then and probably know 10% now despite it being about the same size, purely because of a few 'helpful' UI constraints.

People sort of suggest that music changed when MP3s and Napster bloomed, but the 'end of an era' in my mind, the time when my experience of music definitely changed, is when I was obligated to stop using Winamp and start using iTunes etc in the mid 2000s.
I haven't been following React closely but this reminded me of a package called SWT that is used as the underpinning for Eclipse (https://www.eclipse.org/swt/). In the case of SWT, the underlying widgets are platform native but the orchestration is in Java. SWT was used to build a few desktop apps but mostly it seems to have been forgotten now. It left me skeptical of these kinds of thin UI layers.
You can focus a bit with a phased array. If they can locate the phone they could aim for it I guess: https://en.wikipedia.org/wiki/Phased_array
Like print media, cinemas and taxi companies it seems like the record labels think they're special and somehow immune to the march of progress.

If Hollywood bled Netflix dry, people would still stream/watch movies at home, but none of that money would go to the content creators. Same with game studios and steam.
<pre> doesn’t at all. At a stretch, maybe you’re thinking of <xmp>?
There is essentially zero doubt about the causative link at this point. Some studies will never be run because they would be deeply unethical, so we satisfy significance through a preponderance of correlation:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3192198/
There's a lot of people jumping on the bandwagon of down-voting anyone who dares to criticise the code, but I'm going to give it a go anyway.

There's a reason why readable and beautiful code is favoured: it's so that anyone else that opens the source and tries to understand it doesn't have a difficult time, and therefore, anyone that tries to contribute doesn't have a difficult time either.

Looking at the project's Github page, I can see that there's no contributor even coming anywhere close to the project owner. Whether that's because of the obscurity of the codebase or for another reason, I can't comment. However, it does stand that the project owner is the only real contributor, and so the minimum that he himself has to consider is if he can understand the code.

Having said that, looking at the code does make me cringe. I'm sorry if that offends anyone but it is what it is: the code is not very nice to look at. It seems as though it has been engineered to be as obfuscated and shrunken as possible, without any regard for readability. I mean just the file names themselves: was there really any need for single-letters?

Now the author claims that (and a lot of other people agree with him on this) it is not for the purpose of what I outlined above, but rather, as mentioned before, so that he can understand it all easily and rapidly modify it. Whether or not that's the case I do invite you to consider the fact that the post that we are all replying to is somewhat bragging about the extremely small size of the codebase.

Personally, I think this sort of code would fit in rather well on a code-golfing forum or something similar, not on a production system. Then again, it is a personal project so ¯\_(ツ)_/¯
Never thought as trojan, interesting perspective for further development like self trojan experiments.