11/11/2023 0 Comments Start11 changelogA lot of effort goes into designing a book. I mean, obviously, it’s somewhat hyperbolic, because there’s a lot more intellectual effort goes into coding than typing… But I think, actually, maybe before the days of computers the analogy would be writing, and typography. Well, the thing I like to say is coding is to programming what typing is to writing. Is that correct? Am I thinking about it the way that you think about it? But the way you look at it, the idea, the program is a separate thing altogether from the implementation. And many of us - and I hold myself in this category - they’re kind of munged together, and kind of like grow out of the same milieu. This idea that, okay, there’s the idea that you’re trying to express… Because what good is a program if it doesn’t do something, or express something, or change the world somehow, or provide some sort of value? So you have the idea, and then you have the implementation. When you say “programming”, I know in the Quanta video, which we’ll link up in the show notes as well, that featured you, you made a distinction between coding and programming. You’re talking about specifying the ideas as separate from the implementation. You’re talking about separation of concerns. In that case, it’s from the ideas, and then the display of the ideas, of the typesetting. So this kind of is a pattern, or at least echoes what we talked about earlier with Knuth’s Tex, and subsequently LaTeX was the separation of concerns. People have credited me with inventing/adding timestamps to messages. And I just assumed that that was a well known idea, that people did that, and sort of not even worth mentioning… But as it turns out, I think they were actually the first people who did that, because their paper is not very well known, and mine was. So one of the two significant contributions of that paper was pointing out what this notion of causality - which again, seemed very straight, very obvious to me… But what they had done - they had used timestamps, they added timestamps to the messages. We could have something that calls something else, but things were ordered as if they happened in the opposite direction. I think a prime example of that is in my Time, Clocks paper, where it was inspired by a paper that I read from Paul Johnson and Robert Thomas, where they had an algorithm for something, and I realized that their algorithm wasn’t quite the right one, because it basically violated causality. One of my failings in my career is building on things that seem natural, some seem obvious to me, and without realizing that they were new ideas, and that they were significant ideas. When I started, I used Scribe, and it seemed perfectly obvious to me that was the thing to do. By the way, I should say that the whole idea of basically separating the ideas from the typesetting - that was done by Brian Reid in his scribe system. This is definitely one to keep an eye on.You know, Knuth intended for things to be built on top of it, but I’m not sure he expected so much of the underlying tech to be hidden from the user. It's a great little piece of software that does what all the best utilities do – places the user in complete control and gives options and choices. Start11 is a low-cost utility that will be welcomed by anyone who finds that Windows 11's redesigned Start menu is too dramatic a change. Verdict:Īnother fabulous tool from the incredible team at Stardock. Other options include tweaking Search, integration with other product from Stardock – such as Fences – and tweaking the mouse button and keyboard shortcuts. In addition to the Start menu, Start11 can also be used to customize the Taskbar, including adjusting transparency, adding textures and more. You can also customize the layout of the Start menu, adjust its size and location, tweak icons and more. You can tweak the theme, changing transparency and color levels, and pick precisely which shortcuts should be included in the menu. You can give the Start menu a classic look, or make it looks like it did in Windows 7. While this is something you can change within Settings, Start11 presents you with the option to move the Start button to the left of the taskbar alongside a whole host of other tweaking options. One of the most controversial changes to the Start menu in Windows 11 was the decision to center it. This is something that Start11 aims to address, making it possible to customize the Windows 11 (and Windows 10) Start menu in a variety of ways so that it looks and acts more like it used to in older versions of the operating system. While there has been a lot of excitement about Windows 11, some of the changes and design choices made by Microsoft also upset a lot of people – particularly when it comes to the Start menu. Change is great, but it can also be disruptive.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |