HNHacker News
TopNewBestAskShowJobs

qwerty12653

20 karma · joined August 8, 2016

submissionscomments
qwerty12653··on Basic Category Theory
Having attempted to get through it myself(and having a math degree), I would strongly recommend against Algebra: Chapter 0 as an introductory text on either category theory or abstract algebra.

If you either already have a math degree, or if you're already at the point where you're ready to take an upper-level undergraduate math course, then it may be a decent book for you. Maybe. For example, if you're:

- already very comfortable with linear algebra

- possibly been exposed to a bit of topology in analysis class

- already been exposed to abstract algebra a bit by a more theoretical approach to linear algebra (comfortable with proving things in linear algebra via vector spaces and fields)

Otherwise, I would absolutely steer clear of it. The writing style is also not terribly beginner-friendly, in my opinion.

The closest book I can think of to what you're asking for would be "Conceptual Mathematics: A First Introduction to Categories". Though obviously I don't know whether it's a good fit for your particular background and learning style.

qwerty12653··on The Shame of Palo Alto: An Interview with Kate Downing on Affordable Housing
I don't normally bother commenting, but I thought I'd offer a few observations here.

First, the second you start using all caps to make an argument, in effect yelling, you significantly lose any credibility your argument might otherwise have had. If you want to make an effective argument, and for readers to not otherwise ignore your point, I'd recommend not doing that. It does no one involved any good, and essentially shuts down the conversation.

Second, your overall tone here seems incredibly condescending. I realize it's often difficult to judge tone on the internet, so if I have misread that tone, I apologize. However, condescension is another quick way to short-circuit any fruitful conversation you might have otherwise had.

It's fine to disagree with someone, even to disagree vociferously, but talking down to someone is not going to convince them of anything. Quite the opposite, in fact.

If you want to not only convince someone of something, but also have a fruitful conversation where hopefully everyone involved actually learns something, it's generally wise to assume the person you're talking to is an intelligent human being who has valid reasons for believing the things they do, regardless of whether you agree with those reasons or not, and treat them accordingly.

qwerty12653··on Purely Functional Linux with NixOS [video]
I really want to like NixOS, but there's a serious lack of examples of how to deploy common web infrastructure with it, and that's bitten me the few times I've tried to play with it.

For example, our stack is nginx, uwsgi, django, elasticsearch, and postgres. Installing most of the pieces seemed relatively straightforward(though required a fair bit of searching through the nixpkgs source), but it's honestly pretty unclear how to install our actual django app.

Currently we just clone the repo to the server and point uwsgi to the relevant uwsgi.py file, but it doesn't seem like there's a good way to do that in NixOS.

I'd love to hear that I'm wrong here, but again, the lack of decent example documentation is really the single biggest issue I have with NixOS. The rest of the documentation seems to be improving slowly but steadily.