Viewing profile — OliverM

This is easily googled, no? It is not a twitter fight.

I'm not suggesting otherwise. I'm saying that your "toy example" comment is very dismissive of something that was an extraordinary accomplishment of its day. They invented spreadsh…

The clause "it's absolutely necessary for all but the simplest toy examples" is what I was disagreeing with. But I wouldn't be surprised to hear that visicalc adopted one as soon a…

Isn’t the existence & success of visicalc a direct counter to this?

The author is an accomplished software engineer.

It has both of those. I use them from Emacs comfortably.

Not this Irishman…

No, not in this case. The article already assumes the existence of a near perfectly-efficient process. It's just looking at the minimum energy needed to remove the carbon dioxide f…

This is impressive, but they just sound so _alien_, especially to this non-U.S. English speaker (to the point of being actively irritating to listen to). I guess picking up on soci…

I don't object to it at all, I think it's a great idea. We need more models of supporting open-source, including financial ones. BTW I also don't see commercial and open-source as …

I thought Ardour was a commercial product? If you want to download a binary from their site it's either a demo version with injected silence every 10 minutes, or a paid-for option …

Also see the ICCL's statement on the same amendment (it's a lot more direct about the issue and the implications): https://www.iccl.ie/news/last-minute-government-amendment-se... T…

I like the sentiment but this could have been a tweet. If it was it wouldn't be preaching to the choir. I am being glib above but in the spirit of useful feedback, the article need…

This is genuinely thrilling. I know it’s likely to be a C++ codebase, which I don’t have a huge amount of experience in (yet). But having open source access to a music machine of t…

I've not used Htmx, but a cursory browse of their docs gives https://htmx.org/extensions/multi-swap/ which seems to solve exactly this problem. And thinking about it, what makes it…

What are you hoping to gain from learning Clojure? Have you seen how it’s management of state is different to Python’s in how it allows much closer control of data sharing? That op…

The quick run speed is great for shortening the feedback loop. I've had great experiences with Lisp-style environments for that reason, and the language is much higher level than R…

Sounds like any functional language would have disappointed in that case?

"Go back to"??

Knowledge of the entire machine's activity. When I was a young teenager the home machine of choice was the Commodore 64 and its competitors. When you turned it on you usually had a…

I think the PS5 shows that they're doing a huge amount of things right. But they don't seem to have the same kind of _vision_ apple does (even if you dislike that vision). They sti…

C++ was one of the first languages I learnt as an undergrad, maybe 20 years ago. I used it for a few hobby projects but not much else (professionally these days I mainly use Typesc…

Thank you, your blog post was a pleasure to read. CoPilot looks great!

Are there proofs for other languages/runtimes available? I'd love to see the level of rigour needed to demonstrate that