| www.computer.org
Bertrand Meyer and Reto Weber: Meaning as Programs — Programming Really Is Simple Mathematics, February 2025 preprint available here and also on arXiv. Theories of programming can be quite complicated; the presentation here is a return to essentials, defining programming and associated concepts (programming languages, programming methodology) entirely from elementary set-theoretical concepts. Unlike much of […]| Bertrand Meyer's technology+ blog
Optifye.ai's pitch includes a video where a "boss" yells at a "worker" by calling him a number, and sarcastically saying he's having a bad month.| 404 Media
A common question: "If we use smart pointers everywhere, can C++ be as 'safe'| jacko.io
What `git config` settings should be defaults by now? Here are some settings that even the core developers change.| GitButler
Jeff Johnson (My apps, PayPal.Me, Mastodon)Xcode constantly phones home| lapcatsoftware.com
Technically, websites can do just about anything that native apps can do. And yet the actual experience of using the web on mobile is worse than ever.| adactio.com
The very short version: it is madness to continue transferring the running of European societies and governments to American clouds. Not only is it a terrible idea given the kind of things the “King of America” keeps saying, the legal sophistry used to justify such transfers, like the nonsense letter the Dutch cabinet sent last week, has now been invalidated by Trump himself. And why are we doing this? Convenience.| Bert Hubert's writings
You Can Add Custom Buttons To Your Browser That Do Whatever "Bookmarklets" are an underutilized and frankly little-known feature in Chrome and Firefox (and probably most other browsers too) that allows you to create a bookmark that contains a little bit of JavaScript instead of a link to a web page. That doesn't seem too exciting, but combined with the ability to put bookmarks on a bookmark toolbar, we can create custom buttons that can take arbitrary action within the context of the currentl...| silly business
In my blog post, “The Quiet HTTPS Revolution,” I noted that almost every network connection from my phone and laptop is protected by the…| Medium