Dedicated incremental static type checkers for dynamic languages already exist. In particular, Pyright for Python is fantastic and in many ways surpasses the type systems of classic typed languages

I’ve heard of publishing software to design photo albums/scrapbooks/cards etc. Is there a photo collection manager for archiving, sorting and filtering?

Given access to a large set of personal photos, say tens of thousands, it should be able to group, categorize, tag, and sort along a myriad of dimensions.

Example dimensions would be time, people and places. It would need some facial recognition/image classifier/similarity scoring capability.

There definitely are some cloud offerings today that do similar things, but I’d want it to work locally for privacy and practical reasons.

Not surprising that PDF comments were being used as a task list/tracker. In the same manner, Google Docs supports “@-mentions”, “assign to”, and “resolved” functionality for comments.

All you can do is send feedback to Adobe somehow and hope they add that feature back in. In the meantime, best to find an alternative workflow.

I’ve created a Google spreadsheet to accomplish this sort of thing: Split Payment Calculator

It’s got formatting and locked areas to help layman usage, but it’s ofc still a spreadsheet UI and not a dedicated app. A bit of math proficiency and spreadsheet formula knowledge helps.

Could be replicated on other spreadsheet software like Excel or Calc, although Sheets solves a lot of problems at once, like accessibility, sync, versioning, sharing, etc

That example doesn’t sound particularly difficult. I’m not saying it’d be trivial, but it should be approximately as difficult as writing a compiler. Seems like the real problem is not a technical one.

Wonder what makes it so difficult. “Cobol to Java” doesn’t sound like an impossible task since transpilers exist. Maybe they can’t get similar performance characteristics in the auto-transpiled code?