skysight-inc/HackerNews huggingface dataset:
Calling out "logical fallacies" is a knee-jerk reaction when you don't have a realistic response. It is not a fallacy to think that if we ban a previously allowed form of speech, it would set precedent to make it easier to ban other forms of speech. I said nothing of leading to dictatorship. The slippery slope I'm talking about leads to the lack of free speech, which is realistic.

Furthermore, there is nothing in our legal system that bans Nazis. Fuck Nazis, and fuck their ideology, but free speech is more important. The US legal system bans crimes, not thought systems. If you don't like that, then push for constitutional amendments, but as it stands now, they are exercising free speech.
AppImage
Honest question: is the UN declaration incorporated into American law?
AFAIK Most woman Mathematicians are school teachers.
So... how do I get my iOS .ipa files onto my phone now without submitting it to the iOS store?
Related: https://news.ycombinator.com/item?id=14339959
I don't think anyone is arguing that Face ID shouldn't have been created, just that it shouldn't be the only option.
This is what I was wondering. If it's impossible to be a Cloudflare alternative because they rely on something like ISP's rely on public utilities, it feels like these barriers to entry really hurt the consumer.
What even is a Nazi at this point except for an instance of #2? If #1 justifies any means of opposition then we're already Nazi's. It's just radical egoism on a national scale.
It's listed as "Computer Scientists and Systems Analysts/Network systems Analysts/Web Developers" and their dataset starts in 1970.

Their dataset shows it always being a male field - in fact, in 1970, it's even more male than now in their dataset. It shows a rise of women from '70 to '90, and then flat until today.

