Or more likely i’m overthinking it and they’re just a way to have a funny argument with friends.

  - EPICS
  - TANGO
  - Bluesky (not that one)
  - QCodes
  - Sardana
  - yaq

But, this article implicitly assumes that a mathematical proof has to be utterly rigorous in order to be useful. I would assume that the author leans hard towards a "formalist" view of mathematics. I think this is an insufficient understanding of what mathematics _is_ and that embracing some amount of mathematical platonism and using "incomplete" proofs to gesture at important understandings is necessarily a valuable part of mathematical pedagogy.

My opinion is basically that of David Bessis, see a recent blog post [1], and his excellent book on the subject [2].

[1] https://davidbessis.substack.com/p/the-curious-case-of-broke...

[2] https://www.goodreads.com/en/book/show/200128457-mathematica

https://www.arrantpedantry.com/2020/03/24/umlauts-diaereses-...

So we're going to have some engineers specify suitable digital replacements given the process/environment/safety requirements. We'll procure those (noting that an industrial digital pressure transducer can easily push up towards $10k), schedule a plant shutdown (how much does that cost?), then pay a pipefitter/boilermaker to replace the old gauges with new pressure transmitters (do you need a hot work permit for that? Did you get your engineer to sign that off?). Then, your controls sparky has to find a way to route a drop back to your marshalling cabinet for connection into your fieldbus/HART/modbus/whatever network (do you have one of those?) so that your SCADA system can talk to it (do you have one of those?).

Obviously it's not really an apples-to-apples comparison, but I think the costs involved with making "simple" changes in industrial settings are easy to wildly underestimate.

- I suspect that in this moment, cobbling together your own simple version of a “claw-alike” is far more likely to be productive than a “real” claw. These are still pretty complex systems! And if you don’t have good mental models of what they’re doing under the hood and why, they’re very likely to fail in surprising, infuriating, or downright dangerous ways.

For example, I have implemented my own “sleep” context compaction process and while I’m certain there are objectively better implementations of it than mine… My one is legible to me and therefore I can predict with some accuracy how my productivity tamagotchi will behave day-to-day in a way that I could not if I wasn’t involved in creating it.

(Nb I expect this is a temporary state of affairs while the quality gap between homemade and “professional” just isn’t that big)

- I do use mine as a personal assistant, and I think there is a lot of potential value in this category for people like me with ADD-style brains. For whatever reason, explaining in some detail how a task should be done is often much easier for me than just doing the task (even if, objectively, there’s equal or higher effort required for the former). It therefore doesn’t do anything I _couldn’t_ do myself. But it does do stuff I _wouldn’t_ do on my own.

Recently I had fun reimplementing an old (but still usable!) code for accelerator optics. It involved transfer matrices for a 6D phase space to second order. Most of the FORTRAN77 source code was just pages and pages of hand-differentiated 6x6x6 matrices (with quite non-trivial elements) and the plumbing to painstakingly propagate those jacobians around for fitting... all replaced with a single, magic, call to jax.grad(). Felt like cheating!

I'm also super interested in its application to modelling, e.g. projects like https://github.com/deepmodeling/jax-fem -- particularly for chaining different sorts of simulations and analysis together and getting gradients through the lot. Also quite magic!

- someone who bought an investment property, which then appreciated, and then they wanted to take out a larger mortgage against the appreciated value to leverage it into buying another property.

- Someone borrowing against stock to avoid realising gains by selling it

That seems… reasonable to me?

For example: https://www.owhsp.qld.gov.au/court-report/fines-imposed-fail...

""" 1. Explore Government and Community Meal Programs (Often Low-Cost or Free) Many programs provide balanced, home-delivered meals designed for seniors, emphasizing nutrition over processed frozen dinners. These are ideal for someone on a fixed income who doesn't cook. """

Specifically, it recommended Meals on Wheels, the Commodity Supplemental Food Program (CSFP), Local senior food pantries or boxes through Feeding America food banks, and Medicare Advantage or Medicaid benefits.

To my obvious follow-up question, Grok replied "Yes, several of these programs have faced proposed cuts, eliminations, or other pressures during the current Trump administration"

Copilot button on my email inbox? I try "Find me emails about suchandsuch", and get the response "I don’t have direct access to your email account. If you’re using Outlook (desktop, web, or mobile), here are quick ways to find all emails related to...". Great, so it doesn't even know what program it's runnning in, let alone having any ability to do stuff in there! Sigh.

https://agupubs.onlinelibrary.wiley.com/doi/10.1029/2019GL08...

"Retrospectively comparing future model projections to observations provides a robust and independent test of model skill. Here we analyze the performance of climate models published between 1970 and 2007 in projecting future global mean surface temperature (GMST) changes..."

https://www.youtube.com/watch?v=6Js8erWbsDQ

It's small and kind of underpowered, but not useless! The central idea is to 3D print shells that hold metal parts and are then filled with concrete for rigidity and mass. Quite clever, I think.

[1] https://github.com/python-trio/trio