[SAT] Parallel SAT solver Mallob used in DynexCoin cryptocurrency

Once I googled for Mallob (parallel SAT solver).

Suddenly, one mention on some cryptocurrency website. Mallob is used in a new cryptocurrency. How unexpected.

This one.

That reminds us a famous quote: "The street finds its own uses for things" ( William Gibson ).

In context:

I missed her. Missing her reminded me of my one
night in the House of Blue Lights, because I'd gone
there out of missing someone else. I'd gotten drunk to
begin with, then I'd started hitting Vasopressin inhalers.
If your main squeeze has just decided to walk out on
you, booze and Vasopressin are the ultimate in
masochistic pharmacology; the juice makes you
maudlin and the Vasopressin makes you remember, I
mean really remember. Clinically they use the stuff to
counter senile amnesia, but the street finds its own uses
for things.

( William Gibson -- BURNING CHROME (1986) )

(the post first published at 20240719, updated 20240720.)


List of my other blog posts.

Subscribe to my news feed,

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.