Since the launch of personal computers (the Altair in '71) was supposed to be the catalyst of the change of programming into a male field, I'm suprised to see the data directly contradicting that.

Perhaps it reflects a difference in job titles - "computer scientists" vs "programmers" if programming (the women's work) was titled separately because it was considered a more menial job.
The same is true for any IC car whose engine is on. It's the alternator that generates the power used; it's not taken from the battery.

IC cars even have the bonus that heating the cabin is effectively free, no extra battery drain from it.
Wow, I didn't realize how good sketchfab's model viewer is. Thanks for sharing this.
Assuming you mean that men have jobs with higher average salaries, there are still implications beyond that. Do men have higher salaries because they are more likely to consider salary when choosing a job? Do women have lower salaries due to sexism? Some combination of the two? Something else?
Suryoday microfinance head office location
I'm excited that Caddy has taken steps to ensure its long term survival. Sad people can't be bothered to pay for software they like.
That would leave Windows users without access to Apple Music, Podcasts, Movies, TV Shows, and so on.
Whatever. He and others quoted the same sections I did, and in fact made the comments in regards to video having to be letterboxed.

Sure, if you zoom in part will be lost but then again if you zoom in, because of the different aspect ratio other parts of the video will be cropped too.

I guess we simply disagree that this is a big deal.
We're talking about idols.

Also, assuming that any generation can't be worse in some ways than others isn't useful.
This looks damn good! Trying it now.
170-200 is not normal for mid level when average is 150 despite what people like about.
Unless you are building something very large and complicated, I'd recommend VS Code or Sublime Text.
Not sure if you actually think this is only one side doing this, but just substitute "hitler" for "communist" from the right, with the same fears and motivations.

There's no excusing either, but let's discuss this with some intellectual honesty.
Interesting to see Matthew Prince (Cloudflare CEO) basically begging for regulation of his own business. I think that he wants to be legally forced to serve everyone so that he doesn't have to be accountable to Twitter hordes for doing so, he can just say that it's the law.
You're much too cynical. We support democratic nations and try to set up democracy and liberal institutions when situations present themselves. We don't completely shut out nations like Saudi Arabia because there is more to be gained by working with them than against them. What would you want the US to do, invade Saudi Arabia because we disagree with it?
Yup, WhatsApp voice calls beat Skype, hangouts, FaceTime audio, Slack audio. I don't know why, but I've tried them all. Somehow WhatsApp seems so much better.
FWIW - I've been using Trello in a http://fluidapp.com/ and it's been pretty minimal in terms of resource usage and works well.
Edit: Fixed! :) You can check the pricing here: www.hiration.com/pricing

You can actually just sign up and try it for free.
We have some great free designs and free content. Have a look!
Thanks for the feedback!
Site Reliability Engineering at Medium
Seems like you received bad info.

WEDNESDAY MORNING, CONSERVATIVE corners of the internet were furious to discover that @HopeHicks45, the Twitter account belonging to Donald Trump's newly official Communications Director, had been suspended. The only problem? That’s not Hope Hicks. @HopeHicks45 was nothing more than an imposter.

https://www.wired.com/story/hope-hicks-twitter-suspended/
No. https://githubengineering.com/gh-ost-github-s-online-migrati... has an excellent section on why triggers fail (at least in the MySQL world. I imagine the locking story is similar in postgresql).

I don't work for GitHub but we had the same problems using pt-online-schema-change independently of their issues (lots of locking contention affecting the app negatively). We're finally moving to gh-ost for our large/risky migrations and so far it's amazing.
It's just your theme opened in TextMate and Sublime. Sublime displays the AppleRGB colorspace colors (the default in the original TextMate) as sRGB. So they come out off. Check out the linked github thread for the gory/inconclusive details.
License Zero: sustainable software in the open
So since food and water are also basic human rights, should we disallow Walmart from turning away Nazis? If I was a jewish business owner, why shouldn't I have a right to turn away someone advocating for my death? At that point isn't it just self defense?
That poisonous rhetoric was also directed at Obama by the right:

http://www.slate.com/articles/news_and_politics/politics/201...
Every startup needs this due to lazy employees
Can someone explain to me how any of these companies could ever be considered monopolies?

Competitive products are available at the same or lower costs and widely so.
I love this program. Will buy another license.

Thank you for it.
Is it still proprietary nagware?
I'm not sure why it's interesting to label all these things as monoids. It seems kind of the tail wagging the dog.

More concretely, "monoid" seems both too general and too specific to be useful. Things that commute and things that don't commute are lumped together as monoids, and that seems to be a much more useful distinction.

Consider the monoids described in the article. For concatenation and file paths, order is important. On the other hand, multiplication, addition, maps, sets, and the shape examples all commute, so the ordering a monoid gives you is irrelevant. How does it help to consider both concatenation and addition as monoids?

(I'm honestly trying to see the relevance of monoids.)
You can easily do that in emacs.

Throw this in your init.el

(scroll-bar-mode -1)

(tool-bar-mode -1)

(menu-bar-mode -1)

(global-linum-mode 0)

And it will instantly look a lot cleaner. If you want to toggle it you can turn it into a function and bind it to a key.
You don't need to give names to things, but often it's useful. It can reduce cognitive load (if you're comfortable with the terminology) and it can be useful when communicating to other engineers. Mathematicians did their thing without symbols (only words) a few hundred years ago, but once everyone agrees to use them you can start worrying about higher-order problems.
It's important for people to understand the legacy of the Moderns (in this case, Descartes, though others as well, e.g., Locke) and that legacy's detrimental hold over contemporary thought. However, while dualism is a problem, materialism as it is generally understood doesn't escape that legacy. For example, the problem of qualia (which is basically what this interview circles around in all by name) is a problem materialism is doomed to languish in precisely because it clings to an Cartesian account of matter, and this impoverished view of matter is wholly incapable of accounting for qualia. So simply dispensing with dualism is not going far enough.
Thanks.

I think the idea I had in my head was this: If p=t or p!=t is decidable in ZFC+AoC, then it must be that p=t because otherwise that contradicts that the continuum hypothesis is undecidable.

So a better way to sum up this result is: "The question of whether p=t or p!=t is decidable in ZFC+AoC. And oh yeah, they happen to be equal."

How does that sound?
I'm not suggesting anything. Those two tools (s3cmd and git) are in place and you can do whatever you'd like with them in whatever order.

I just pasted those two example commands in that order because that's what order they are in on our howto page...
You can make your Emacs setup minimalistic by hiding the toolbar and scrollbar. This blog post gives a pretty good starting setup. https://emacs-doctor.com/emacs-strip-tease.html

C-x C-f opens files, but will also open a file explorer if the path is a directory. The 'q' key will immediately close the file explorer. I'm not sure about git interaction. I usually just use the Emacs shell to enter git commands.
This is why I have my own domain. I saw my use of my @gmail address as an issue a decade ago.
Yes. These big tech companies have to be nationalized. I hate what they've done to society.
Didn't jump for me, but this should: https://blog.sessionstack.com/how-javascript-works-memory-ma...
I've been using Ember for the past few years, and while I like it, I almost always use React when dealing with realtime components; Ember just doesn't handle frequent component updates very well. I have even resorted to embedding React components inside Ember components to get performance gains.

For example, performance went from ~4 FPS per re-render of a realtime Ember component (absolutely terrible) to 60+ FPS by writing the exact same component in React and embedding it into the Ember component. I'm not sure where the bottleneck was, as debugging Ember performance is quite a headache.

You also have to buy into a lot of conventions, especially if you're using Ember Data, and those are not always easy to buy into.

If I was starting a new front-end project that was non-trivial, I would likely use React even though I do like Ember quite a lot.
https://en.wikipedia.org/wiki/Barefoot_and_pregnant
Right, like one of the examples is summing two amounts of money. As far as I know, that's just adding integers if you're doing it right. It's not clear what all the formalisms are bringing to the table there.
I asked about the import syntax[0] and got an answer on GitHub.

[0]: https://github.com/nodejs/node/pull/14369#issuecomment-32903...
There's a tremendous and insensitive irony in using that parable to describe the persecution of Nazis when it was originally about the Nazi's persecution and genocide of groups.
Not just a company in the US, but the right of any group of people who are not the government to freely associate in the US. Free association has implicit within it, the right of people to choose who they do not wish to associate.
DHS Issues BOD Banning Kaspersky from Federal Government
You may like this quote from John Steinbeck's 'East of Eden':

> Our species is the only creative species, and it has only one creative instrument, the individual mind and spirit of man. Nothing was ever created by two men. There are no good collaborations, whether in music, in art, in poetry, in mathematics, in philosophy. Once the miracle of creation has taken place, the group can build and extend it, but the group never invents anything. The preciousness lies in the lonely mind of a man.”
> But for many people, the initial learning curve just isn't worth it. Sublime, Atom and VS Code are all very popular because you just install them and start coding.

This does a great disservice to the quality and functionality of Sublime.

I was a fluent vim user before switching to Sublime and have never looked back. The smooth (i.e. not line-by-line) scrolling and powerful multi-cursors were enough to draw me. The little things like a beautiful file explorer sidebar with icons-per-filetype, great package manager you can launch, search, and install from right in the editor, and yes, occasionally even the mini-map, all keep me here.

There's a pervasive meme on HN that Sublime took off because of its lesser learning curve, and that if you're a professional programmer you should make the investment to learn vim and emacs. But this ignores that a lot of people who have already made that investment still find Sublime to be a better editor.

While I can understand the importance of using an open source editor, that particular argument doesn't sway me since I'm happy enough using Sublime for now. If it stops getting updates or whatever, I can always switch back to vim, but for now I will use what I feel is the best editor for the job.
KeeWeb.info - there you go. Open Source, $0.
What about the telephone company? Can AT&T cut off phone service to groups of people they politically dislike?
A grammar nazi in a nazi thread
You might find "Philosophy of Mind" by Edward Feser interesting.
He also wrote this article which helped me put a finger on the difference between "monopoly" and "concentration."

https://www.newyorker.com/tech/elements/the-oligopoly-proble...
Wrong. I mean, you're right, but you're ignoring various other aspects that affect the connection of a single device to a single base station... directional antennas, channel use, channel spread spectrum, tower height, noise floor, obstructions, etc... The point is, they want you to believe that it is spectrum, but really it is tower owners and tower licensing. And even that I don't think justifies caps. How does limiting speed affect the spectrum when your phone has already negotiated with the towers the amount of channels in use? There is a lot of FUD spread around on this topic.
"For the same reason BTC will exist."

Gold and BTC are not nearly the same thing.
The notch and deeply rounded screen corners don’t seem like fun to program around. It’s yet another screen variation you need to handle in code. All the sizes, aspect ratios, and pixel densities seem like enough of a pain, and now we have to deal with non-rectangular screens?

I only dabble iOS development. How do serious iOS devs feel about this?
i think the hard part is maintaining it more than creating it.
Library dependency and testing.

There is a lot more than just creating a package.
Who do you think supports nazis or other extreme organizations? It's not like you wake up one day and realize you want to join nazis for the greater good. No, there must be some people organizing the whole thing, promoting, putting quite a bit of time and effort into it to attract members. And somebody has to pay for all of this. Often those somebodies are state actors or politicians that want to use those organizations for their own agendas. Like suppressing internet freedom, manufacturing consent and all that.
> CDI, JAXRS, JPA, JTA, and JMS are brilliant technologies but are held down by the weight of legacy technologies.

JMS is not a brilliant technology. It gets stuff done but it's not brilliant. Issues I have with JMS:

- There is the old API which is closely modelled after JDBC, quite verbose, many objects that you have to close (not that bad anymore since Java 7) and checked exceptions. You almost never want to work with this API directly but use some convince layer above it. For example something like Spring JdbcTemplate, unfortunately Spring JmsTemplate hasn't received any love and therefore doesn't support generics or functional interfaces. I have a PR open for this but nobody seems to care about JMS anymore. But at least the old API works with connection pooling.

- There is the new API (JMSContext) which is much nicer to use, much less verbose and uses runtime exceptions. Unfortunately the new API does not work well with connection pooling. That's why Spring doesn't support the new API. That was supposed to be fixed in JMS 2.1 (https://github.com/javaee/jms-spec/issues/126) but then Oracle cancelled JMS 2.1.

- The old and new API from above are both part of JMS 2.0. In addition some methods you can only call when running in Java EE, some methods you can only call when running in Java SE, and some methods you can call from both Java SE and EE. We're talking about methods on the same interface here. How can you tell which ones you can call? If you're lucky it's mentioned in the method comment, that should now be the case for most of the methods since JMS 2.0, otherwise you just have to know about the inner workings of JMS and Java EE.

- JMSException#getCause() is unspecified. Only JMSException#getLinkedException() is specified. Yes, Java 1.4 Exception#getCause(). Which means if you have some generic exception handling code that uses Exception#getCause(), like let's say a logger framework that renders stack trace, then that code is only guaranteed to work if it special cases JMSException. That was also supposed to be fixed in JMS 2.1 (https://github.com/javaee/jms-spec/issues/113) but then Oracle cancelled JMS 2.1.

- The only way to receive messages without blocking is to use an MDB. Unfortunately MDBs have to be pooled. In addition there is no portable way to connect an MDB to a non-default RAR in your application server.

Sure, JMS solves problems but brilliant it is not.

JAX-RS even has it's own component and DI model different from CDI because of NHI syndrome.
but...but...my poor pinky finger.
The game is do good work, get good schooling, perform well taking care of some one else's business and make money. What's the goal? Money through value creation.
> Google hasn't really done anything too overtly Orwellian (e.g. only promoting news that shows it in a good light).

Well, they already are...

https://pjmedia.com/lifestyle/2017/09/11/report-google-bias-...
Well, sure, Luther says that, but Luther doesn't speak for all religion, or even all Christianity. There's a reason the movement he started is called “Protestantism”.

Contrast that quote from Luther and the attitude it expresses toward reason with, e.g., the Catechism of the Catholic Church (para. 159; footnotes excluded):

---

Faith and science: "Though faith is above reason, there can never be any real discrepancy between faith and reason. Since the same God who reveals mysteries and infuses faith has bestowed the light of reason on the human mind, God cannot deny himself, nor can truth ever contradict truth." "Consequently, methodical research in all branches of knowledge, provided it is carried out in a truly scientific manner and does not override moral laws, can never conflict with the faith, because the things of the world and the things of faith derive from the same God. The humble and persevering investigator of the secrets of nature is being led, as it were, by the hand of God in spite of himself, for it is God, the conserver of all things, who made them what they are."

http://www.vatican.va/archive/ccc_css/archive/catechism/p1s1...
Well, there's Lolita (https://en.wikipedia.org/wiki/Lolita#Publication_and_recepti...).
I honestly believe MBAs suck the lifeblood out of a company. I was at an event for Microsoft Ventures and I was the only engineer there. I had never had so many conversations where the content contained so many syllables and yet had no content whatsoever. The vast majority of these people had product responsibility at Microsoft. I left with the impression that Microsoft simply was overloaded with these people, most of whom understood nothing about technology. In companies I've worked at, these people routinely demonstrate the inability to see and respond to innovation. I've yet to see how an MBA brings value to a tech company beyond a basic understanding of accounting principles.
> This is a great read. I know the single cluster for all env is something that is sort of popular but it's always made me uncomfortable for the reasons stated in the article but also for handling kube upgrades. I'd like to give upgrades a swing on a staging server ahead of time rather than go straight to prod or building out a cluster to test an upgrade on.

I've been doing patch-level upgrades in-place since the beginning, and never had a problem. For more sensitive upgrades, this is what I do: create a new cluster using based on the current state in order to test the upgrade in a safe environment before applying it to production.

And for even more risky upgrades, I go blue/green-like by creating a new cluster with the same stuff running in it, and gradually shifting traffic to the new cluster.
That's sane sounding. But given how poor people are at dealing with low-probability, high-impact risks, the more individual levels of risk probably should have some formal guidance and/or legal requirements imposed by the the layers higher up.
Sometimes learning things like this actually changes the way you think. You might not notice it the first month you study these things, but little by little you'll grow comfortable with it and eventually it becomes second nature. Eventually this can help you reason about things in ways you weren't able to before, which is useful for certain especially challenging scenarios.
I agree with your sentiments, but I think you may be arguing against a straw man for Facebook. The smart move would be to break them up along business interests. The social network would be the same, but split their hosting off, and require messenger level access to internal APIs. I would imagine there would also be focus on ensuring that there is a way for competition to form around features like marketplace. Again, probably API centric.

Does this make sense? I'm not sure. But I think it would be easy for a set of programmers to redefine Facebook as more free market than it currently is.
Neither 1 or 2. I'm much more afraid that: 3) the companies that control the internet (which are free from any duties to allow free speech) will enforce an echo chamber in which only a very limited subset of opinions can be expressed. This is much more realistic, and it's exactly what seems to be happening.
> Why would any sane Op/Inf/SRE choose not to have at least account-level isolation - is it only a matter of cost due to under-utilization?

In our particular case, yes, pretty much. We are a small company with a small development team, so even if I would want to split accounts to different teams, we would end up having one account for 2-3 users, which doesn't make a lot of sense now.
What I learned building Page.REST – from an idea to paying customers in 7 days
This is just very cool
It clearly changed. Just like "debt collector" used to involve more property repossession and less robocalling.
I saw a video maybe a year ago of the same technology, also using Nissan's platform, for automated lines. Sit in a chair, and it'll move you down the queue until its your turn, then the chair returns to the back of the line.
The same reason its annoying when any other kind of program is slow, especially interactive ones.

I don't want to see freezes for 2-3 seconds for some GC run, I don't want the letters to appear several 100ms after I've typed, I don't want to wait minutes for it to parse a large-ish file or update the autocomplete suggestions.

https://pavelfatin.com/typing-with-pleasure/
You're not wrong!
Reported difficulties getting help on Equifax's phone lines