skysight-inc/HackerNews huggingface dataset:
The validity of ZFC is still an open discussion.

My favorite critic of ZFC is Norman Wildberger, who has a great YouTube channel. I found his formulations of complex multiplication, the pythagorean theorem and quadratic forms were particularly worthwhile, even though he comes off as barely computer literate in other videos.
Hi every one it would be great if i could get you 5 minutes to fill up this form
The first half of (section one) doesn't comprise the foundations of abstract algebra in particular so much as the foundations of modern mathematics in general. The foundation of modern abstract algebra is more about axiomatic properties of structures like groups, rings, modules, fields, vector spaces, etc.

For that matter you actually don't need a lot of this machinery to derive analysis; for that all you need is a minimal subset (hah!) of set theory. Analysis focuses on the properties of continuous things, like real and complex sequences. You can derive the real and complex numbers axiomatically (like with Dedekind cuts of rationals) or synthetically (field axioms) as long as you have the definitions of sets, subsets, bounds, unions and intersections. I'm not even sure you need to care about the distinction between a subset and a proper subset.

That's not to say the material presented here isn't useful - it is. I'm just making the point that most analysis doesn't require abstract algebra aside from fields and (later on) vector spaces, and you don't need a whole lot to get there.
Email is decentralized, works great.
> Induction is a great way to create useful models

No, it isn't. Induction is a great way to create WRONG models. In fact, all of the interesting and useful stuff happens exactly where induction gets it wrong.

Example: the sun has risen on earth every day for the last 10^11 days or so. But we know that in another 10^11 days the sun will stop rising (because it will become a red giant and engulf the earth). We know this despite the fact that we have never actually observed this happen even once.
>Thompson himself was aware of the confusion later in his career, but explained it by saying that the Sumerians used the term UKUS-RIM for both plants "because of the similarity of the poppy capsule to the small cucumber."

>Honestly, I'm not seeing it.

I hate to see this stuff in a debunking article since it indicates that the author is not doing a very good job at trying to understand the claims. The "small cucumber" could easily refer to the cucumber around the time of polination, when it does look at least vaguely similar even today (and as ggm mentioned, it might have looked different then). See the second image on this page (and remember that the flowers will dry at some point):

http://blog.explosiveblooms.com/2013/07/lemon-cucumbers-are-...

Some of the arguments sound reasonable but I wouldn't put too much trust in this author.
But they did use the public version. There is no other recommended way of getting access to the public filesystem. They could have just made a file path to sdcard:// but this is not portable across all devices.

The public filesystem is, by design, sharable between apps. This is so you can have stuff like a music playing app or a picture viewing app that interacts with files created by other apps.
>I don't get the obsession with jobs: if you get fired, just find another one.

What don't you understand about it? The part where people need money to buy food and shelter or the part where not everyone is a tech worker that can have multiple, better job offers in a week or so.

Some parts of the country have very few jobs for anyone in any field, and the jobs that exist pay so shitty that its very difficult to move to a place with better prospect (which in most cases will have the added drawback of removing you from any kind of support system you might have had with family+friends).

You can adopt the modern, warped version of libertarian philosophy that says "its not my problem", but most people don't like living in a world where people lose their houses so a rich guy can make a few million dollars extra.

There are times where its necessary to lay people off. Hell, this might have been one of them. But even if it was, the guy didn't have to be such a douchebag about it.
> In an open core business model around an open source system it is fundamental that you take something useful out of the free software part.

Here's the problem and why what he's saying is a distinction without a difference. This rule is arbitrary, I had never seen it before and it's needed for redis not to be open core.

It very much is.

> I want Redis to be Redis, that is, this general tool that the developer can use in different ways to solve certain problems.

It's telling that the best that can be said is this ambiguous language. Nothing prevents these "different ways" and "certain problems" to change at any given moment.
Thanks for sharing. Please consider a collar mic as it would drastically improve the audio.
I feel like there are two categories of developers, one which has "framework envy" and loves trend-chasing with the latest and most complex technologies, while the other values simple and straightforward solutions. Sadly, the former seems much bigger (although it could just be because they're louder.)

Related: http://discuss.joelonsoftware.com/default.asp?joel.3.219431....
Can you define that?
I remember the FreeSWITCH from 10 years ago. They didn't even cut releases, you were just expected to always run at HEAD - and the whole community refused to talk to you until you showed your commit hash. I got cores constantly from all the null derefs littered throughout the code. And at this point they considered themselves a stable, production-ready project.

I tried _hard_ to make FreeSWITCH work for me in an SMB environment, but I ended up with such a bad taste from the poor QA that I eventually had to call it all a false start and go back to Asterisk.
Given your background I'm surprised you'd think you might be called a hipster for not being a fan of axiomatic set theory :). Most math people I know learn just the naive set theory they need to move on to analysis and algebra (and later topology and algebraic geometry).
No. That w3tech link is not properly separating out the versions by age. 5.6 isn't an ancient version of PHP for example; 5.1 is.

5.6.36 was released in April 2018; 5.6 was released in 2014. 5.1 was released in 2005 by contrast.

There's nothing terribly wrong with running 5.6x if you have a good reason to do so (eg legacy), other than that the performance sucks compared to 7.2.

You can dig further into the w3tech numbers here:

https://w3techs.com/technologies/details/pl-php/5/all

Nobody is using 5 or 5.1. The majority of all PHP installations are using more modern versions, either 5.6x or 7.x.
> Do you think we can really avoid making the environment a moral issue?

No, and I don't see where the GP claims that. It's inherently moral.

We can avoid making the stability of our civilization a divisible issue. It takes some real work to push people against this, and stuff like forbidding people from using harmless stuff they are used to is part of that work.
Wasn't Doom already popular on consoles by then/before then?

I think FPS domination was inevitable on all platforms, no single title could have stopped it.
- Best solution: use a more permissive license so you don't create these problems for yourself as people then have the right to use your work how they see fit.

- Second best solution: never think of it again. There are no actions you can take against that person that will end in time well spent, they might not even be the only such person or method of monetizing your work, it's futile and your time and attention is worth much more.

- Third best solution: don't publish your work where others can see it. Fortunately the many unthanked people who invented our internet, our computers, the languages we use etc, all the stuff that enabled you to make your website, did not choose this route!
It matters if it restarts the arms race.

For example, there have been rumors that the other team is developing autonomous underwater delivery vehicles for their nuclear weapons to get around our ICBM defenses. They could just be rumors, but the idea is both sound and achievable with current technology.

I'd rather live in a world of MAD-enforced nuclear detent than one where we're forever uncertain just what new delivery systems the other guy has developed.
hackertyper.net is mine, .com is the other.
I absolutely don't agree and have not found the author trying to shed that light on Popper. Quite the opposite in fact, I felt it was just the description of a rightly self-confident and exuberant philosopher.
Potentially hidden footguns? The public/private storage mechanism has been the primary way of protecting files in Android literally since release. This is like saying it is Android's fault that you can put exported=true on a ContentProvider and be surprised when other apps access the underlying tables.
I'm not saying it's justified at all. I'm not saying that I know what the solution is. I'm saying that these are all expressions of the same underlying set of attitudes rather than merely being poor policy. The reason there aren't 24/7 protests outside mental hospitals and politicians of every stripe calling for radical reform of the mental health system is the same reason that city councils pass "sit-lie" and "anti-camping" laws instead of providing needed services to the homeless. At a societal level, the desire is largely to make these people just go away, or at least to approximate that by keeping them so beaten down that they're afraid to engage in any noticeable behavior. Lip service is sometimes given to fundamental rights and humane treatment, but the attitude expressed by the behavior of our institutions is often closer to animal control than to a welfare system. When it comes to the mentally ill, the average person seemingly doesn't know the difference between treatment and abuse, and might not even care to know. As long as there's any room for doubt and someone with the right letters after their name says "it's for their own good", the conscience goes back to sleep.
> I think one of the problems of set-theory and applications is that it doesn't lend itself very well to computers.

I might be misunderstanding what you mean here, but I'm confused by this statement. Set theory is used very often in computer science. Relational databases are essentially applied set theory.
>OMG, is Vuex the only way to share state between components? Fucking no!

Same for Redux
Thank you for the answer! I'll see if I can do DMCA but I might just have to live with it I guess
LZ decompression is far faster and simpler than Huffman --- and has at times been seen to be even faster than memcpy().
That feeling is still there if you want it to be.

A few of my friends and I still get together every now and then, have pizza, sometimes drink, and play videogames together, only now it's from across the US using video and voice chat.

Whether it's super smash bros, overwatch, or any number of silly/stupid steam games that someone picked up for a few dollars one day, that "social" aspect is still right there waiting for you just the same as it was, but now you have MANY more options of games to play, and ways to play them.
Show HN: A DSL for generating binary files
I wonder if there's a corpus labelling comments and posts based on the context of, "/s". Because labelling a comment as sarcastic is a great indicator the poster understands how sarcasm works.
If these Nextcloud instances are being installed on routers then they likely won't have access to very much storage space.
The website is basically a single static page, so it's not pulling resources from mine.
The sugar conspiracy (2016)
This totally depends on what you're doing. Sometimes you should be using the bazooka, sometimes not.

Building a large government system, or something internal for a large company that will have heavy and pretty-well-quantified usage, and need to be maintainable? Hell yeah bazookas all the way down. If you know your system is going to end up large and complex, use the more complex but well-defined tools.

