You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez said:
I'm gonna be on permanent sabbatical starting in one month. That is, I won't be teaching anymore, but I'll still be a "Professor of the Graduate Division" at UCR. I would love to visit your group for a while.
you probably know jim jarmush' movie permanent vacation? it was after he dropped out of school. some of us took it seriously and followed suit. maybe i should consider the rest of my life as just faltering on that path. i am looking forward to hearing more about the permanence of permanent sabbaticals :)
I don't know about Permanent Vacation.
Since I'm going to work for a month at the Topos Institute this summer, and I'll do lots of other stuff, I don't think of this next phase of life as a permanent vacation. Permanent sabbatical is closer. I actually think of it as "freedom".
i didn't mean to suggest that you would be on a permanent vacation. it's a jim jarmush movie. the idea it might be interpreted that way didn't cross my mind. sorry. i only mentioned it because it's about our generation when they were very young, and the idea of permanence was kind of funny. permanent freedom sounds fantastic. congratulations :)
The phrase "permanent vacation" instantly made me scared because I've read, and I believe, that people who treat retirement as a vacation don't do well. Most people can't really stand a permanent vacation, it seems.
besides apologizing for clumsily using the phrase, i should perhaps explain that it didn't occur to me that i should be careful because the concept of "retirement" with respect to someone from my generation... not from my generation, maybe from my context --- the concept of retirement just doesn't ring a bell. i would first need to identify with some job in order to be able to retire. John Baez has been a sort of a categorical concept since the times of Bob Dobbs. (i immediately said YESSS when i realized that the categorical narrative might resurrect on the web, after the unfortunate comedies and tragedies it went through. tho i confess that i didn't think that it could it work, so it was credo quia absurdum... but i guess it works.) in any case, it didn't cross my mind that some HR out there might make a difference for a categorical concept...
i say this with full honesty and complete conviction. thou shalt not retire. no chance. worrying about that is a waste of energy.
John Baez said:
Most people can't really stand a permanent vacation, it seems.
well. the second time i quit academia was after i had to stop being a mathematician and become a computer scientist (family reasons) so i got a job at a CS dept and they have all these conferences, so i presented one paper in a hotel above the treeline in the amazonian rain forest, and the next one in pisa, and the next one on the ile de reunion off the coast of africa, and then again in italy, with a 7-course conference dinner in the village winery... so i said i don't want to travel from vacation to vacation to convince people that i had a good idea yesterday, i need to build stuff (like i did when i was a programmer). so i quit academia for the second time. it also quadrupled the salary. and then 10 years later i took a 65% pay cut to stop building stuff. that year we had a conference in moscow, and then in iceland... nothing is permanent, but i think it is fair to say that many scientists love vacations.
thou shalt not retire. no chance. worrying about that is a waste of energy.
Thanks! It's true I can't quit trying to do interesting stuff, at least not yet. But I'm filling out lots of paperwork that says "retirement", and I'll stop teaching courses, which has been my main form of work for 30 years, and also ceasing to have grad students, at least for a while, and finishing up all my half-written papers with coauthors so I can make a fresh start: there's just one left. So it feels like a big change.
I don't think of conferences as vacations, but I know what you mean - they seem to be the way academics try to reward themselves. It's bad to be zipping around the planet the way successful academics do; I realized a while back that was the biggest part of my carbon footprint, and I've tried, with partial success, to cut back.
To quit going to conferences it helps to "fall out of fashion" and stop caring about the latest hot topics. The older I get, the less I care about the latest fads, mainly because I've developed my ideas of what's interesting - and I don't need a job, so I don't need to convince anyone that I'm doing something fashionable. It helps that nobody has ever forced me to get grants.
Well, recently they tried but then I quit. :upside_down:
Hmm, can you say more?
I'm old, I can always say more. Just name a subject.
This one:
John Baez said:
Well, recently they tried but then I quit. :upside_down:
Well, we have lots of committees to do the various kinds of work the department needs done. As you advance, the chair of the department starts wanting you to head more and more of those committees. For example, I've been in charge of hiring visiting assistant professors... and this year I was in charge of graduate courses. I see why this sort of work needs to be done, and the work I've done so far has not been onerous compared to what some people do - but I could see which way this was heading, so I'm glad to jump ship.
The ultimate sacrifice would be to become the chair of the department.
Yat Sun Poon is a saint.
But he's a saint who wants us all to work for the church.
My department hasn't been able to appoint a head for the past three years or so. We tried, and the old person stayed on in an acting capacity...until he retired in February! We now have another acting head, who now has agreed to serve for a second six months, but I gather doesn't actually want the position.
It doesn't help that Sydney University's maths department (much more prestigious than us) is now also advertising for a head, and louder.
And the university isn't actually advertising, yet, even after knowing for six months it needed to, but using a company that is probably best described as doing "executive talent search".
I don't understand why employers sometimes resort to using recruitment agencies instead of openly advertising openings... but as someone looking for a new job at the moment I have to say going through an agency is a lot more convenient than actually looking at lists of openings.
I suppose in this situation the university might be thinking that they need to solicit people not actively seeking new employment and that it would be better that such solicitation happens at arms length for some reason.
Personally I think it's because we just won't get someone if we don't hire an agency to go and cosy up to some people and convince them privately they might want the job. Things have been, shall we say, slightly less than functional here for a little bit.
It's not so much an agency as a head-hunting outfit.
John Baez said:
Well, we have lots of committees to do the various kinds of work the department needs done. As you advance, the chair of the department starts wanting you to head more and more of those committees. For example, I've been in charge of hiring visiting assistant professors... and this year I was in charge of graduate courses. I see why this sort of work needs to be done, and the work I've done so far has not been onerous compared to what some people do - but I could see which way this was heading, so I'm glad to jump ship.
The ultimate sacrifice would be to become the chair of the department.
when i become a grad student, my first salary was 1503 gulden, and my previous feelance programmer salary was 7500 gulden, so my thesis advisor was sort of stunned that i accepted it. he thought about it and said: "i know what you mean. you want to be an academic. you don't want to be rich. you don't want to sit in meetings, to manage budgets and sort out conflicts. you don't want to play political games and hate your enemies. as your academic career advances, you will be spending more and more time in meetings, you will be managing more and more money and people. political games will catch up with you, and to prevent your enemies from doing terrible things you will be spending most of your time in meetings, on management, budgets and conflicts. the only one of your original commitments that you will fulfill will be that you won't get rich."
Lol :grinning:
@dusko What would you say today? Was your thesis advisor right?
Tom Hirschowitz said:
dusko What would you say today? Was your thesis advisor right?
it is a surprisingly difficult question, even if restricted to a single sample.
that science as a social process that dwindles back to politics (just done by blundering amateurs) seems largely true. i am not happy to say this. most of my best friends are influential academics. they are good honest people. but there is no denying that most research communities behave like political parties, and many of the people wielding most power in science are those who replace their research programs by strategic behaviors. (science as an evolutionary interaction between our species and nature seems to develop a level above. or behind our backs: the internet was developed for the case of nuclear war; the web to distribute physics preprints; CRISPR arose from classifying antiviral mechanisms...)
is the sinkhole of politics inescapable for individual scientists? that is where the question becomes difficult. people like grothendieck and perlman simply say no. jon beck (of monadicity theorem) said no in a different way. simon norton (of monster group and monstrous moonshine) was a bit like perlman. is it possible to do science without participating in the politics of it? grothendieck's work after he quit seems to be nowadays more read and more influential than the SGAs. but if he was happy and did not write all his desperate letters and esquisses, we would never know.
on the opposite end of the gamut is jh simons (of chern-simons and the simons foundation), who said no and got rich. some will say that he quit doing math. others will say that he took the notion of applied math seriously. both are right in their way. there are other examples of people who got reasonably rich applying their math, esp in the bay area, and remained happy. descartes started using his coordinates to fortify breda, to get paid. and there are surely many other people who followed their own paths, and we never heard of them.
i am tempted to pontificate that it is possible to escape the sinkhole by remaining honest and following the logic, not the herd. that seems to have been possible for my generation, with some luck. but everything seems harder now...
sorry, you got me going. its a life of brian.
I got lucky and found an institution where I could do what I want, earn a good living, not be pressured to get grants. There are definitely problems with a "second-rate" institution like UCR, and problems with not getting a lot of grant money to support my grad students, but overall I think it was better to take that route than to struggle to get a job at a "first-rate" institution and get grants all the time.
In short: not trying to be near the top of the heap frees up more time to actually think.
My grad students are having a lot more trouble in academia than I am. Two of the most ambitious, who could easily do quite well in academia I think - Nina Otter and Brendan Fong - are trying to set up their own institutes.
So they are boldly trying to make academia better by expanding the definition of academia.
And then of course David Spivak is also setting up the Topos Institute, along with Brendan.
One thing I'm curious about is this: is @Bob Coecke still taking students (at Oxford or anywhere)? Will Oxford still produce a lot of PhD students interested in applying category theory?
If David Spivak and Bob Coecke and I aren't taking grad students, I'm wondering what are good places for grad students interested in applied category theory to go.
John Baez said:
If David Spivak and Bob Coecke and I aren't taking grad students, I'm wondering what are good places for grad students interested in applied category theory to go.
I am still supervising students, although gonna do that mostly in Maths and Physics in the future, and in in CS department there are of course also Aleks Kissinger and Sam Staton. In fact, we bring in some PhD money. Some also just come work with me at CQC, rather than PhD. It made it a bit difficult this year as what qualifies as a PhD paper. Expanding the definition of academia is good, and necessary! We are doing that as well. (one floor in our new offices is Topos-Oxford btw)
For what is worth, my goal for the next few years is bridging Applied Category Theory with the Crypto community. There is a lot of research going on in Crypto that is not "classically" academic. But there is also a lot of money available, and they are in great need of categorical tools, even if they don't know about it. I'm involved in a big project at the moment, if everything goes according to plan I think we will be able to hire a few applied category theorists in a few months. It's not exactly "revolutionizing the space" but this is the best I'm able to do at the moment.
Also, politics in Crypto is very different. Stuff like grants basically doesn't count, but you must be ready to argue/discuss on twitter all the time: You can build your reputation from zero, but there are no instituional channels and you'll have to be your own social media manager, if that makes any sense.
(Also a month in Crypto is like two years in normal tech, things really go VERY fast. This means that rewards can come pretty quickly, but learning to navigate such a fast transforming environment may feel frustrating initially)
John Baez said:
If David Spivak and Bob Coecke and I aren't taking grad students, I'm wondering what are good places for grad students interested in applied category theory to go.
They can come to Glasgow :)
The rate of new non-university research labs being created in our immediate circle alone does look like quite the vote of no confidence in universities
It may just be a side effect of interest rates being so low for so long so that a bunch of rich people are practically giving away money, rather than anything particularly to do with universities
I think universities are showing how heavy bureaucracy is a weakness. Doing something via the uni usually takes way more time than doing it with a private corp. This is not an option in fast-growing sectors like tech
Or it could be that we're a bunch of weirdos and nobody wants to hang out with us...
Also, in tech it is very easy to turn ideas into profitable businesses. Many universities are absolutely predatory in this respect. They can demand up to 20% of your shares, if not more, if you incorporate while working at a uni. No wonder people run away as fast as they can
Notice that this predatory behavior is by no means justified: Unis are often publicly funded, moreover they rely on student taxes, grants and other stuff. Why should they be interested in ownership of empoyees' private companies? It makes no sense at all, it's just greed.
Zooming out, probably the real problem here is that in the last decades we had this mind-shift of "unis ran as they were companies". This is absolute garbage for a lot of reasons. Practically, you also get universities that often act like they are competing with companies. They are doomed to fail tho because all the involved bureaucracy makes them totally uncompetitive. I'm pretty sure things would be different if unis would just fullfill their real purpose: Being public institutions that do research for the common good.
The very idea that universities are competing with each other is already absurd. They are noting like companies in that their level of incompetence wouldn't let them survive a day in the real world.
but where should the people who are now in high schools go study? is the generalized academia going to teach any cal I classes? or do we not need that any more?
I think most people do not need a degree to be good at the job they want. But it has become the accepted thing that many employers want to see an undergraduate degreeat least. So much so that students (or their parents, or whoever) will pay a great deal to go to university.
I think changing this could help universities be less like corporations, competing with each other, etc, and focus more on research (and teaching, which keeps research going from one generation to the next). Probably making other pathways is a good place to start: apprenticeships, etc.
There is also the "problem" that most people want the social experience of university life, but maybe alternative pathways could offer a similar experience in time.
Of course, the bureaucratic side of universities wouldn't like any such change, because that's their business gone.
Fabrizio Genovese said:
Also, politics in Crypto is very different. Stuff like grants basically doesn't count, but you must be ready to argue/discuss on twitter all the time: You can build your reputation from zero, but there are no instituional channels and you'll have to be your own social media manager, if that makes any sense.
Is it just me or does this sound far worse?
A weirdly simultaneous discussion is happening on HN right now: https://news.ycombinator.com/item?id=27510836 . Apparently a bunch of universities are getting together to form a patent troll conglomerate... yikes
Nick Hu said:
Fabrizio Genovese said:
Also, politics in Crypto is very different. Stuff like grants basically doesn't count, but you must be ready to argue/discuss on twitter all the time: You can build your reputation from zero, but there are no instituional channels and you'll have to be your own social media manager, if that makes any sense.
Is it just me or does this sound far worse?
Not better, nor worse. It's just different. Clearly less bureaucracy means also less certainty and safety nets, in a way
But things can happen a lot faster. The point is that if you have a good research project in mind and you can shill it in the right way you can get money to work on it very quickly, whereas for many grant applications it's a process that takes months.
The main downside is where the money goes actually. When you get a grant, it goes through the uni and you are not receiving the money directly, so tax-wise everything is taken care of. With crypto you have two choices:
So does the money usually come from individuals or from institutions?
Also, very interesting question. The ethos of crypto is mainly about being decentralized and unregulated wrt traditional law. So it can be both, or none of them
I guess that the main problem is that I don't know what institutions like the ETH foundation are, legally. For sure, their standard way of doing things is that they send money to you directly, they don't manage the money for you as unis do.
I guess in situations like this the line between individual and institution can be quite blurry - especially when it comes to oversight and transparency
Probably the worst tax scenario is that a crypto foundation that happens to be incorporated in some shady place finances your project, and then the tax authority sees money coming on your bank account from some random tax heaven lol
(Which is not to say that universities or traditional academic institutions are bastions of transparency either)
(which is also why many people prefer to be paid in coins)
There's a maxim that says that the cryptocurrency world is doomed to reinvent traditional finance, one crisis at a time. It's just a matter of time before they reinvent funding agencies and research councils too...
The real problem here is that crypto is a truly global financial network, so local jurisdictions are often ill-prepared in dealing with it. For instance, Bitcoin is not a legal entity, it's more similar to a common good. If someone steals your money, who do you sue? What jurisdiction is responsible for chasing the criminals? Bitcoin being incorporated nowhere, I guess the answer would be "the country you live in", but everything is very murky
Zhen Lin Low said:
There's a maxim that says that the cryptocurrency world is doomed to reinvent traditional finance, one crisis at a time. It's just a matter of time before they reinvent funding agencies and research councils too...
In some respect they already do. The ETH foundation is running a grant program since a few years, for instance
But to avoid the jurisdiction nightmare they just prefer to pay you directly and then it's your responsibility to be tax-compliant, which can be good or bad depending on where you live in
In any case when you really start thinking deeply about the legal implications of such decentralized research projects it becomes a massive headache very quickly. My gut feeling is that in the next few years tax authorities worldwide will start really incorporating the tracking of blockchain transactions in their routine checks, and at that point A LOT of people will find out that they are in trouble with tax authorities
Maybe this is one of the best reasons to justify the existence of unis atm, at least for such fringe tech projects
Let me put it this way: would you be comfortable being paid only in BTC/ETH/flavour-of-the-month?
One of the values of money is that it can buy you stability, which I'm not sure anything cryptocurrency related can do
In theory, the small research institutes springing up could be the happy middle ground. They're normal legal entities and pay you in normal money, but hopefully with a lot less BS than is involved in universities. Whether this actually happens in practice, I'm waiting to see
Nick Hu said:
Fabrizio Genovese said:
Also, politics in Crypto is very different. Stuff like grants basically doesn't count, but you must be ready to argue/discuss on twitter all the time: You can build your reputation from zero, but there are no instituional channels and you'll have to be your own social media manager, if that makes any sense.
Is it just me or does this sound far worse?
Some people may like it - but I'm damn glad I was able to make my living teaching calculus, differential equations, and such for about 15-20 hours a week and spend the rest of my time teaching grad courses and doing research.
Anything that requires use of twitter sounds horrific to me. Twitter is the scourge of the 21st century.
I like Twitter. I use it to explain math to a bunch of people who might otherwise not bump into it. I like to write a blog article with details, and then a tweet-series that links to that.
I also use it to advertise conferences, summer schools and stuff.
I've got 35,000 "followers". But I would not at all like my career to depend on tweeting!
Nick Hu said:
Let me put it this way: would you be comfortable being paid only in BTC/ETH/flavour-of-the-month?
YES
Nick Hu said:
One of the values of money is that it can buy you stability, which I'm not sure anything cryptocurrency related can do
You can convert in stablecoins and then it's like having fiat currency
Mike Shulman said:
Anything that requires use of twitter sounds horrific to me. Twitter is the scourge of the 21st century.
This is very true. But it's the natural outcome of living in a society where social media is pervasive. If it can make you feel better, it's going to be much worse in the future!
I really wouldn't be surprised if years from now some unis would start hiring faculty also by evaluating their "impact on the social media". It sounds awful because it is, but it also seems to be a natural evolution of what we have now.
one possible interpretation is that the social media thing is not so particularly new.
for a better part of history, the social influencers competed for followers, converting them from the dionysian to the hadean cults, from judaism to christianity, from christianity to islam... the scope of the broadcasts was different when the influencers had to travel from village to village, or yell from a hill, but the type of communication was similar. then various factors (people with horses instead of religions, pandemics...) drew attention to the reality, so science got invented, which sort of says that the information content should be selected not by how effectively it can be compressed to influence people, but how effectively it can be expanded to influence the reality. which requires longer messages, studying, passing messages from generation to generation, avoiding testable lies. but that seems to have worked to well, so they made a hammer so big that they hit themselves on the head, and started believing in elon musk flying to mars and digging tunnels, and remembered how much fun it was to get drunk in dionysian cults, and to believe in the hadean stories. especially when you get paid real money for telling them...
the only thing that is new is that all the unreasonable effectiveness of the mathematics in science, and of the science in reality, are behind us, and that the hammer is in the process of falling on our head from roughly that direction.
i hope this is just another bulshit story, just slightly too long for social media.
Why on earth would it make me feel better to tell me that things will be worse in the future? I'm not so pessimistic about the future as that; society has recovered from worse scourges in the past.
Lol, I was joking, obviously there's nothing to be cheerful about
sorry, i didn't mean to make anyone feel better or worse. all that i was trying to say was that the social media thing might not be all that new. the hammer part entered the story just as a thing that is new with respect to the times when people last mainly concerned with talking to themselves, before science.
speaking of which, brian eno had a pretty good album "before and after science". i think john baez posted it on twitter the other day :)
That was the album that blew my mind in high school and made me want to start doing music. It has nothing to do with what we're talking about now, I think!
Fabrizio Genovese said:
Nick Hu said:
One of the values of money is that it can buy you stability, which I'm not sure anything cryptocurrency related can do
You can convert in stablecoins and then it's like having fiat currency
Is this satire?
Nope, they are literally pegged to dollars.
So if you worry about volatility, that protects you from price swings
If you worry that "all the cryptoecosystem is a bubble and will collapse and everything will go to zero eventually" well, I wouldn't suggest you to look for research money from a Crypto institution in the first place.
(Also because, quite reasonably, they won't give you any lol)
Fabrizio Genovese said:
Nope, they are literally pegged to dollars.
I wouldn't trust the USDT peg to hold: https://www.singlelunch.com/2021/05/19/the-tether-ponzi-scheme/ If the other stablecoins don't have better reserves, I'd worry about those too.
Personally I use DAI/USDC, which are algorithmic and much better
The DAI peg held extraordinarily well even when ETH lost like 70% in a week.
DAI is completely based on fine-tuned game theory. It's a fairly complicated system that for now has held really well in the most absurd conditions, and it's completely trustless. But you shouldn't take my word for it, you should see the docs. And then it wouldn't be a matter of "trusting this or that", but in believing that the boundary conditions of their model are or aren't appropriate, as it should be.
(USDT is completely against the whole ethos of crypto. There is no point in having a decentralized system that is based on a "hey, trust me, we have one dollar in our vault for every USDT we mint". At that point you can just use a bank account, the level of trust is similar and it probably comes with more protection for the clients.)
Does the word "crypto" in this entire discussion refer to "cryptocurrency"? I grew up in a world where unadorned "crypto" meant "cryptography".
Yes :smile:
I hate it, but it's true that crypto now means cryptocurrency instead of cryptography. The amount of money and attention just completely overwhelmed the previous meaning. Cryptography doesn't even make the first two pages of Google hits for "crypto".
I guess it brings up the interesting etymological question of whether there are other words that completely changed meaning over the course of just a few years.
Mike Stay said:
Cryptography doesn't even make the first two pages of Google hits for "crypto".
Sounds like google has hidden that meaning of "crypto". :smirk:
groan
Mike Stay said:
I hate it, but it's true that crypto now means cryptocurrency instead of cryptography. The amount of money and attention just completely overwhelmed the previous meaning. Cryptography doesn't even make the first two pages of Google hits for "crypto".
I guess it brings up the interesting etymological question of whether there are other words that completely changed meaning over the course of just a few years.
I still live in a world where it definitely doesn't mean "cryptocurrency" LOL. I think a lot of people are going to feel pretty silly when that fad dies down. sorry!
If we have to abolish cryptography in order to abolish cryptocurrency, I guess I am willing to make the sacrifice. LOL
I'm fairly confident that before the end of my career, crypto will revert to its original meaning. So I'm not in a hurry to change
Jonathan Sterling said:
If we have to abolish cryptography in order to abolish cryptocurrency, I guess I am willing to make the sacrifice. LOL
Another adept of the Stephen Diel's cult, I see
Fabrizio Genovese said:
Jonathan Sterling said:
If we have to abolish cryptography in order to abolish cryptocurrency, I guess I am willing to make the sacrifice. LOL
Another adept of the Stephen Diel's cult, I see
Let's not talk about cults. I like what Stephen has to say, but I think he despises me.
Jules Hedges said:
I'm fairly confident that before the end of my career, crypto will revert to its original meaning. So I'm not in a hurry to change
To be honest I don't think there is any need for it to 'revert'... I have only heard gold-rushers using crypto in this sense --- so the rest of us can use it as a 'reverse shibboleth'. I think it still means the usual thing among both cryptographers and non-cryptographers.
But I don't want to get into a flamewar on this channel. I'm content to wait until the goldrushers have moved onto breathlessly evangelizing the next thing, once cryptocurrency is forgotten.
It's difficult not getting into a flamewar after you described crypto as a fraud and the countless people that work with it (many of them with the best intentions) as goldrushers. I'm curious to know if you had the same opinion with the early Internet. One should be able to separate the value of the technology with the countless endeavors to exploit it that pop up like mushrooms.
About Diel, he for sure despises me, but at least in my case it's fully reciprocal.
Fwiw, I'm working on radicle.xyz which is attempting to create an economic ecosystem (as well as a decentralized one) for FOSS (free open source software) using a token called RAD. The first economic feature is to give patronage to others but the token also acts as a voting mechanism to deploy smart contracts that affect the token itself. I'm not deep into the cryptocurrency scene but I think this is at least a good mission to be working on :blush:
It is, but you know, crypto has no real value and it's a Ponzi scheme, so your argument is invalid.
(The funniest thing to me is that these comments come almost exclusively from academics, that seem to fail to recognize that academia is one of the biggest cults in the world right now)
(deleted)