This setup feels cumbersome, since you also have to manually track which items you have read. Kobo seems to offer better features in this sense (better than a jail broken kindle), however I like the build of my Kindle Oasis 2 too much.
As an Italian living in another EU country, I always thought that the amount of (broken) bureaucracy of Italy was not particularly worse. However this story comes after a couple more I heard this week, in a line of absurd practice possibly due to absurd regulations.
I actually contributed to retrowin32 to get Solitaire running there. Back then the only AI tool available was Copilot, and it took me several days just to get the main window showing, without menus or dialogs.
The current state of RetroTick was achieved in less than one hour using Claude Code.
Funnily enough, when programming with agents in statically typed languages I always find myself in need of reminding the agent to check for type errors from the LSP. Seems like it's something they're not so fond of.
This is a viewpoint commonly held by students who were exposed to imperative programming before having any class in maths. However it shouldn't survive long after that.
I just moved to macOS for the first time, and my only way to adapt to its multi-tasking has been keeping exactly one window per open application, never zero or more than one. The fact that Finder can't be treated like that is a real pain. I will focus on it essentially randomly, and it will disrupt my intended interaction.
I don't get the reasoning behind the zero-window cmd-tab interaction, but if it is there I guess that there's a reason behind it?
On macOS you can have an app that is running without any windows open and you use the menu bar to invoke different commands in that app. This is why cmd+tab allows you to switch to an app that doesn't have any window open, essentially cmd+tab is an app switcher and not a window switcher. If you want a window switcher you can use AltTab an open source window switcher for macOS.
By coincidence I was just having a look at the work by the same author on languages based on Interaction Nets. Incredibly cool work, although the main repos seem to have been silent in the last couple of months? This work however is much older and doesn't seem to follow the same approach.
WebMonkeys feels a bit like array programming, you create buffers and then have a simple language to perform operations on those buffers.
HVM is one of the most interesting developments in programming languages that I know off. I just don't know if it will prove to be relevant for the problem space it is trying to address. It is a very difficult technology that is trying to solve another very complex problem (AI) by seemingly sight stepping the issues. Like you have to know linear algebra and statistics to do ML, and they are saying: yes and you have to know category theory too.
I am very intrigued by this. It all seems AI generated. This same HN account posted another repo full of promises and which looks filled with AI generated stubs. What's going on? How did this reach the first page?
At least the author[0] seems to have some clout behind him. However, given that his code doesn't even compile and the premise seems massively over-stated, I wonder how his credentials (Stanford, etc) can even be genuine.
reply