* Posts by eulampios

1186 publicly visible posts • joined 10 Aug 2011

Firefox decade: Microsoft's IE humbled by a dogged upstart. Native next?

eulampios

Firefox is the most stable on Android

for me at least right now, when teamed up with NoScript (beta).

It's the ancient HTC Incredible with a 4.4.4 ROM here: the old set of drivers embedded in the 2.6.38.8 kernel, as opposed to 3* that people usually get with KitKat.

It's even more stable and smooth than the "native" browser app.

Microsoft warns of super-sized Patch Tuesday next week

eulampios

incorrect terminology: patch or simply update (upgrade)?

Why would you call this patch a "supersized"? How much would a user have to eventually download?

Apart from the configuration files, 'patch' in this situation (and when applied to MS Windows in general) is quite a misnomer, since it apps don't receive a patch in the source code by applying the diffs and then get (re)built all anew, it's rather an update when the affected binaries get replaced on the system. Unless MS came up with some super-innovative, theoretical unlikely binary patching technique...

eulampios

the thirteenth OS

>>I have worked with an least 12 different OSs and I can't think of one that's as good as Microsoft in the respect of regular..

Why do you need so many different OSes in the marketing department?

>>With Microsoft you don't get situations like the BASH mess that took no less than 4 goes to release a secure fix!

