https://le.ac.uk/computing-and-mathematical-sciences

The course offer looks to be mainly applications, which does tend to fit the profile of this particular university in the UK. The staff list looks to be roughly balanced between mathematical sciences and CS.

https://le.ac.uk/computing-and-mathematical-sciences/people/.... Totally random professor (in UK professor is a job description and very senior)

https://le.ac.uk/people/sergei-petrovskii

He does ecological modelling. One paper that caught my very superficial eye

https://chaos1.la.asu.edu/~yclai/papers/PLR_2020_MACFGHLPSZ_...

So to answer your question: going strong, mostly applications.

Oxford: On the main road through the centre is an old tower, the Carfax Tower, 11th century so 900 years old. You can sit in the churchyard outside that tower and have a coffee and pastry. People have been stopping for a while outside that tower for a long time. It is nice on a sunny day towards evening when the warmth of the stones staves off the chill from the rivers.

Chester: Pop into Superdrug on Northgate Street for toothpaste. Medieval chapel, wool exchange, theatre and music hall. Dickens did a reading there.

And how do you see these qualities changing over, say, the next decade?

(For me on Linux it is a directory full of text files with markdown and sometimes a groff pic diagram or even a metapost diagram (just starting with that one))

How would that work if the remote people were employed by a different company that was given a contract by the home company to provide certain pieces of software or specific computing services?

Best of luck with the copyright complaint.

The microphone in the OA pictures looks pretty basic as well, and perhaps intended for voice recording mainly. So we have limited high frequencies from comparatively slow tape speed, rumble from the dc bias, and a microphone that perhaps isn't catching low frequencies.

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

Someone did a lot of work to restore these recordings!

[1] https://manualmachine.com/concertone/tr100/8544644-schematic...

[2] https://www.radiomuseum.org/r/transicord_tr_100.html

I found it reassuring that sketching what you see down the microscope is still part of a scientific practice. Also the 'fresh eyes' could perhaps point the way to a more collegiate organisation of research.

The worst: ImageMagick icon shows four lines of wrapped name/comment in brackets, the last line of which is unreadable as it disappears under the icon below in the grid, so very much not ideal! I'd rather the icon title appeared wider and in a solid colour over the nearby icons when moused over. I'm using a largish font on a small screen (1366x768). Most are OK.

(I have to admit to rarely using the 'Show Apps' or 'nine dots' function, I usually just mash the windows/mod4/super key and type a couple of letters of the name then hit enter)

(I think that this situation is worth pointing out because there is potential for talking past one another as a result of the default choices made by different Linux distributions).

Nice keyboard as you say. These things are solid.

Alas no linux support, not even an api to allow the use of some terminal command to get round GUI fragmentation. Searching for 'sync online storage with linux' leads to a recent redit thread and a Mint Linux forum thread.

RAM thefts: Birmingham UK, Jewellery Quarter, St Paul's Square. Some may remember the solicitor's office on the corner that had 'RAM removed from PCs overnight' etched on the street level windows pre-millenium. Has been converted into posh flats now.

Ships three times a week from Halifax docked at Birkenhead's grain elevator. The flour was then transferred to the mill over the road. British wheat flour (refined) at that point in history (60s) could not get to more than about 9% protein, not really enough to raise a loaf.

Common Market (? 1975) and we have tariffs &c so British wheat gets some serious cross-breeding attention. And now you can get home grown strong white flour above 11.5g. I think there was a similar story with Sugar cane and beet. The old Spillers mill is now flats, and the grain elevator was demolished decades ago.

But, yes, a few of the ships still come and yes you can get Canadian flour at 14 to 15%. One local artisan baker uses French flour as a matter of principle. Others don't specify the source. I'd say develop your recipes and go for it.

I read the Mastodon thread as more about the 'flattening' and 'rawness' of the proofs these systems and their operators are producing. I mean what is the cultural significance of a lean proof that is half a million lines long or something? And what tools can be extracted for further work from such a construction?

The late William Thurston wrote about the culture of mathematics in that sense.

Accountability: misuse of cctv or bodycam footage can lead to disciplinary action of various kinds including being sacked. The link below will give you an idea of the volume of formal complaints and the 'pipeline' from complaint to potential dismissal and criminal proceedings against officers;

https://www.gov.uk/government/statistics/police-misconduct-e...

The accountability system is 'under review' (we do this a lot, slows things down nicely and looks like action);

https://www.gov.uk/government/publications/end-to-end-review...

It isn't unicorns and rainbows by any means;

https://www.bbc.co.uk/news/uk-66809642