If you're not doing this, or you're even just doing a beta or prototype of the above then don't.

Really what this is about is technical debt. Technical debt - like monetary debt - is a useful tool that can get you where you need to be (nobody saves up from scratch to buy their first house - they get a mortgage).

The person advocating the bazooka just doesn't want you to have any debt, in the form of whatever hacked-together fly swat you might build to do the job temporarily, however some debt is a good thing.
I think the article has a good point about how so many tend to harp on the most popular tools, even if they're actually overkill or unnecessary.
A different take:

> So why study history? Unlike physics or economics, history is not a means for making accurate predictions. We study history not to know the future but to widen our horizons, to understand that our present situation is neither natural nor inevitable, and that we consequently have many more possibilities before us than we imagine. For example, studying how Europeans came to dominate Africans enables us to realize that there is nothing natural or inevitable about the racial hierarchy, and that the world might well be arranged differently.

--- Sapiens by Yuval Noah Harari, p. 241
Crypto Isn't Just Money – It's a Defense Against Discrimination
You seem to misunderstand the collectivism in Assemblywomen -- it is used as an absurdist foil to criticize contemporary Athens, not as some kind of ideal.
Could be...
Zork (text adventure, 1977)
I wouldn't install from a repo, much better to let (own/next)cloud manage itself. I migrated from owncloud and glad I did so, I get all the enterprise features like SAML SSO for free.
>Building a large government system, or something internal for a large company that will have heavy and pretty-well-quantified usage, and need to be maintainable? Hell yeah bazookas all the way down.

Sure, but that's not a fly.
I think I prefer the original version, actually. Made me chuckle.
And chances are if you use SMTP outside of the main clients/mail servers, your emails might get marked as spam automatically before it reaches the intended recipient.
> The man having his shoes shined can be seen in the bottom left.

The man doing the shining can be seen too, right? This whole piece is ignoring that man? They both appear equally blurry
I think you're right. The mechanics of the game are HUGE. From misclicking, miscasting, mistiming a spell, last hitting, etc.
It'd be tricky to use a compression scheme with a history window, since these interpreters also used a virtual memory scheme for static data with page sizes of around 1 KB.
In some science fiction movies (for example "Life", "The Green Slime") the alien life forms grow incredibly fast. If that works or is possible, it makes one wonder why no terrestrial life-form didn't adapt a similar strategy. In the above movies the fast life-form in question does come from a dead planet (the probable outcome of such strategy, but not really something evolution has enough time to select against).
Then stop web development all together. Web dev is the story of using a bazooka to kill flies...
> Straws are the 7th most collected item during beach clean ups

So, not even on this count are they relevant?
Well, these all feel like straw men arguments.

“Don’t tell people to not pollute because they will pollute more”

:eye-roll:

It’s like “don’t tell people to treat women with respect because then they will hurt women more”

It’s a logical Fallacy and everyone arguing it should be ashamed.
For what it's worth, I love the fact that Jupyter is browser-based.

> It's the entire reason it's so easy to format text / math in a Jupyter notebook. There's Markdown + MathJax for basic interactive formatting, no need to compile or anything. If you need anything more sophisticated (like a box around text, etc.) just throw in a <div style="..."> and it'll automatically show up in the notebook.
> I only need one Chrome window (or more, if I choose) for my entire workspace. I can have tabs for notebooks AND webpages open at the same time, in the same program. I don't need to worry about having dozens of windows open! I also don't need to deal with some developer's idea of a tabbed workspace--Chrome's tab work exactly how I need them to.

Maybe you could get all the same benefits from an Electron app, but people don't quite like those either :).
They also hint to this in the slide 75 where they say "10 years is good".
I don't know about any paid only plugin. Nextcloud is forked from ownCloud because the original founders of ownCloud didn't like the direction where ownCloud was heading (paid only features for enterprises) and they wanted to open source every part of it. They are unrealistically good people, making an unlikely good product :) See their reasoning of forking here:

- https://www.youtube.com/watch?v=UTKvLSnFL6I

- http://karlitschek.de/2016/06/nextcloud/

- https://news.ycombinator.com/item?id=12919330
I am not sure if this is what you are looking for, but the Relational Model is built on a mathematical foundation of Set Theory[1] and first order predicate calculus[2]. This foundation is used to define a logically closed algebra known as Relational Algebra[3]. The implications of this closed logical foundation is, in my opinion, the real power of the Relational Model and is in no small part why RDBMS's exploded in popularity.

In the context of a RDBMS, SQL is a domain language for expressing the underlying Relational Algebra:

https://cs.ulb.ac.be/public/_media/teaching/infoh417/sql2alg...

[1] https://en.wikipedia.org/wiki/Relational_model