What's "Bash mess" would be MS' bliss (didn't rhyme unfortunately) Even when MS patch BEFORE it's out in the wild, they still get something like conficker with tens of millions of compromised servers. Speaks volumes about their perfect patching credentials. Shellshock got a correct patch within a week anyways, BTW.

>>Yes they occasionally have a bug in a patch - but its not like the OSS mess where they chuck..

Such bug might render a system unbootable without any straightforward fix, while the "OSS mess" gives an opportunity to boot to the last stable kernel in a similar situation. Remember those 12 (hundred) OSes you used to deal with?

Microsoft: How to run Internet Explorer 11 on ANDROID, iOS, OS X

eulampios

Re: "you can expect RemoteIE to hang or crash randomly."

Me too here. FF runs for days if not months on all of my computers that run variants of Debian, LMDE. Stable as rock, need to kill it from time time when update is available. Noscript is great help here.

AMOF, on my old HTC Incredible running customized KitKat ROM ff with overfilled /data/data partition and apps can only be installed on sdcard from adb, firefox+noscript is pretty stable and smooth. Noscript is in beta here.

I am Police Sergeant L. Torvalds! Stop or I'll shoot

eulampios
Trollface

Re: Writing in Code

>>It was slightly less fun than reading the man page for EMACS

man Emacs? Much more fun to run 'info emacs' or read it within the Emacs session invoking C-h r or C-h i . It's quite entertaining, seriously

Samsung says teaming up with mobe-maker Microsoft could violate antitrust law

eulampios

Re: Isn't that a bit risky?

Not really as this doesn't have to do with patent validity, but a licencing agreement between Samsung and MS which they're trying to find a dubious loophole to get out of.

I said, that if Samsung's argument is heard by the court, HTC, LG and a bunch of other companies wearing the same shoes would take the opportunity using it as well.

"dubious loophole" You do sound like a Microsoft lawyer. I think I asked it before... What are all the loopholes MS' lawyers exercise? 100% Trustworthy, absolutely legal, obviously fair and clearly certain?

>>If you think this is to do with patent validity you haven't understood the details at all.

Validity of the patents is read between the lines, a sagacious MS lawyer would sure see that. Because, why would Samsung try changing the rules of the game now? Yes, and the force of the precedent for other phone manufacturers along with the possible unpleasant repercussions it entails for MS, it did slip your clairvoyant eye, I see.

eulampios

h4rmony comes to the rescue

Please reread my post. It was talking about the fact that the local for MS court for Western District of WA in Seattle has been pretty favorable for MS.

To all of anti-Samsung rant I can find you twice as much of anti-Microsoft rant. Does i4i XML implementation patent with $300 million in damages sound familiar to you, for example? Microsoft are not dwarf of a compared to Samsung, the only difference that MS business is or used to be mostly software that they sell. In the 90s and 00s it was a business of burning and selling as many numbers CDs as their burning machine can handle. At the same time Samsung was manufacturing some real stuff...

>>Samsung rip off other people's work routinely.

Microsoft as any other software company have ripped and still are ripping off works of others incomparably more than Samsung have ever been able to. Quite hypocritically, e.g., MS claim as invention in the inane, overgeneralized "Method and System for Providing Internet Shortcut Icons on the Desktop" while the really innovative, valuable, nontrivial ideas of Internet, tcp/ip, html/xhtml, Operating Systems, Desktop were ripped off from the work of others.

eulampios

>>Remember, Samsung is a multiply convicted cartel operator and IP infringer (we can exclude Apple in the list for to save trolling) with a habit of bleeding competitors dry in court.

The fact that both Microsoft and Apple are likewise multiply convicted monopolistic cartels and IP infringers on a much larger scale, capable to abuse the corrupted patent system and courts with their ridiculous, inane patents -- should also not be conveniently forgotten, whatever is suggested by their respected fans.

eulampios

Re: @DougS, cont'd

Now the real risk could be for Microsoft's own house of cards, since if Samsung ends up victorious here it would create a bad legal precedent for MS. A chain reaction from HTC, LG Huawei and a bunch of others will follow to dissipate the rest of MS vaporware.

eulampios
Happy

Re: Whilst I admire Sammy's engineering skills and am not any kind of "anti-fanboi" .........

Whilst I applaud your non-standard logic suggesting Sammy to not bother breaking the antitrust law since they have been found doing it before, I'd not expect Samsung to share your enthusiasm though. Moreover, in the same manner, why not look forward to Microsoft's third time teasing the EU antitrust watchdog with the lack of alternative browsers choice on Windows?

eulampios

@DougS

>>You don't really think that all 200+ patents Microsoft is asserting against Android are vapor, do you?

It's not me we're talking about, but Sammy, their lawyers and IP people.

If you would like to hear my opinion, they are indeed vapour. They became known thanks to the Chinese government not to Microsoft for a reason. Most of those 310 ones are extremely ridiculous. The favorite of mine besides the long filename pearl are these: #163 "Method and System for Providing Internet Shortcut Icons on the Desktop" , #156 "Distribution of Software in a Computer Network Environment", #154 "System and method for installing an application on a portable computer". As you can see this smells of prior art and/or obvious general blabbering, like crazy. Especially, the latter two. #156 filed in 94, US 6138153 A (not being mentioned to belong to MS) and US 6360364 B1 talk about so banal, boring, general shapeless things that a reader has a high risk of dislocating their jaws due to uncontrolled yawning.

It is even more ironic that a software repository/store and a universal software package system for MS Windows are either still not implemented yet or just recently arrived to a Desktop.

When B&N challenged this vapour in court, MS didn't come crushing upon them with all their lawyers' power, but muffled and muted them with quite some lucrative incentives and struck a deal instead.

>>Samsung is playing a dangerous game..

So is MS, making believe quite a few people in the emperor's clothes when he is really naked.

>>.. especially now that Nokia's patent stash would be part of the deal.

As was corrected above, Nokia is licensing those patents to MS as a part of the deal. Totally different from owning them, like what have happened with the case of Google-Moto.

>>Besides, as is proven over and over again, what we think about the validity of a patent doesn't matter, it is what the patent offices and the courts think about them.

Cannot agree more on that. That's why we get a pretty weird situation, that the real know-how communication engineering patents of Motorola, Nokia, Samsung et al are often over-bidden and over-beaten by obvious, overgeneralized vaporware or prior art patents from Microsoft and Apple.

eulampios

nice move, Samsung

Since this is the Southern District for NY not the usual local for MS Western District for WA court, Samsung might have more chances. The latter court has proven to be so friendly to MS in the past...

eulampios

Re: Isn't that a bit risky?

>>.. if the license is considered null and void it means Samsung's been using these various patents without a license, and this could lead to penalties.

Perhaps, Samsung are now confident to prove in court that those are vapour and get them invalidated if Microsoft try challenging them.

Shellshock over SMTP attacks mean you can now ignore your email

eulampios

to dissipate all speculations and hearsay on the Mutt email client

Just to put all the wild guesswork of others at rest on how Mutt works.

1) A Unix shell is not a requirement for Mutt to work properly.

2) Mutt doesn't use any shell to communicate with the sendmail, its substitute or any other SMTP agent

3) Mutt does NOT use the user's shell (from /etc/passwd ) to do anything internally, unless it is launched in a given shell, in which case, it would be used externally as with any other utility or command launched in the shell.

4) According to the source code in the init.c file Mutt uses the standard getenv() function provided by the stdlib.h to evaluate the environment variables for the "$" or "${...} " constructs in the set directives (when supplied in the init muttrc file, -e option or the ":" command inside of mutt).

5. The standard system() function or /bin/sh is used to interpret the back-tick shell constructs, it is NOT the user's shell. If unknown the USER, HOME and MAIL variables can be evaluated through /bin/sh as well, as follows from the init.c source file

eulampios

getenv() instead of shell, @Lee D

No, Lee D, it turns out that Mutt doesn't set its variables by using the shell, unless you put your strings in the back-tick construct ``, where you specifically ask it to, that it's the system shell /bin/sh or system(), not the user's shell as was suggested above. The standard system getenv() function is used instead, just look in the init.c file of the Mutt source. There are two places to get PWD, USER and HOME dir where it could consult sh though to know the default locations of many things, like muttrc, Mail etc

Another great point about open source that it needs very little back engineering to establish things, just look inside the code :)

eulampios

Re: Mutt gets so close that I decided to check

>>I was surprised to find mutt was using bash. I expected it to use the 'system' function which calls /bin/sh which (on Debian systems) is a link to dash, not bash. It probably found bash in the SHELL environment variable, which defaults to bash on most Linux distributions.

Again, why are you convinced it uses /bin/bash? Because, it said so when you used ${SHELL} or $SHELL in the set var="" directive? Well, that just what the env says, indeed I got the following going on my system:

dash -c 'echo $SHELL';ksh -c 'echo $SHELL'

/bin/bash

/bin/bash

So, both dash and ksh "disguise" themselves as /bin/bash.

Anyways, as I mentioned earlier when mutt expects you to use shell it will indeed use /bin/sh, dash in case of Debian-based systems.

Moreover, I got this

perl -e 'system("echo \${SHELL\%\%sh}")'

/bin/ba

As you would expect from dash or ash, yes and the good ol' bash :)

When I put "set alias_file=${SHELL%%sh}/.mutt/aliases1" I get the error :

line 13: /.mutt/aliases1: No such file or directory

So, mutt doesn't seem to use even the system() or sh to evaluate and expand the variables.

eulampios

are you sure mutt needs

>>..then getting the user's shell (probably bash) to interpret the result

Not in my case at least. My shell, according to /etc/passwd is /bin/bash, however, mutt uses /bin/dash (or /bin/sh on my LMDE system) in the "set whatever=`blah-bla-blah`" constructs. It is only used for the set directives. Neither it uses or needs a shell to glue sendmail and addresses together, unless you specify them out of the command you launch mutt (that would be the current shell to do that job then, BTW) Moreover, Mutt might only use env, no shell at all to interpret the system environment.

Also, I don't have set sendmail in my muttrc file, it uses /usr/sbin/sendmail from postfix.

In the set directive /bin/sh evaluates the environment variables or can launch commands in the usual `` way, but this is exactly what it is meant to be. In no way you can set the system or user environment variables from or in mutt, BTW.

Also, the fact that any kind pf shell is used to evaluate env variables contradicts the fact that neither mutt(-patched) nor postfix claim shells or system utilities as their dependencies. Mutt just expects that the best way to consult about the env variables on a Unix-based system is via /usr/bin/env.

According to Michael Elkin's own manual:

