Category Archives: Uncategorized

Vacation feeling. Ever.

I belong to a class of people who are connected to their job all the time. Let us say, I am my own brand. But sometimes, when I simply want to have more than several consecutive hours of freedom in a row (more like days), this can be tough to achieve.

I will say only this. I am getting angry. I don’t remember any vacations, where I would be completely “off & carefree”.

And this is about to change.

Parallel Prolog Implementation

Was interested in Prolog implementations, with parallel execution (and/or). Sictus has some possibilities (https://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_6.html). Also, SWI Prolog has some possibilites: http://www.swi-prolog.org/man/threads.html.

Then, I found some very old links: http://www.sciencedirect.com/science/article/pii/074310669090025Z, https://link.springer.com/article/10.1007/BF03037061, https://www.it.uu.se/research/csd/theses/0025.pdf. Neatly, there is an overview paper (again, old): https://pdfs.semanticscholar.org/8fe5/f71e7e6b2cc91fe7f43c266d16f9ca2fc61d.pdf

This old thread from 2007 has a lot of links: https://groups.google.com/forum/#!topic/comp.lang.prolog/OMkjGMqFLH4

Finally, a MapReduce construct was added to Prolog (not what I was looking for, but still): http://paginas.fe.up.pt/~ee08127/dissertation/pages/AMapReduceConstructForProlog.pdf.

So, in the end, I am confused – while this should be fairly easy to implement (intuitively speaking), there seems a large body of work declaring otherwise.

Deciding on the next read

It is always funny when you finish a book. Sometimes, I even dread this moment – I will have to make a decision on the next book and this is not easy. After the Company town, I am split between Rest and Superforecasters. I think I am going to go with the latter. But then again, there is a lot of things to do. And so little time to do them.

The company town

A complex story with twists and turns, with memorable quotes that will resonate with you for some time.

When you start reading it, you have no idea, what it will evolve into. Once you understand it is going to be a love story, you just hope the ending will be right. But Madeline decides, the end will be full of surprises. Some of them are so far out, you have to back out of the story, re-check what you are reading, and then dive back in. In the end you are happy with the story and the way it developed.

Recommended.

Cooling down

Last week was demanding. It required a lot of physical stamina and mental stability. In the end, it required also heat resistance, due to some broken thermostats. This is not the important part of the story. It is rather a fair depiction of the context, where I learnt some people do not care about responsibility, when they are in position of power. They will not prepare for the meeting, will not even attend it in full and join in just before the end. This was always the target and thus their long game. They will attack, without any grounds and simply test if you budge. If you don’t, then they will try a different angle. Given the defense this time, I am certain, another attack will happen. Just because.

Being spoilt

When you are travelling, you travel with a bag of assumptions. Like – you will be able to watch a football match. Sadly, access to such games, remains rather sparse. So – no footbal for me today.

 

I was too tired to write my blog?!?

After a very long time, I was finally able to run 7k. I went for it, wasn’t even that bad with 7:30min/km. But the end result was me, being really tired. So tired, I forgot to write my blg entry in the evening. To make things right, I went to run today too – 4.5k. And I wrote this entry ;).

How to set Return Receipt in Apple Mail

The source is from here: https://www.lifewire.com/request-read-receipts-os-x-mail-1172888

In a nutshell (shameless copy, as I need this to work!)

  • Open Terminal.
  • Type “defaults read com.apple.mail UserHeaders”.
  • Press Enter.
  • If that command returns “The domain/default pair of (com.apple.mail, UserHeaders) does not exist”:
    • Type
      • defaults write com.apple.mail UserHeaders ‘{“Disposition-Notification-To” = “Name <email@address>”; }’

      replacing Name with your name and email@address with your email address.

      • The complete line could read “defaults write com.apple.mail UserHeaders ‘{“Disposition-Notification-To” = “Heinz Tschabitscher <sender@example.com>”; }'”, for example.
  • If the “defaults read” command above returns a line of values that starts with “{” and ends in “}”:
    • Highlight the entire line. It might read something like {Bcc = “bcc@example.com”; }, for example.
    • Press Command-C.
    • Type “defaults write com.apple.mail UserHeaders ‘” (excluding the outer quotation marks).
    • Press Command-V.
    • Type “‘”.
    • Insert ‘”Disposition-Notification-To” = “Name <email@address>”; ‘ in front of the closing “}” character, replacing Name with your name and email@address with your email address.
      The line might now read

      • defaults write com.apple.mail UserHeaders ‘{Bcc = “bcc@example.com”; “Disposition-Notification-To” = “Heinz Tschabitscher <sender@example.com>”; }’

      , for example.

  • Press Enter.

Not Only Request but also Respect and Send Read Receipts

Unfortunately, Mac OS X Mail does not respect read receipts. If you get an email requesting a read receipt, nothing special happens.

Using some JavaScript and Mail rules, you can mimic some of the behavior and send simple receipts upon request.

These do not fully conform to the standard and will not be interpreted as read receipts by the sender’s email program. Of course, the plain language acknowledgment of receipt will still be useful.

Disable Automatic Read Receipt Requests Again in Mac OS X Mail

To turn requesting a read receipt for every message back off:

  • Execute “defaults delete com.apple.mail UserHeaders” at Terminal command prompt to delete all custom headers or set UserHeaders back to what it was before you added “Disposition-Notification-To”.

Full Email Accountability and Control

For full knowledge and control over the fate of the emails you send, you can employ a certified email service or use third-party software such as iReceipt Mail.