[2] https://en.wikipedia.org/wiki/First-order_logic

[3] https://en.wikipedia.org/wiki/Relational_algebra
Was there a way to fix the services so that you wouldn't get woken up in the middle of the night?
Decide whether you're willing to leave the company or lose your job over this. It's not popular to say, but there are enough companies that will manage out individuals that bring up issues like this because there's no management backing and then it just becomes disruptive. It sucks. Think about it and based on that decide on how hard you want to push security issues and awareness.

In terms of best steps to actually get security flagged and addressed. Find out whether your company has a compliance or security department. If you're doing B2B, someone may be conducting a SOC2 review annually or the equivalent. These people are typically the ones empowered to do something about security and are the ones to talk to. There's also the possibility that the risks are being mitigated through another method such as a WAF. If there are no security or compliance programs you may want to chat with the sysadmins.

It's possible that the company may have decided that security was too expensive and just bought insurance as their mitigation strategy(I worked at one company who unbeknownst to me took payments but wasn't actually PCI compliant who did this). If that's the case, you're better off looking for a new job
> And they don't worry anymore.

Those same people can't do anything about the dumping of plastic fishing nets, so what else CAN they worry about? Only those things which they can directly change, no matter how small. Today it's straws, perhaps next will be plastic water bottles. Little nudges.

People are encouraged to turn-off lamps in rooms they aren't using. That's pretty insignificant compared to the energy consumption of aluminium smelters, but it's something everyone can do.
Thank you for this excellent explanation of stream ciphers.
A new beta section is available on your GitHub Profile: the “Activity Overview”
Well one of the DBA's I worked with at BT made his own sensory deprivation tank and used to meditate on problems.

They where also renowned for saving a huge sum of money for the company when a quarterly CSS run barfed badly - CSS was the BT billing system and the worlds largest IBM system at the time.
Please don't post like this. We want to learn something!

https://news.ycombinator.com/newsguidelines.html
But the Soviets knew that Tunny was broken, because Cairncross passed it to them, GCHQ knew this. The Russians weren't stupid - it was very clear that the Brits could read SS cipher traffic, the SS used Lorenz. I have read (but can't find it) that the Soviets used captured Lorenz.. but it is odd.
I am left feeling this, is a net negative for the industry and will be used by companies and recruiters in less than desirable ways.
I did a couple of upgrades of Nextcloud; one major and some minor, and the upgrade process is unbelievably fast, painless and stable. Never had any problem.
Who is going to write the app? It is sorely needed.
I don't think you know what you're talking about
ExDoc does not miss links to the source code. (Click on any Module/function and there should be brackets "<>" that point to the source code.) Types are also present in any module that defines them.
The “validity” of ZFC is not in question.
I have nothing against shorts -- they're betting on what they believe and I respect that. I can't even say I disagree, though I hope the longs are right.

My point was only that when there's a lot of money on the line, we should be skeptical of uncorroborated info (good or bad).
Sure, as long as it pays good dividends.

Not everything needs to grow into the sky.
And so is also Popper's student George Soros.
You want 24,000 metric tons of plastic straws to be in the Pacific Ocean then? Because even 0.03% of 8 million is still a lot of plastic straws.

Maybe we can dump them in your backyard then.
They are actually know what they are doing. I think they have a full time security guys and also have a bug bounty as others have mentioned.
>This whole piece is ignoring that man?

No it doesn't. The lede says "The earliest known photograph to include a recognizable human form".

Later it says:

>The exception is the man at the lower-left who sat still long enough to appear in the photograph. The person cleaning his boots is also visible, although not as distinctly.

>It has been speculated that instead of a shoeshine boy, the man stood at a a pump. However, comparison with another image taken by Daguerre of the same spot at noon reveals boxes used to hold brushes and polishes.

An image later is captioned 'The man having his boots shined, and the person doing the shining'.
Unfortunately we’ve lost most of the great parts, due to the fact they were easy to attack and hard to defend...

It’s not really practical to run your own mail server anymore. This is from someone who’s been running a triply redundant MTA for over a decade. Works great — but I couldn’t describe to someone how to do it, without telling them in the next breath not to bother.

Also, sending email was trivial and totally decentralized (any script could do it manually in a few lines of code), but that no longer works; now an authenticated connection back to a centralized industrial-scale sender is required. Easy, just not distributed anymore.

The next gen, however, is going to be totally decentralized, and end-to-end authenticated and encrypted. Very exciting times:

https://developer.holochain.org
It does do that. It can end up in plenty of places other than a beach. I'm sure you have some sort of environment around you. It's senseless waste. The report goes into how often plastics tend to escape waste management systems. It doesn't have to be purposeful pollution.

But it's not about one straw, it's about an aggregate effect.

All in all, that's a pretty myopic and disingenuous question.