"UNIX environments can be accessed like the way it is done in shells like sh and bash: Prepend the name of the environment by a ``$''. For example,

set record=+sent_on_$HOSTNAME"

eulampios

what mutt doesn't do

>>pulling in full bash shells to set environment variables

It's evaluating, not setting the environment variables, which are local. It won't need any shell to set it's own mutt's variable, more so, it would not interpreter anything beyond /etc/profile ~/.profile or whatever is the shell profile is in use. On my Debian system it's dash, BTW.

If you'd need to use env variables at all why reinventing the wheel... I mean the shell all the time?

NOT OK GOOGLE: Android images can conceal code

eulampios

Re: I think it's very clever of Google..

..to fragment the Android market place.. it's finger pointing all around, but nobody ever really picks up the blame.... this behaviour encouraged Putin to snatch Crimea...

How did you figure this all out? My tin foil hat is off for your very intricate yet so logical train of thought. And where is your own tin foil hat, dear AC? Where's the tin foil icon, El Reg?

eulampios

the ancient HTC Inc running Kit Kat 4.4.4 here

Running evervolv AOSP 4.4.4 on the old HTC Inc, it's been pretty stable and smooth, except for a few video driver related nuisances and the fact that the /system partition is soldered to be ridiculous 250 MB, the datadata partition is not too big either, 150 MB. Despite all that and thanks to the community it's fun to use.

eulampios

Re: Could this be sent over email?

Even if you allow side-loading a package manager would still ask you your permission to install and let you examine the permissions of the app etc.

eulampios

Re: Could this be sent over email?

You must be talking about MS Windows which operates by extensions , not file permissions plus file headers/utilities, both user and the system can be tricked by the former.

What this vulnerability allows to do is that one can "hide" a piece of code inside the apk already. It says in the linked paper that one can insert "another apk" inside the given one hidden in an image. That hidden apk can be installed later. It is unclear what the authors mean by "another apk", since every Android Application Package gets installed under unique uid and guid (permissions). The vuln. is not a privilege escalation type as well. So it's just a concealing code type then.

Origins of SEXUAL INTERCOURSE fished out of SCOTTISH LAKE

eulampios
Joke

"What's in a name?"

Did the dubbing of the species Microbrachius dicki happen after or before it was determined that it was a member of the "group of placoderms that developed bony L-shaped genital limbs called claspers"? The first word of the name indicates that its small hands were quite handy, what about the second one?

Bad news, fandroids: He who controls the IPC tool, controls the DROID

eulampios

Re: How many, @SuccessCase

What the previous commenter said about the "ubiquitous" Android malware was :

>> Strangely, I don't know a single person that's ever had a problem, and I suspect everyone else is the same...

My question would be: did you or any of the lot now reading or commenting here has ever seen, known or heard about an Android malware victim? Again, personally, not from El Reg, Zdnet or Fox News. The latter media, btw, never found a single specimen either (other than the virtual people existing somewhere out of our sight).

Why am I asking? Because, apparently, any Windows user I have ever known had some sort of a Windows malware in the past or not so past experience. This very experience has a huge problem extrapolating onto the current press on Android malware, since it doesn't match with the local reality.

>>Heartbleed and then Shellshock have shown complacency is a grave error.

Although, I'd agree that complacency is a grave error, Shellshock ? More details please on the "complacency repercussions" and how detrimental this vulnerability was. I mean, do you know if anyone got busted through the dhclient-script when connecting to a wicked wifi router? For a contrast, when the Loveletter hit the world in circa 2000, a lot of people around me got that back then..

Russian hackers exploit 'Sandworm' bug 'to spy on NATO, EU PCs'

eulampios

@LDS

>>But using system() or its equivalents is a quick and lazy way to perform that..

Dirty and lazy -correct. Still not really a problem if you have system() in your CGI.pm script, for example. The problem is though when you accept any input without disarming it while passing it to the system() operator or a certain pipe could have been dangerous with the shell shock vulnerability . However, taking an uncontrolled input is madness already whatever the language it is, using any shell in cgi raises all this stupidity to the second power.

