Search This Blog

23 August 2017

teenagers in .mk using library computers suspected / teenage islamic terrorists suspected / or maybe AI, AI could be pulling this kind of malscat / maybe Elvis got a new hobby / H. sapiens vs. The Unknown / Get used to it / the underarm deodorant or toilet water fragrance of the Future / Crisis in IncomprehensibleLand / Comments must be ASCII, no binary


----- Original Message -----
From: "Pierre Letouzey" <>
Cc: "Coq Developers Mailing List" <>
Sent: Tuesday, August 22, 2017 5:43 PM
Subject: Re: [Coq-Club] offline (and under investigation)

> Dear all,
> Good news, the Inria security team have ended its investigation of,
> and it confirmed that the integrity of the server (and its files) has not been
> compromised. The initial alert was due to a crafted bug report put on our
> bugzilla, with some html attachment pointing to islamist messages, pretending
> to have hacked our site. But this bug report was created by a plain regular
> bugzilla account created just before, with no further exploit. So this was little
> more than a bug spam, and yes, we're many here to consider that the admin and
> security team at Inria have quite overreacted. These matters are taken very
> seriously nowadays...
> All the services provided by should be back to normal quite soon
> now, in particular the bugzilla is now operational again, without data loss.
> Please note that bug attachments of type text/html are now disallowed
> (but such files could be placed in a .tgz or .zip if they are truly meaningful
> for a bug report).
> By the way, even if the Coq files available for download on
> have not been impacted by this incident, let me remind that I maintain a gpg-signed
> list of all the SHA1 fingerprints of the files we distribute:
> If in doubt, please refer to this list after checking for its signature.
> Moreover, each recent Windows and Mac packages should be internally signed as well.
> Sorry again for the inconvenience, quite independent from our will...
> Pierre Letouzey, for the Coq dev team

> ----- Mail original -----
>> Dear all,
>> The server behind our website has been put offline early today
>> by the Inria sysadmin staff and is awaiting further investigations.
>> For the moment, we have very little information about what appended,
>> we've just been told that a component of the website has been compromised
>> by intruders (bugzilla ? wiki ?) during the night. Unfortunately, these
>> investigations by the Inria admins may take several days (next Tuesday
>> is holiday here). We requested that at least the static part of the website
>> (especially downloads and documentation) be made available as soon as
>> possible,
>> but we still do not know yet when this will happen. Of course, we'll keep
>> you informed as soon as we know more about this attack and its consequences.
>> Most sorry for the inconvenience...
>> Pierre Letouzey, for the Coq dev team


Vleeptron is guessing that Ynglisshe is not Pierre's first lingo. (But overall High Marks in the Ynglisshe Intro Final.) But we admire his admission that The Mess that Affected the Coq community last week was "quite independent from our will..." A similar and more common English expression is "against our will..." but this also carries the unpleasant suggestion of being tied to a bed in a cheap motel room.

Which raises the question: Can AI perceive shame and remorse for and embarrassment, or the binary equivalent, for its screwups?

Leave a bunch of Comments. ASCII only.

13 August 2017

alone & unsupervised, Vleeptron Dude sings about el choo-choo tren marihuana por fumar / should I bring chocolates to the pretty young physician's assistant Tuesday?

Click to enlarge / clicko por mas grande

S.W.M.B.O. has left me alone and unsupervised, so this is what all youse Vleeptroids get. Okay I owe you a few True Answers to a couple of PizzaQs. I'll get around to it. I promise.


A very nice pretty young Asian-American physician's assistant stuck her gloved finger up my butt a few weeks ago. Tuesday she's going to do it again! I can't wait! Should I bring her chocolates?

12 August 2017

if you're in USA & you just see this eclipse on TV you are soooooo lame & pathetic / use correct eclipse glasses or you'll go blind / the Sun will go dark, day will turn to night / send me $$$$ or I will not turn the Sun back on

Reputable Vendors of Solar Filters & Viewers

Step 1: Change gender. Step 2: Change faiths. Step 3. Fly to India. Step 4. Start dating local guys.

Click brides to enlarge.

fenil chohan has left a new comment on your post "It's عيد الفطر Eid al-Fitr, and Vleeptron wishes e...":

A wardrobe with the best ethnic collection is important to every Indian woman. She would definitely love to own everything that is new and trendy. We Have Some For You In Your Budget For more…
Plz visit:- Bridal Dresses

Posted by fenil chohan to Vleeptron_Z at Saturday, 12 August, 2017 


ADDENDUM: The middle bride, that's not a tatt on her forearm, it's a design painted in henna.

06 August 2017

Vleeptron Dude loves & recommends all thujone beverages / always have fire extinguisher at Absinthe party

Click to enlarge, hold hand in candle flame, slice off your ear.

THIS is the thujone molecule in 3D. The balls are element atoms; the sticks are electric bonds. You can orient the molecule any way you like with your cursor. The 3D wiggle molecule is from a collection at St. Olaf College in Northfield, Minnesota USA.

Thujone's chemical formula is

so you can figure out which balls are atoms of which element.

Vleeptron dedicates this post to Dr. Archie Lucas, my high school chemistry teacher.