Of COURSE Stephen Elop's to blame for Nokia woes, says author

eulampios

Elop and all the eggs

Steven Elop aka "the Nokia trojan horse" seems to have been rewarded for public reaffirming of the obvious fact to not put all the eggs in the One Micros... the one basket. Especially, in that notorious basket so very well known to crush many eggs big and small in many past occasions. Going with all the Phone OS vendors would have been a much profitable solution for Nokia while not sinking their own, who'd have thunk that? No other phone vendor (except for MS) have ever done just that. With the ironic exception, that MS are making much more money on Android than on their own WP platform. For MS it is not a financial matter but an obsession and politics. (Some other famous CEO became even more famous after hurling a few chairs when hearing about Google.)

Instead, the trojan horse has gone with the former employer with which he had a lot of financial interests, what financial interests did this whole demarche bring for Nokia is now for everyone to see...

Microsoft to Samsung: COUGH UP $6.9m in unpaid interest over Android PATENT SPAT

eulampios

Re: @the informant AC

>>Presumably because it puts them in a stronger commercial position not to publish such a list.

Presumably this stronger position applies to Microsoft only. No precedents exist out there. As an example, Google are not a jackal attacking works of others, like Windows or Mac OS X. So they don't have to publish their list, since it doesn't exist.

eulampios

@the informant AC

>>The list has already been published on the internet.

Not by Microsoft though, so why is that, or so knowledgeable AC?

>>There are over 200 and many of them are clearly essential to a current Android handset

Which one exactly is so essential and not ridiculous, like desktop internet shortcut (#162 in that list of published by NOT Microsoft, #5877765

"Method and System for Displaying Internet Shortcut Icons on the Desktop")

Before any anonymous MS shill bursts into further eloquent explanations on how clever, novel and non-obvious this idea is, think about millions of ideas MS take for granted without paying the authors just for WorldWideWeb, TCP/IP, HyperTex Markup language or javascript language) this ridiculous patent would make even less sense...

Bored hackers flick Shellshock button to OFF as payloads shrink

eulampios

Re: Number of _unique_ payloads ...

>> Now that everyone with a clue has patched, I might have to spend all day next door to the library's wifi to find a machine vulnerable to shellshock.

You'd have to spend many days or even months even before that, otherwise you had hacked that wifi router already. Please don't take the sensationalists literally: for a regular Linux desktop user the dhclient-script was the single possible vector. For Mac OS X, *BSD and the rest there were none! As for those who have gone against the clear warning to abstain from using a shell for cgi while taking input from the outside world, they are not regular cgi users, they are just dumb server admins and you won't find them connected to your library wifi router.

Shellshock: 'Larger scale attack' on its way, warn securo-bods

eulampios

Do not exaggerate

>>when you have a "hole" in servers and routers and embedded systems, it's a lot more serious than a windows trojan.

It's true, but only provided those routers and embedded systems do have it. Most probably they don't. Even if they do, they have to allow the shell to take input from the outside world to be vulnerable. As for the the servers and other systems, the only rightful real problem is the dhclient-script and a slim chance that neighbor's/random wfif router you happen to connect is waiting there for you.

Any shell language used for cgi really deserves all the current consequences. Those who survive this, will be taught a good lesson .. one hopes.

Now let's compare it with Windows worms, like Conficker, Loveletter?

And BTW, here's even my LMDE system ( which is usually a bit slower than the others) received the latest update now

Hackers thrash Bash Shellshock bug: World races to cover hole

eulampios

the scary sshd part

Stating that this bug affects Openssh-server (even with ForceCommand details ) and not explaining how is a little disingenuous.

So, ForceCommand variable is used in sshd_config to restrict execution of a specific command for a user, already having the shell access to the machine and allowed to ssh to it. Not a very pleasant surprise for admins to learn how this bug overrides their restriction when it is in place, however it won't be as devastating to sshd and the system in overwhelming majority of the cases as the tone implies.

Bash bug: Shellshocked yet? You will be ... when this goes WORM

eulampios

Re: Too much ado about almost nothing...

>>This is NOT a problem with the exposure method, be it CGI or whatever. It's a problem with Bash not properly parsing vars.

We must be reading different articles. What you're talking about is the original article about the GNU Bash bug. This one about the inexorable, inevitable doomsday awaiting the humanity due to the affect on cgi. This is a vulnerability affecting all those abusing shell in places it didn't belong even without a single vulnerability as well as might cause some local problems and break local scripts.

>>..as good as Job's "you're holding it wrong" stunt...

It would be my job to correct you your apostrophe as well as observe that you either reading my comment from the right to the left or looking at the wrong article.

>>And your comment only proves that Open Source has long moved from a "philosophy" to a religion, shock full of dogmas and unwilling/unable to face...

Can't talk on behalf of the whole FOSS or OSS. Common sense is my religion, calling spade a spade, or overly-sensational journalism overly-sensational is one of my dogmas, when I am not too lazy.

>>Grow up, a turd is a turd, and if you call it an OpenTurd it still won't smell like roses :)

Not sure about your age, yet judging from "Grow up" there is a high chance I had grown up long before you were born.

eulampios

Re: Too much ado about almost nothing...

Okay, I see someone's already downvoting it. Since it's not being explained, I get it's one of the alarmists out there, either an ignorant or an anti-open source, anti-Linux shill.

eulampios
Stop

Too much ado about almost nothing...

It's pretty bad and embarrassing that the popular Shell is capable of this unintended stuff. However, if you're writing a script you would be able to do all the "scary" things the proper way already. As far as things CGI, every shell is not the safest language by its nature and should not be used for this risky business. It's a SHLELL of the system, not a webserver "shell". The article reiterates this known for ages postulate. Shell doesn't have the power nor the convenience of the more capable languages like perl, php, python etc.

Moreover, taking input from a stranger is dangerous already and asks for trouble. Proper tools and checks are to be in place to minimize the likelihood of this. Single quotes in Perl is one solution, not a panacea though, if an input is still blindly passed to operators, say, you can get ddos'ed by feeding it too big of a number or too long of a string, than you intended those to be, if the latter is not being properly checked.

So again, a shell should not have been used in cgi, other potential explorations, like embedded devices, are pretty questionable, as many commenters have said above. Busybox is what is used there for default shell. I got Tomato usb Netgear router here and installed bash on it, the version of which is vulnerable. However, one can talk to it via ssh and web interface within the local network only. The latter is protected by password, the former -- by ssh key. cgi doesn't use bash, the admin panel of the web interface does take the system commands there, which was intended to be so already.

Next "shockingly sensational" news please...

Mathematica hits the Web

eulampios

Re: Sage

Python is cool, however the many ad-hoc CAS languages are not bad.yet quite simple, it was a piece of cake to learn Pari-gp for me, for example. The names of the programming operators most probably will be the same anyways. Pari-gp for that matter also exists as a C library and is "ported" to many languages, including Python, Perl, Java etc ( I use Math::Pari module myself) . There is also the GSL libraries for the most popular languages as well... (Yes, I know that the word "libraries" is redundant there)

eulampios

@AC

>>..just bemoaning the fact that open source has not delivered much in the way of 'Mathematics for the masses' and the potential of access to many mathematical tools...

You don't seem to be familiar with the subject then. Don't bemoan this, please. There are more than a few of free CAS out there. Some of them are not as generalist systems as Mathematica, but sure excel it in their "little" areas, like GAP in general group theory, Pari-gp in algebraic number theory or R in statistics. All of those are GPL, btw. There is also Maxima, Octave, Axiom, Ycas and more. I particularly like the quite capable and nice Emacs Calc. Sometimes the good ol' small RPN'ish dc can be just enough..

BTW, many of the free CAS are ported to Android already and work pretty damn well there. Pari-gp and even lisp-based Maxima are on Google play. The latter can do everything on the phone what it does on a PC box., (a bit) slower though, I suppose.

Italy's High Court orders HP to refund punter for putting Windows on PC

eulampios

nothing to bellow about

Yet, sorry, the "l" in the above "below" should not have been doubled.

s/bellow/below/

eulampios

@the beaten automobile analogy

>>I bought a car and then decided I didn't like the engine, I wouldn't expect to be able to just pull the engine out and ask for some of my money back.

Is any of the bellow true:

1) the engine cannot be re-sold without the car that it was originally installed in?

2) you could download as many engines for free as you want?

So AC, what a nice analogy ... or is it?

Work in the tech industry? The Ukraine WAR is coming to YOU

eulampios

Re: Sanctions

>>The question is - are the Western leaders so stupid as to not know and understand this or are they doing it on purpose and if the latter, what then that purpose might be?

What about the question if Putin is so stupid himself by not foreseeing all these repercussions following annexation of the territory of the neighboring sovereign state and kindling a civil war there? As well as getting immediate wins and popularity while losing big time in terms of strategic national interests and prestige?

eulampios

Re: Morals, ethics, principles...

>>A friend in a neighbouring state was telling me last year that the protesters were paid $50 a day - dollars, not euro or roubles - to keep the protests going.

Ukraine don't use Roubles, their own currency is Grivna. How sure are you about this information btw?

Disclaimer: being both part Russian and Ukrainian myself and a Russian patriot, I take this matter pretty close.

Whether this is true or not about $50/day, it's not a good reason to annex territories from your neighbor, the state with ethnic, religious, genetic and cultural ties to your own being the closest. Calling a 40 million state fascists, nazis while spreading anti-Ukrainian and anti-Semitic, Anti-West propaganda at the same time is no good means for it either. Subsiding the very dire internal problems inside Russia, finding America and the West to be the gist of any issue, that is the current state of Russian affairs. Calling anyone in the opposition a Western collaborationist, harshly castigating anyone who questions the position of the government. Spreading provocative, misleading and often plain false information to set the neighboring state on fire, supporting separatism, while forgetting that this might turn back home in the future as it had during the Chechen wars. This is a the conspicuous double standards and hypocrisy in action.

I'd call it national madness, insanity. This is almost all thanks to the propaganda and people's gullibility. If that would not be a personal matter, no loss of human life and no damage to the Russian prestige , I'd applaud the ingenuity of this PR campaign.

The damage inflicted to the Russian interest and trust is tremendous as result of this PR without any immediate rectification in sight.

Boffins attempt to prove the universe is just a hologram

eulampios

Re: Interesting times

>>You can prove a theory to be true by showing that it being false would lead to a contradiction.

Technically true (called either of the following ex adverso, reductio ad absurdum, by contradiction), however, might be quite problematic to build a whole theory with this method. It is certainly easier to prove a single theorem (statement) out of many the given theory consists of. In proving every theorem you of course can try arguing one at a time by contradiction. It concerns Physics, Math and other sciences.

It usually works best/easiest when alternatives to a statement are few (like finite/infinite, unique/non-unique, rational/irrational). Say, the proof of the Fundamental Theorem of Arithmetic stating that prime numbers are infinitely many, a well-known proof, ascribed to Euclid comes to mind as one beautiful example. Or in proving that sqrt(2), sqrt(n) are irrational, with n being a not perfect square integer. Similarly many existence and uniqueness theorems are proven by contradiction for uniqueness, but not existence.

eulampios

counterexamples and experiments

>>But you also can't prove a negative, so where does that leave us?

What? It usually takes an experiment or counterexample, since a theory (a theorem) involves a certain scope of generalities.

Sin COS to tan Windows? Chinese operating system to debut in autumn – report

eulampios

Re: CAD/CAM for for Linux&*BSD

Did you use any of the linked ones? No need to use CAD for myself, however, from what I know about CAS software as well as how much complaining that "no good CAS for Linux is available" is heard, it might just be the matter of habit, or the matter of learning new stuff. We also heard about no alternatives to Outlook and MUA which is just plain ridiculous or disingenuous.

On the side note, it's always more convenient and useful to deal with free software on free system, where it's just one click or one apt-cache/apt-get commands before you can try that out.

As for LaTeX (at least, no lesser popular than CAD) Windows had always been more trouble and pain to install, set up and use on, than Linux, *BSD or even Mac OSX.

And it doesn't even include all those viruses/trojans, anti-viruses and disk overfill/fragmentation problems.

eulampios

A trig calc pun

a similar, yet a more Calculus oriented joke and English pun goes like this:

What's the limit of of the function sin(x)/n, as n tends to infinity for a fixed real value of x?

(in LaTeX would read $$ \lim\limits_{n\rightarrow \infty} \frac{\sin x}{n} ?$$)

A pun solution to this is 6.

(Cancel out all n's both in the numerator and denominator. Makes more sense than the Squeeze Theorem for a lot of students, even those with very little sense of humor)

eulampios

CAD/CAM for for Linux&*BSD

>>As an example what professional solutions do you see for CAD/CAM applications ie AutoDesk, Rhino3D, Solidworks

FreeCAD, QCAD, LibreCAD, OpenSCAD, Salome and more for CAD, for CAM there is HeeksCNC and Inkscape (pyCAM plugin) for CAM. That's not the complete list, only those that are free (open source).

However, this is still some special software most people don't use.

Munich considers dumping Linux for ... GULP ... Windows!

eulampios

Re: @h4rmony and your comparison rules

>>I've used Mutt. I think I can get my head around the addition of a side-bar to it.

Yes, sure you used everything, mutt, elm alpine and raw mail. One indication that you if you did, you don't know much about ti was that you seem to be unaware of Mutt's real shortcomings.

>> I'm not that one that launched into a random attack on another product. I don't believe I've made one factually incorrect statement about Mutt (correct me if I'm wrong - well, you would have), whereas you have made multiple flawed attacks on Outlook. I'd suggest your lack of familiarity is the greater problem here.

I was only suggesting that Outlook is not as capable as Mutt and GNUS. And you admitted that's true, since Outlook can run on MS Windows only and not CLI-based.

Your attacks are predetermined, no randomness. It is pretty funny that your last attack was pointed at Google in that how they were so detrimental to Open Source (had done more harm to it than MS ever had, according to your own words). Picking a few apps Google made proprietary on their open Android system, you're found yourself here vigilantly protecting the proprietary sanctity of Microsoft in the article talking on how successfully Microsoft getting in twisting another pair of FOSS hands in Munich?

eulampios
Meh

Re: @h4rmony and your comparison rules

>>Perhaps my car counts as a movie theatre because it can take me to the cinema, too? :D

Can it take you there instantaneously, by pressing "v"and "ENTER"? If so, then yes it sure does, otherwise it's a completely irrelevant analogy.

>>anyone can do it. You just click on Find and then if none of the common tools meet your needs just click on "Advanced Find" and you can add as many criteria as you wish. This includes things such as "received on or after X".

It is similar, not Not that it is the same, since if I do 22/04/1999*3011d it'd be hard to get the exact range, which is Apr 22 1999 - Fri Jul 20, 2007 (thanks to my Emacs calc), you'd need to have a date arithmetic tool or do it manually. What about the IMAP4 server-side search option though?

eulampios

Re: @h4rmony and your comparison rules

>>Here's what you prefer because you think it's shorter and simpler:

Your code is ugly, if it is fine to you, a lot of people won't agree with it. Some people (mostly Unix/Linux admins) think that PS has an ugly syntax and I should agree with them. OO has its place, and shell might not be that.

There is this sense of elegance, no PS, at least in your example, is not elegant.

>>anyone remotely competent should be able to handle that.

So, all of that "normal use case users" are then capable of that, I doubt they would.

eulampios

Re: @h4rmony and your comparison rules

>> I said that Google were historically weak on patents. They were. That's why they went on a massive patent purchasing spree.

So, you've been caught being inaccurate or simply lying then.

>>And interestingly, now that they have lots of patents, they have started charging other people for use of them.

How so? Or you're presuming, assuming, surmising, hypothesizing again, or is just the same as above?